blob: 7a1d83d7aca2a3b91472bee0bcef1091504c0d64 [file] [log] [blame]
<?xml version='1.0' encoding='UTF-8'?>
<!-- Schema file written by PDE -->
<schema targetNamespace="org.eclipse.viatra2.gtasm.patternmatcher" xmlns="http://www.w3.org/2001/XMLSchema">
<annotation>
<appInfo>
<meta.schema plugin="org.eclipse.viatra2.gtasm.patternmatcher" id="patternmatcher" name="Pattern matcher"/>
</appInfo>
<documentation>
Plugins can provide an pattern matcher instance conforming to the IPatternMatcherFactory interface
The ID must be set to the name that will be used later (propably as an annotation) to indicate which pattern matcher to use.
The already used ones are &quot;org.eclipse.viatra2.local_search&quot; and &quot;org.eclipse.viatra2.incremental_rete&quot;!
</documentation>
</annotation>
<element name="org.eclipse.viatra2.gtasm.patternmatcher.extension">
<complexType>
<sequence minOccurs="1" maxOccurs="unbounded">
<element ref="matcherfactory"/>
</sequence>
<attribute name="point" type="string" use="required">
<annotation>
<documentation>
</documentation>
</annotation>
</attribute>
<attribute name="id" type="string">
<annotation>
<documentation>
</documentation>
</annotation>
</attribute>
<attribute name="name" type="string">
<annotation>
<documentation>
</documentation>
<appInfo>
<meta.attribute translatable="true"/>
</appInfo>
</annotation>
</attribute>
</complexType>
</element>
<element name="matcherfactory">
<complexType>
<attribute name="class" type="string" use="required">
<annotation>
<documentation>
</documentation>
<appInfo>
<meta.attribute kind="java" basedOn="org.eclipse.viatra2.gtasm.patternmatcher.extension.IPatternMatcherFactory"/>
</appInfo>
</annotation>
</attribute>
<attribute name="name" type="string">
<annotation>
<documentation>
</documentation>
</annotation>
</attribute>
<attribute name="id" type="string" use="required">
<annotation>
<documentation>
This must be set to the name that will be used later (propably as an annotation) to indicate which pattern matcher to use.
The already used ones are &quot;local_search&quot; and &quot;incremental_rete&quot;.
</documentation>
</annotation>
</attribute>
<attribute name="annotation_name" type="string" use="required">
<annotation>
<documentation>
</documentation>
</annotation>
</attribute>
</complexType>
</element>
<annotation>
<appInfo>
<meta.section type="since"/>
</appInfo>
<documentation>
[Enter the first release in which this org.eclipse.viatra2.gtasm.patternmatcher.extension point appears.]
</documentation>
</annotation>
<annotation>
<appInfo>
<meta.section type="examples"/>
</appInfo>
<documentation>
[Enter org.eclipse.viatra2.gtasm.patternmatcher.extension point usage example here.]
</documentation>
</annotation>
<annotation>
<appInfo>
<meta.section type="apiInfo"/>
</appInfo>
<documentation>
[Enter API information here.]
</documentation>
</annotation>
<annotation>
<appInfo>
<meta.section type="implementation"/>
</appInfo>
<documentation>
[Enter information about supplied implementation of this org.eclipse.viatra2.gtasm.patternmatcher.extension point.]
</documentation>
</annotation>
</schema>