documentation/org.eclipse.viatra.documentation.example/plugin.xml

<?xml version="1.0" encoding="UTF-8"?><plugin>
  <extension id="org.eclipse.viatra.documentation.example.queries.CPSQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:org.eclipse.viatra.documentation.example.queries.CPSQueries" id="org.eclipse.viatra.documentation.example.queries.CPSQueries">
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostIpAddress"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.emptyIpAddress"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.runningApplication"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.sameIpAddress"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.ipFormatInvalid"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.connectedTo"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.badHost"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.goodHost"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.countApplications"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.reachableState"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.maximumNumberOfInstances"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.sumNumberOfInstances"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.invalidMemoryRequirement"/>
    </group>
  </extension>
  <extension id="org.eclipse.viatra.documentation.example.queries.ValidationExplanationQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:org.eclipse.viatra.documentation.example.queries.ValidationExplanationQueries" id="org.eclipse.viatra.documentation.example.queries.ValidationExplanationQueries">
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostTypeRAMTotal_Wrong_Embedded"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostTypeRAM"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostTypeRAMTotal"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostTypeRAM_Simple"/>
      <query-specification fqn="org.eclipse.viatra.documentation.example.queries.hostTypeRAMTotal_Wrong"/>
    </group>
  </extension>
</plugin>