diff options
author | 2022-08-10 18:33:20 +0200 | |
---|---|---|
committer | 2022-08-11 19:56:54 +0200 | |
commit | 66a7758d4838a76a7979420f1674f8fbd664e3f2 (patch) | |
tree | 9d2c2dfb227a894016fb91754f5776896f2a1306 /subprojects/language | |
parent | chore(deps): bump frontend dependencies (diff) | |
download | refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.gz refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.zst refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.zip |
feat(language): modal parameter types
Diffstat (limited to 'subprojects/language')
-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 74b0d50e..f7b86dca 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | |||
@@ -49,7 +49,7 @@ RuleDefinition: | |||
49 | "."; | 49 | "."; |
50 | 50 | ||
51 | Parameter: | 51 | Parameter: |
52 | parameterType=[Relation|QualifiedName]? name=Identifier; | 52 | (modality=Modality? parameterType=[Relation|QualifiedName])? name=Identifier; |
53 | 53 | ||
54 | Conjunction: | 54 | Conjunction: |
55 | literals+=Literal ("," literals+=Literal)*; | 55 | literals+=Literal ("," literals+=Literal)*; |