Eclipse Community Forums: TMF (Xtext) » Error creating PDA for syntactic sequencer (2.29.0)

Home

Home » Modeling » TMF (Xtext) » Error creating PDA for syntactic sequencer (2.29.0)

Error creating PDA for syntactic sequencer (2.29.0) [message #1856115]

Tue, 22 November 2022 06:25

Eclipse User

Hi,

I have three grammars: Base.xtext, Base2.xtext, Mydsl.xtext

Base.xtext

grammar org.xtext.example.Base with org.eclipse.xtext.common.Terminals

generate myBase "http://www.xtext.org/example/base/MyBase"

Basic:
	name=ID
;

KEYWORDID:
	ID | "foo"
;

Base2.xtext

grammar org.xtext.example.Base2 with org.xtext.example.Base

generate myBase2 "http://www.xtext.org/example/base/MyBase2"

Basic2:
	name=ID
;

KEYWORDID2:
	ID | "foo"
;

Mydsl.xtext

grammar org.xtext.example.dsl.Mydsl with org.xtext.example.Base2

generate myDsl "http://www.xtext.org/example/dsl/MyDsl"

Model:
	greetings+=Greeting*;
	
Greeting:
	'Hello' name=KEYWORDID lastname=ID '!';

The Mydsl grammar depends on Base2 and Base: Mydsl -with-> Base2 -with-> Base.
While executing the mwe2 workflow for the Mydsl grammar, I get the following error:

1137 ERROR SyntacticSequencerPDAProvider - Error creating PDA for syntactic sequencer for contexts: Basic2 returns Basic2: no type found for name=unresolved_rule
java.lang.RuntimeException: no type found for name=unresolved_rule
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.getType(SyntacticSequencerPDAProvider.java:703)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.createAbsorberState(SyntacticSequencerPDAProvider.java:564)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.createAbsorberState(SyntacticSequencerPDAProvider.java:569)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.getSyntacticSequencerPDAs(SyntacticSequencerPDAProvider.java:631)
        at org.eclipse.xtext.serializer.analysis.SemanticSequencerNfaProvider.getSemanticSequencerNFAs(SemanticSequencerNfaProvider.java:240)
        at org.eclipse.xtext.serializer.analysis.GrammarConstraintProvider.getConstraints(GrammarConstraintProvider.java:624)
        at org.eclipse.xtext.xtext.generator.serializer.SemanticSequencerExtensions.getGrammarConstraints(SemanticSequencerExtensions.java:112)
        at org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2.generateAbstractSemanticSequencer(SerializerFragment2.java:417)
        at org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2.generate(SerializerFragment2.java:211)
        at org.eclipse.xtext.xtext.generator.CompositeGeneratorFragment2.generate(CompositeGeneratorFragment2.java:43)
        at org.eclipse.xtext.xtext.generator.XtextGenerator.invokeInternal(XtextGenerator.java:228)
        at org.eclipse.emf.mwe.core.lib.AbstractWorkflowComponent.invoke(AbstractWorkflowComponent.java:133)
        at org.eclipse.emf.mwe.core.lib.Mwe2Bridge.invoke(Mwe2Bridge.java:35)
        at org.eclipse.emf.mwe.core.lib.AbstractWorkflowComponent.invoke(AbstractWorkflowComponent.java:213)
        at org.eclipse.emf.mwe2.runtime.workflow.AbstractCompositeWorkflowComponent.invoke(AbstractCompositeWorkflowComponent.java:38)
        at org.eclipse.emf.mwe2.runtime.workflow.Workflow.run(Workflow.java:21)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:103)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:63)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:53)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher.run(Mwe2Launcher.java:78)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher.main(Mwe2Launcher.java:36)
        at org.codehaus.mojo.exec.ExecJavaMojo$1.run(ExecJavaMojo.java:254)
        at java.base/java.lang.Thread.run(Thread.java:829)
