diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml')
| -rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml | 29 |
1 files changed, 4 insertions, 25 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml b/Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml index 6bb6c623..6b75179d 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml | |||
| @@ -68,39 +68,18 @@ | |||
| 68 | <extension id="GeneratedQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | 68 | <extension id="GeneratedQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> |
| 69 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:GeneratedQueries" id="GeneratedQueries"> | 69 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:GeneratedQueries" id="GeneratedQueries"> |
| 70 | <query-specification fqn="mayEquivalent"/> | 70 | <query-specification fqn="mayEquivalent"/> |
| 71 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedRegionsAreNotSiblings"/> | ||
| 72 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_incomingToEntry"/> | ||
| 73 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noEntryInRegion"/> | ||
| 74 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_hasNoIncomingOrOutgoing"/> | ||
| 75 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_notSynchronizingStates"/> | ||
| 76 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_outgoingTrainsitionToDifferentRegion"/> | ||
| 77 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedVerticesInSameRegion"/> | ||
| 78 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleEntryInRegion"/> | ||
| 79 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleTransitionFromEntry"/> | ||
| 80 | <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noOutgoingTransitionFromEntry"/> | ||
| 81 | <query-specification fqn="unfinishedLowerMultiplicity_inreference_target_Transition"/> | ||
| 82 | <query-specification fqn="unfinishedLowerMultiplicity_inreference_source_Transition"/> | ||
| 83 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedRegionsAreNotSiblings"/> | ||
| 84 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_incomingToEntry"/> | ||
| 85 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noEntryInRegion"/> | ||
| 86 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_hasNoIncomingOrOutgoing"/> | ||
| 87 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_notSynchronizingStates"/> | ||
| 88 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_outgoingTrainsitionToDifferentRegion"/> | ||
| 89 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedVerticesInSameRegion"/> | ||
| 90 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleEntryInRegion"/> | ||
| 91 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleTransitionFromEntry"/> | ||
| 92 | <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noOutgoingTransitionFromEntry"/> | ||
| 93 | <query-specification fqn="createObject_class_Entry_by_inreference_vertices_Region"/> | 71 | <query-specification fqn="createObject_class_Entry_by_inreference_vertices_Region"/> |
| 94 | <query-specification fqn="createObject_class_State_by_inreference_vertices_Region"/> | 72 | <query-specification fqn="createObject_class_State_by_inreference_vertices_Region"/> |
| 95 | <query-specification fqn="createObject_class_Transition_by_inreference_outgoingTransitions_Vertex_with_inreference_source_Transition"/> | ||
| 96 | <query-specification fqn="createObject_class_Region_by_inreference_regions_CompositeElement"/> | 73 | <query-specification fqn="createObject_class_Region_by_inreference_regions_CompositeElement"/> |
| 74 | <query-specification fqn="createObject_class_Transition_by_inreference_outgoingTransitions_Vertex_with_inreference_source_Transition"/> | ||
| 75 | <query-specification fqn="createObject_UndefinedPartOf_class_Statechart"/> | ||
| 97 | <query-specification fqn="createObject_class_Synchronization_by_inreference_vertices_Region"/> | 76 | <query-specification fqn="createObject_class_Synchronization_by_inreference_vertices_Region"/> |
| 98 | <query-specification fqn="refineTypeTo_class_Entry"/> | 77 | <query-specification fqn="refineTypeTo_class_Entry"/> |
| 99 | <query-specification fqn="refineTypeTo_class_State"/> | 78 | <query-specification fqn="refineTypeTo_class_State"/> |
| 100 | <query-specification fqn="refineTypeTo_class_Transition"/> | ||
| 101 | <query-specification fqn="refineTypeTo_class_Region"/> | 79 | <query-specification fqn="refineTypeTo_class_Region"/> |
| 80 | <query-specification fqn="refineTypeTo_class_Transition"/> | ||
| 81 | <query-specification fqn="refineTypeTo_UndefinedPartOf_class_Statechart"/> | ||
| 102 | <query-specification fqn="refineTypeTo_class_Synchronization"/> | 82 | <query-specification fqn="refineTypeTo_class_Synchronization"/> |
| 103 | <query-specification fqn="refineTypeTo_class_Statechart"/> | ||
| 104 | <query-specification fqn="refineRelation_inreference_incomingTransitions_Vertex_and_inreference_target_Transition"/> | 83 | <query-specification fqn="refineRelation_inreference_incomingTransitions_Vertex_and_inreference_target_Transition"/> |
| 105 | </group> | 84 | </group> |
| 106 | </extension> | 85 | </extension> |