| <?xml version="1.0" encoding="UTF-8"?><plugin> | |
| <extension id="org.eclipse.viatra.examples.uml.evm.queries.Preconditions" point="org.eclipse.viatra.query.runtime.queryspecification"> | |
| <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:org.eclipse.viatra.examples.uml.evm.queries.Preconditions" id="org.eclipse.viatra.examples.uml.evm.queries.Preconditions"/> | |
| </extension> | |
| </plugin> |