1142 ERROR SyntacticSequencerPDAProvider - Error creating PDA for syntactic sequencer for contexts: KEYWORDID2 returns null: no type found for unresolved_rule
java.lang.RuntimeException: no type found for unresolved_rule
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.getType(SyntacticSequencerPDAProvider.java:703)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.createEmitterStates(SyntacticSequencerPDAProvider.java:605)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.createAbsorberState(SyntacticSequencerPDAProvider.java:574)
        at org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.getSyntacticSequencerPDAs(SyntacticSequencerPDAProvider.java:631)
        at org.eclipse.xtext.serializer.analysis.SemanticSequencerNfaProvider.getSemanticSequencerNFAs(SemanticSequencerNfaProvider.java:240)
        at org.eclipse.xtext.serializer.analysis.GrammarConstraintProvider.getConstraints(GrammarConstraintProvider.java:624)
        at org.eclipse.xtext.xtext.generator.serializer.SemanticSequencerExtensions.getGrammarConstraints(SemanticSequencerExtensions.java:112)
        at org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2.generateAbstractSemanticSequencer(SerializerFragment2.java:417)
        at org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2.generate(SerializerFragment2.java:211)
        at org.eclipse.xtext.xtext.generator.CompositeGeneratorFragment2.generate(CompositeGeneratorFragment2.java:43)
        at org.eclipse.xtext.xtext.generator.XtextGenerator.invokeInternal(XtextGenerator.java:228)
        at org.eclipse.emf.mwe.core.lib.AbstractWorkflowComponent.invoke(AbstractWorkflowComponent.java:133)
        at org.eclipse.emf.mwe.core.lib.Mwe2Bridge.invoke(Mwe2Bridge.java:35)
        at org.eclipse.emf.mwe.core.lib.AbstractWorkflowComponent.invoke(AbstractWorkflowComponent.java:213)
        at org.eclipse.emf.mwe2.runtime.workflow.AbstractCompositeWorkflowComponent.invoke(AbstractCompositeWorkflowComponent.java:38)
        at org.eclipse.emf.mwe2.runtime.workflow.Workflow.run(Workflow.java:21)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:103)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:63)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Runner.run(Mwe2Runner.java:53)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher.run(Mwe2Launcher.java:78)
        at org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher.main(Mwe2Launcher.java:36)
        at org.codehaus.mojo.exec.ExecJavaMojo$1.run(ExecJavaMojo.java:254)
        at java.base/java.lang.Thread.run(Thread.java:829)

Worked with 2.18.0.

I'd be thankful for any ideas.

Best regards,
Sebastian

[Updated on: Tue, 22 November 2022 06:28] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856116 is a reply to message #1856115]

Tue, 22 November 2022 06:46

Eclipse User

hi, can you please provide a complete reproducing project

i assume this is a bug in org.eclipse.xtext.xtext.FlattenedGrammarAccess.FlattenedGrammarAccess(RuleNames, RuleFilter)
but i dont know this part of the code

maybe the problem is also that the gramamr file names and the language names are not in sync. is that intentional?

[Updated on: Tue, 22 November 2022 07:46] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856118 is a reply to message #1856116]

Tue, 22 November 2022 08:04

Eclipse User

Hi Christian,

thank you for your quick reply.
Please find the example project in the attachments.

I fixed the language and file names and its still reproducible.

Best regards,
Sebastian

Attachment: org.xtext.example.mydsl.parent.zip
(Size: 75.20KB, Downloaded 203 times)

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856120 is a reply to message #1856118]

Tue, 22 November 2022 08:42

Eclipse User

is there a reason why you have 3 workflows?

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856121 is a reply to message #1856120]

Tue, 22 November 2022 08:45

Eclipse User

and with naming i meant

org.xtext.example.base.Base

org.xtext.example.base2.Base2

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856122 is a reply to message #1856120]

Tue, 22 November 2022 08:56

Eclipse User

I'm currently not aware of any reason why we use multiple workflows.

Im not sure, if I follow you correctly. How are the names not in sync?

[Updated on: Tue, 22 November 2022 08:58] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856123 is a reply to message #1856122]

Tue, 22 November 2022 09:00

Eclipse User

