From c085abd5f2dd49c8be1b32451c8f2ca05fa15f52 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@152.66.252.189>
Date: Wed, 5 Jul 2017 16:38:04 +0200
Subject: Example configuration for running measurements.

---
 Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml | 29 ++++---------------------
 1 file changed, 4 insertions(+), 25 deletions(-)

(limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/plugin.xml')

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 @@
   <extension id="GeneratedQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
     <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:GeneratedQueries" id="GeneratedQueries">
       <query-specification fqn="mayEquivalent"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedRegionsAreNotSiblings"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_incomingToEntry"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noEntryInRegion"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_hasNoIncomingOrOutgoing"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_notSynchronizingStates"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_outgoingTrainsitionToDifferentRegion"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedVerticesInSameRegion"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleEntryInRegion"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleTransitionFromEntry"/>
-      <query-specification fqn="invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noOutgoingTransitionFromEntry"/>
-      <query-specification fqn="unfinishedLowerMultiplicity_inreference_target_Transition"/>
-      <query-specification fqn="unfinishedLowerMultiplicity_inreference_source_Transition"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedRegionsAreNotSiblings"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_incomingToEntry"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noEntryInRegion"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_hasNoIncomingOrOutgoing"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_notSynchronizingStates"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_outgoingTrainsitionToDifferentRegion"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedVerticesInSameRegion"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleEntryInRegion"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_multipleTransitionFromEntry"/>
-      <query-specification fqn="unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noOutgoingTransitionFromEntry"/>
       <query-specification fqn="createObject_class_Entry_by_inreference_vertices_Region"/>
       <query-specification fqn="createObject_class_State_by_inreference_vertices_Region"/>
-      <query-specification fqn="createObject_class_Transition_by_inreference_outgoingTransitions_Vertex_with_inreference_source_Transition"/>
       <query-specification fqn="createObject_class_Region_by_inreference_regions_CompositeElement"/>
+      <query-specification fqn="createObject_class_Transition_by_inreference_outgoingTransitions_Vertex_with_inreference_source_Transition"/>
+      <query-specification fqn="createObject_UndefinedPartOf_class_Statechart"/>
       <query-specification fqn="createObject_class_Synchronization_by_inreference_vertices_Region"/>
       <query-specification fqn="refineTypeTo_class_Entry"/>
       <query-specification fqn="refineTypeTo_class_State"/>
-      <query-specification fqn="refineTypeTo_class_Transition"/>
       <query-specification fqn="refineTypeTo_class_Region"/>
+      <query-specification fqn="refineTypeTo_class_Transition"/>
+      <query-specification fqn="refineTypeTo_UndefinedPartOf_class_Statechart"/>
       <query-specification fqn="refineTypeTo_class_Synchronization"/>
-      <query-specification fqn="refineTypeTo_class_Statechart"/>
       <query-specification fqn="refineRelation_inreference_incomingTransitions_Vertex_and_inreference_target_Transition"/>
     </group>
   </extension>
-- 
cgit v1.2.3-70-g09d2