Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext')
-rw-r--r--plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext16
1 files changed, 10 insertions, 6 deletions
diff --git a/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext b/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext
index c3177ac69..97ac18170 100644
--- a/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext
+++ b/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext
@@ -60,12 +60,16 @@ SourceGuardPatternCS returns qvtcorebasecs::GuardPatternCS:
MiddleDomainCS returns qvtcorebasecs::DomainCS: {qvtcorebasecs::DomainCS} ownedGuardPattern=MiddleGuardPatternCS ownedBottomPattern=MiddleBottomPatternCS;
-MiddleBottomPatternCS returns qvtcorebasecs::BottomPatternCS:
- ( '{' ownedUnrealizedVariables+=UnrealizedVariableCS
- (',' ownedUnrealizedVariables+=UnrealizedVariableCS)*
- ('|' ownedConstraints+=PredicateOrAssignmentCS*)? '}'
- )
- | ( {qvtcorebasecs::BottomPatternCS} '{' ownedConstraints+=PredicateOrAssignmentCS* '}'
+MiddleBottomPatternCS returns qvtcorebasecs::BottomPatternCS: // Bug 466385 explains the redundancy below
+ (
+ '{' ownedUnrealizedVariables+=UnrealizedVariableCS (',' ownedUnrealizedVariables+=UnrealizedVariableCS)*
+ '|' ownedConstraints+=PredicateOrAssignmentCS* '}'
+ ) | (
+ '{' ownedUnrealizedVariables+=UnrealizedVariableCS (',' ownedUnrealizedVariables+=UnrealizedVariableCS)* '}'
+ ) | (
+ '{' ownedConstraints+=PredicateOrAssignmentCS+ '}'
+ ) | (
+ {qvtcorebasecs::BottomPatternCS} '{' '}'
)
;

Back to the top