the org.xtext.example.Base language is in package org.xtext.example.base and has name Base
=> qualified name and location in package dont match.
=> if i rename them in the xtext file to include right package it works for me

[Updated on: Tue, 22 November 2022 09:01] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856124 is a reply to message #1856123]

Tue, 22 November 2022 09:11

Eclipse User

Ok, I get it now, thank you.
I have now:
grammar org.xtext.example.base.Base
grammar org.xtext.example.base2.Base2
grammar org.xtext.example.mydsl.MyDsl

And also changed the language names in the workflows accordingly. However, I still get the same error.

[Updated on: Tue, 22 November 2022 09:13] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856126 is a reply to message #1856124]

Tue, 22 November 2022 09:37

Eclipse User

hmmm i dont.

Attachment: export.zip
(Size: 1.60MB, Downloaded 117 times)

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856127 is a reply to message #1856126]

Tue, 22 November 2022 10:02

Eclipse User

I replaced my directory with yours and still got the same error.

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856129 is a reply to message #1856127]

Tue, 22 November 2022 10:28

Eclipse User

i will try on 2nd machine. what steps do you do to reproduce?

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856130 is a reply to message #1856129]

Tue, 22 November 2022 10:37

Eclipse User

Thank you.

I just deleted the directory and copied yours. Then I ran mvnw clean install in the parent project.

Concerning the original project:
1) Create new Xtext project
2) create the packages base and base2 and populate them with the grammars/workflows as discussed ("names in sync").
3) Adapt the mydsl workflow (StandaloneSetup and referencedResource)
4) Adapt the pom.xml of the mydsl project
- a) copy the <configuration> of the workflow into the <execution> block of the mydsl workflow
- b) copy and adapt the execution block for each additional workflow
5) run mvnw clean install in the parent project

[Updated on: Tue, 22 November 2022 10:40] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856131 is a reply to message #1856130]

Tue, 22 November 2022 10:41

Eclipse User

so the problem is the maven and not from eclipse.
i am not sure if 3 workflows is a good idea from maven
also standalonesetup is a bad idea

[Updated on: Tue, 22 November 2022 10:42] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856132 is a reply to message #1856131]

Tue, 22 November 2022 10:46

Eclipse User

can you try this workflow instead

module org.xtext.example.mydsl.GenerateMyDsl

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

var rootPath = ".."

