diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:33:20 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-11 19:56:54 +0200 |
| commit | 66a7758d4838a76a7979420f1674f8fbd664e3f2 (patch) | |
| tree | 9d2c2dfb227a894016fb91754f5776896f2a1306 /subprojects/language/src/main/java/tools | |
| 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/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 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)*; |