diff options
author | 2017-07-05 14:23:44 +0200 | |
---|---|---|
committer | 2017-07-05 14:23:44 +0200 | |
commit | bb231e3cc43aab160dde5bd2ffce2ac6ee829c85 (patch) | |
tree | 6dc2ffad67e4ad443910bcb4a4719e3557469c43 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme | |
parent | full Ecore -> Logic -> Ecore support (diff) | |
download | VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.gz VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.zst VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.zip |
Bug with outgoing transitions in yakindu example.
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql | 4 |
1 files changed, 2 insertions, 2 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 e964cfc7..f4bfa3c1 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 | |||
@@ -50,7 +50,7 @@ pattern multipleTransitionFromEntry(e : Entry, t1 : Transition, t2: Transition) | |||
50 | 50 | ||
51 | @Constraint(severity="error", message="error", key = {e}) | 51 | @Constraint(severity="error", message="error", key = {e}) |
52 | pattern outgoingFromExit(t : Transition, e : Exit) { | 52 | pattern outgoingFromExit(t : Transition, e : Exit) { |
53 | find transition(t, e, _); | 53 | Exit.outgoingTransitions(e,t); |
54 | } | 54 | } |
55 | 55 | ||
56 | ///////// | 56 | ///////// |
@@ -59,7 +59,7 @@ pattern outgoingFromExit(t : Transition, e : Exit) { | |||
59 | 59 | ||
60 | @Constraint(severity="error", message="error", key = {f}) | 60 | @Constraint(severity="error", message="error", key = {f}) |
61 | pattern outgoingFromFinal(t : Transition, f : FinalState) { | 61 | pattern outgoingFromFinal(t : Transition, f : FinalState) { |
62 | find transition(t, f, _); | 62 | FinalState.outgoingTransitions(f,t); |
63 | } | 63 | } |
64 | 64 | ||
65 | ///////// | 65 | ///////// |