Workflow {
	component = XtextGenerator {
		cleaner = {
			enabled = false
		}
		configuration = {
			project = StandardProjectConfig {
				baseName = "org.xtext.example.mydsl"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				eclipsePlugin = {
					enabled = true
				}
				eclipsePluginTest = {
					enabled = true
				}
				createEclipseMetaData = true
			}
			code = {
				encoding = "UTF-8"
				lineDelimiter = "\r\n"
				fileHeader = "/*\n * generated by Xtext \${version}\n */"
				preferXtendStubs = false
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.base.Base"
			fileExtensions = "base"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.base2.Base2"
			fileExtensions = "base2"
            referencedResource = "platform:/resource/org.xtext.example.mydsl/src/org/xtext/example/base2/Base2.xtext"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.mydsl.MyDsl"
			fileExtensions = "mydsl"
			referencedResource = "platform:/resource/org.xtext.example.mydsl/src/org/xtext/example/base/Base.xtext"
            referencedResource = "platform:/resource/org.xtext.example.mydsl/src/org/xtext/example/base2/Base2.xtext"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
	}
}

might be needed to replace platform resource with classpath for maven

module org.xtext.example.mydsl.GenerateMyDsl

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

var rootPath = ".."

Workflow {
	component = XtextGenerator {
		cleaner = {
			enabled = false
		}
		configuration = {
			project = StandardProjectConfig {
				baseName = "org.xtext.example.mydsl"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				eclipsePlugin = {
					enabled = true
				}
				eclipsePluginTest = {
					enabled = true
				}
				createEclipseMetaData = true
			}
			code = {
				encoding = "UTF-8"
				lineDelimiter = "\r\n"
				fileHeader = "/*\n * generated by Xtext \${version}\n */"
				preferXtendStubs = false
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.base.Base"
			fileExtensions = "base"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.base2.Base2"
			fileExtensions = "base2"
            referencedResource = "classpath:/org/xtext/example/base2/Base2.xtext"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.mydsl.MyDsl"
			fileExtensions = "mydsl"
			referencedResource = "classpath:/org/xtext/example/base/Base.xtext"
            referencedResource = "classpath:/org/xtext/example/base2/Base2.xtext"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
	}
}

[Updated on: Tue, 22 November 2022 10:49] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856133 is a reply to message #1856131]

Tue, 22 November 2022 10:48

Eclipse User

Ok, I will merge the workflows into one.
AFAIK I need the StandaloneSetup for registerGenModelFile and registerGeneratedEPackage.

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856134 is a reply to message #1856133]

Tue, 22 November 2022 10:53

Eclipse User

besides that i have no clue why it does not resolve from maven.

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856135 is a reply to message #1856126]

Tue, 22 November 2022 11:01

Eclipse User

this is the wf that works for me from eclipse

module org.xtext.example.mydsl.GenerateMyDsl

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

var rootPath = ".."

Workflow {
	bean = org.eclipse.emf.mwe.utils.StandaloneSetup {
		platformUri = ".."
		registerGenModelFile = "platform:/resource/org.xtext.example.mydsl/model/generated/Base.genmodel"
		registerGenModelFile = "platform:/resource/org.xtext.example.mydsl/model/generated/Base2.genmodel"
	}
	component = XtextGenerator {
		cleaner = {
			enabled = false
		}
		configuration = {
			project = StandardProjectConfig {
				baseName = "org.xtext.example.mydsl"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				eclipsePlugin = {
					enabled = true
				}
				eclipsePluginTest = {
					enabled = true
				}
				createEclipseMetaData = true
			}
			code = {
				encoding = "UTF-8"
				lineDelimiter = "\r\n"
				fileHeader = "/*\n * generated by Xtext \${version}\n */"
				preferXtendStubs = false
			}
		}
		language = StandardLanguage {
			name = "org.xtext.example.mydsl.MyDsl"
			fileExtensions = "mydsl"
			referencedResource = "platform:/resource/org.xtext.example.mydsl/src/org/xtext/example/base/Base.xtext"
            referencedResource = "platform:/resource/org.xtext.example.mydsl/src/org/xtext/example/base2/Base2.xtext"
			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
				// Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
				generateDeprecationValidation = true
			}
			generator = {
				generateXtendStub = true
			}
			junitSupport = {
				junitVersion = "5"
			}
		}
	}
}

(in your project)

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856136 is a reply to message #1856134]

Tue, 22 November 2022 11:02

Eclipse User

Maven is unable to resolve the referencedResource with both versions of the workflow.

Concerning the original problem: It only occurs if three grammars are present in the hierarchy. For example, it works with two.

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856137 is a reply to message #1856136]

Tue, 22 November 2022 11:10

Eclipse User

i am clueless. the last time i tried something like this is some time ago
and i dont know the internals of the resolve work.

maybe you can create an issue at xtext-core and ping @szarnekow

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856139 is a reply to message #1856137]

Tue, 22 November 2022 11:35

Eclipse User

Ok, thank you!

https://github.com/eclipse/xtext-core/issues/2028

I also found that when .antlr-generator-3.2.0-patch.jar is present in the project, the maven workflow has issues resolving the Base.genmodel for the Base2 workflow.

[Updated on: Tue, 22 November 2022 11:58] by Moderator

Re: Error creating PDA for syntactic sequencer (2.29.0) [message #1856249 is a reply to message #1856139]

Tue, 29 November 2022 10:15

Eclipse User

A solution can be found in the comments of the linked GitHub issue.

Previous Topic:	Language server is not loading resource and doing build with lsp4j 0.15
Next Topic:	How to customize generated eclass from a grammar?

Goto Forum:

-=] Back to Top [=-

Current Time: Thu May 22 14:52:43 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter