diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-11-06 16:49:58 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-11-06 16:49:58 +0100 |
commit | 8131e670d8fc86d0f2b3035d8155d35ec6a80f9b (patch) | |
tree | 2d805f058ab6b4289d4338b8f6beb12c51c31d09 /language/src/main | |
parent | chore(lang): shorten keyword individual -> indiv (diff) | |
download | refinery-8131e670d8fc86d0f2b3035d8155d35ec6a80f9b.tar.gz refinery-8131e670d8fc86d0f2b3035d8155d35ec6a80f9b.tar.zst refinery-8131e670d8fc86d0f2b3035d8155d35ec6a80f9b.zip |
chore(lang): seralize assertions in short form
Prefer the ! and ? operators instead of : false and : unknown and omit
: true when serializing assertions.
Diffstat (limited to 'language/src/main')
-rw-r--r-- | language/src/main/java/tools/refinery/language/Problem.xtext | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/language/src/main/java/tools/refinery/language/Problem.xtext b/language/src/main/java/tools/refinery/language/Problem.xtext index e2723b55..26773047 100644 --- a/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/language/src/main/java/tools/refinery/language/Problem.xtext | |||
@@ -109,12 +109,12 @@ ConstantArgument: | |||
109 | 109 | ||
110 | Assertion: | 110 | Assertion: |
111 | default?="default"? | 111 | default?="default"? |
112 | (relation=[Relation|QualifiedName] | 112 | (value=ShortLogicValue? |
113 | "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" | ||
114 | ":" value=LogicValue | | ||
115 | value=ShortLogicValue? | ||
116 | relation=[Relation|QualifiedName] | 113 | relation=[Relation|QualifiedName] |
117 | "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")") | 114 | "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" |
115 | | relation=[Relation|QualifiedName] | ||
116 | "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")" | ||
117 | ":" value=LogicValue) | ||
118 | "."; | 118 | "."; |
119 | 119 | ||
120 | AssertionArgument: | 120 | AssertionArgument: |