fixed sync constraint for later use

Echtzeitsysteme · Sep 4, 2024 · efee892 · efee892
1 parent 6e744d0
commit efee892
Show file tree

Hide file tree

Showing 2 changed files with 1,221 additions and 570 deletions.
diff --git a/src/parser/timedAutomata.jison b/src/parser/timedAutomata.jison
@@ -134,8 +134,8 @@ syncConstraints
  ;
 
 syncConstraint
- : TOK_ID TOK_AT TOK_ID { $$ = $1 + $2 + $3;}
- | TOK_PROCESS TOK_AT TOK_ID TOK_QMARK { $$ = $1 + $2 + $3 + $4;}
+ : TOK_ID TOK_AT TOK_ID { $$ = {process:$1, event: $3};}
+ | TOK_ID TOK_AT TOK_ID TOK_QMARK { $$ = {process:$1, event: $3, weakSync: $4};}
  ;
 
 attributeList