comment out constraint for Synchronizations

1 files changed, 88 insertions, 89 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
index f4bfa3c1..82b908b3 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
@@ -1,5 +1,4 @@
 package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu

-

 import epackage "hu.bme.mit.inf.yakindumm"

 

 /////////

@@ -92,63 +91,63 @@ pattern choiceHasNoIncoming(c: Choice) {
 // Synchronization

 /////////

 

-@Constraint(severity="error", message="error", key = {s})

-pattern synchHasNoOutgoing(s : Synchronization) {

-        neg find transition(_, s, _);

-}

-

-@Constraint(severity="error", message="error", key = {s})

-pattern synchHasNoIncoming(s : Synchronization) {

-        neg find transition(_, _, s);

-}

-

-@Constraint(severity="error", message="error", key = {s})

-pattern SynchronizedIncomingInSameRegion(s : Synchronization, v1 : Vertex, v2 : Vertex) {

-        find transition(t1, v1, s);

-        find transition(t2, v2, s);

-        t1!=t2;

-        Region.vertices(r, v1);

-        Region.vertices(r, v2);

-} or {

-        find transition(t1, s, v1);

-        find transition(t2, s, v2);

-        t1!=t2;

-        Region.vertices(r, v1);

-        Region.vertices(r, v2);

-}

-

-@Constraint(severity="error", message="error", key = {s})

-pattern notSynchronizingStates(s : Synchronization) {

-        neg find hasMultipleOutgoingTrainsition(s);

-        neg find hasMultipleIncomingTrainsition(s);

-}

-

-pattern hasMultipleOutgoingTrainsition(v : Synchronization) {

-        find transition(_, v, trg1);

-        find transition(_, v, trg2);

-        trg1 != trg2;

-}

-

-pattern hasMultipleIncomingTrainsition(v : Synchronization) {

-        find transition(_, src1, v);

-        find transition(_, src2, v);

-        src1 != src2;

-}

+//@Constraint(severity="error", message="error", key = {s})

+//pattern synchHasNoOutgoing(s : Synchronization) {

+//      neg find transition(_, s, _);

+//}

+//

+//@Constraint(severity="error", message="error", key = {s})

+//pattern synchHasNoIncoming(s : Synchronization) {

+//      neg find transition(_, _, s);

+//}

+//

+//@Constraint(severity="error", message="error", key = {s})

+//pattern SynchronizedIncomingInSameRegion(s : Synchronization, v1 : Vertex, v2 : Vertex) {

+//      find transition(t1, v1, s);

+//      find transition(t2, v2, s);

+//      t1!=t2;

+//      Region.vertices(r, v1);

+//      Region.vertices(r, v2);

+//} or {

+//      find transition(t1, s, v1);

+//      find transition(t2, s, v2);

+//      t1!=t2;

+//      Region.vertices(r, v1);

+//      Region.vertices(r, v2);

+//}

+//

+//@Constraint(severity="error", message="error", key = {s})

+//pattern notSynchronizingStates(s : Synchronization) {

+//      neg find hasMultipleOutgoingTrainsition(s);

+//      neg find hasMultipleIncomingTrainsition(s);

+//}

 

-@Constraint(severity="error", message="error", key = {s})

-pattern SynchronizedRegionsAreNotSiblings(s : Synchronization, v1 : Vertex, v2 : Vertex) {

-        find transition(_, v1, s);

-        find transition(_, v2, s);

-        CompositeElement.regions.vertices(r1, v1);

-        CompositeElement.regions.vertices(r2, v2);

-        r1 != r2;

-} or {

-        find transition(_, s, v1);

-        find transition(_, s, v2);

-        CompositeElement.regions.vertices(r1, v1);

-        CompositeElement.regions.vertices(r2, v2);

-        r1 != r2;

-}

+//pattern hasMultipleOutgoingTrainsition(v : Synchronization) {

+//      find transition(_, v, trg1);

+//      find transition(_, v, trg2);

+//      trg1 != trg2;

+//}

+//

+//pattern hasMultipleIncomingTrainsition(v : Synchronization) {

+//      find transition(_, src1, v);

+//      find transition(_, src2, v);

+//      src1 != src2;

+//}

+//

+//@Constraint(severity="error", message="error", key = {s})

+//pattern SynchronizedRegionsAreNotSiblings(s : Synchronization, v1 : Vertex, v2 : Vertex) {

+//      find transition(_, v1, s);

+//      find transition(_, v2, s);

+//      CompositeElement.regions.vertices(r1, v1);

+//      CompositeElement.regions.vertices(r2, v2);

+//      r1 != r2;

+//} or {

+//      find transition(_, s, v1);

+//      find transition(_, s, v2);

+//      CompositeElement.regions.vertices(r1, v1);

+//      CompositeElement.regions.vertices(r2, v2);

+//      r1 != r2;

+//}

 

 ///////////////////////////////

 // Extra

@@ -166,16 +165,16 @@ pattern child(parent: CompositeElement, child: Vertex) {
         CompositeElement.regions.vertices(parent, child);

 }

 

-@Constraint(severity="error", message="error", key = {s})

-pattern SynchronizedRegionDoesNotHaveMultipleRegions(s : Synchronization, v : Vertex) {

-        find transition(_, v, s);

-        find child(c,v);

-        neg find hasMultipleRegions(c);

-} or {

-        find transition(_, s, v);

-        find child(c,v);

-        neg find hasMultipleRegions(c);

-}

+//@Constraint(severity="error", message="error", key = {s})

+//pattern SynchronizedRegionDoesNotHaveMultipleRegions(s : Synchronization, v : Vertex) {

+//      find transition(_, v, s);

+//      find child(c,v);

+//      neg find hasMultipleRegions(c);

+//} or {

+//      find transition(_, s, v);

+//      find child(c,v);

+//      neg find hasMultipleRegions(c);

+//}

 

 

 pattern hasMultipleRegions(composite: CompositeElement) {

@@ -187,32 +186,32 @@ pattern hasMultipleRegions(composite: CompositeElement) {
 /**

  * Simplifying model generation

  */

-@Constraint(severity="error", message="error", key = {s})

-pattern synchThree(s: Synchronization) {

-        Transition.target(t1,s);

-        Transition.target(t2,s);

-        Transition.target(t3,s);

-        t1!=t2;

-        t2!=t3;

-        t1!=t3;

-} or {

-        Transition.source(t1,s);

-        Transition.source(t2,s);

-        Transition.source(t3,s);

-        t1!=t2;

-        t2!=t3;

-        t1!=t3;

-}

+//@Constraint(severity="error", message="error", key = {s})

+//pattern synchThree(s: Synchronization) {

+//      Transition.target(t1,s);

+//      Transition.target(t2,s);

+//      Transition.target(t3,s);

+//      t1!=t2;

+//      t2!=t3;

+//      t1!=t3;

+//} or {

+//      Transition.source(t1,s);

+//      Transition.source(t2,s);

+//      Transition.source(t3,s);

+//      t1!=t2;

+//      t2!=t3;

+//      t1!=t3;

+//}

 

 /**

  * Simplifying model generation

  */

-@Constraint(severity="error", message="error", key = {s1,s2})

-pattern twoSynch(s1 : Synchronization, s2 : Synchronization) {

-        Synchronization(s1);

-        Synchronization(s2);

-        s1 != s2;

-}

+//@Constraint(severity="error", message="error", key = {s1,s2})

+//pattern twoSynch(s1 : Synchronization, s2 : Synchronization) {

+//      Synchronization(s1);

+//      Synchronization(s2);

+//      s1 != s2;

+//}

 

 /**

  * Model generation task: at least one synch