diff options
author | 2024-05-30 18:00:15 +0200 | |
---|---|---|
committer | 2024-05-30 18:00:15 +0200 | |
commit | 1fc828c11e28a6677e0ff759bbe8dba6e9d9930f (patch) | |
tree | ab98cd8028257209516c421e53debd292871baa3 /subprojects/language/src/main/java/tools | |
parent | fix(language): validate unique rule names (diff) | |
download | refinery-1fc828c11e28a6677e0ff759bbe8dba6e9d9930f.tar.gz refinery-1fc828c11e28a6677e0ff759bbe8dba6e9d9930f.tar.zst refinery-1fc828c11e28a6677e0ff759bbe8dba6e9d9930f.zip |
refactor(language): rule syntax
Make the rule syntax more similar to the predicate syntax.
Diffstat (limited to 'subprojects/language/src/main/java/tools')
-rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext index 64998cd0..ebb5bf71 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | |||
@@ -83,7 +83,7 @@ RuleDefinition: | |||
83 | kind=RuleKind? "rule" | 83 | kind=RuleKind? "rule" |
84 | name=Identifier | 84 | name=Identifier |
85 | "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" | 85 | "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" |
86 | (":" preconditions+=Conjunction (";" preconditions+=Conjunction)*)? | 86 | ("<->" preconditions+=Conjunction (";" preconditions+=Conjunction)*)? |
87 | ("==>" consequents+=Consequent (";" consequents+=Consequent)*)? | 87 | ("==>" consequents+=Consequent (";" consequents+=Consequent)*)? |
88 | "."; | 88 | "."; |
89 | 89 | ||