xtext: XtextValidator: Allow fragments in unordered groups

Fixes eclipse-xtext#3068 Signed-off-by: Tommaso Fonda <[email protected]>
tfonda-fbk · Aug 12, 2024 · 60f8236 · 60f8236
1 parent e8e6e6d
commit 60f8236
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/org.eclipse.xtext.tests/src/org/eclipse/xtext/xtext/XtextValidationTest.java b/org.eclipse.xtext.tests/src/org/eclipse/xtext/xtext/XtextValidationTest.java
@@ -1342,6 +1342,23 @@ public boolean apply(Diagnostic input) {
 		messageAcceptor.validate();
 	}
 
+	@Test public void testCheckFragmentCallInUnorderedGroup() throws Exception {
+		XtextValidator validator = get(XtextValidator.class);
+		UnorderedGroup unorderedGroup = XtextFactory.eINSTANCE.createUnorderedGroup();
+		RuleCall ruleCall = XtextFactory.eINSTANCE.createRuleCall();
+		TypeRef typeRef = XtextFactory.eINSTANCE.createTypeRef();
+		typeRef.setClassifier(EcorePackage.Literals.EOBJECT);
+		ParserRule parserRule = XtextFactory.eINSTANCE.createParserRule();
+		parserRule.setType(typeRef);
+		parserRule.setFragment(true);
+		ruleCall.setRule(parserRule);
+		unorderedGroup.getElements().add(ruleCall);
+		ValidatingMessageAcceptor messageAcceptor = new ValidatingMessageAcceptor(null, false, false);
+		validator.setMessageAcceptor(messageAcceptor);
+		validator.checkRuleCallInUnorderedGroup(ruleCall);
+		messageAcceptor.validate();
+	}
+
 	@Test public void testCheckRuleCallInUnorderedGroup_01() throws Exception {
 		XtextValidator validator = get(XtextValidator.class);
 		UnorderedGroup unorderedGroup = XtextFactory.eINSTANCE.createUnorderedGroup();

diff --git a/org.eclipse.xtext/src/org/eclipse/xtext/xtext/XtextValidator.java b/org.eclipse.xtext/src/org/eclipse/xtext/xtext/XtextValidator.java
@@ -1136,6 +1136,8 @@ public void checkRuleCallInUnorderedGroup(final RuleCall call) {
 			return;
 		if (GrammarUtil.isAssigned(call))
 			return;
+		if (GrammarUtil.isEObjectFragmentRuleCall(call))
+			return;
 		if (EcoreUtil2.getContainerOfType(call, UnorderedGroup.class) != null)
 			error(
 					"Unassigned rule calls may not be used in unordered groups.",