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> |