Eclipse Community Forums: TMF (Xtext)

Home » Modeling » TMF (Xtext) » duplicate a term(duplicate a term)

Tue, 04 October 2011 07:15

Eclipse User

hello
I describe my problem, this is my grammar

Term : Var | Abs | App|Uq|Tapp ;
Var : name = variable;
Abs : '\\('param = variable ':' type = T').'body = Term;
App : '('t1 = Term ')' t2= Term;
Uq : '/\\'var = tvar'.'term = Term;
Tapp: => '('term = Term')'type = T;

T : tvar|tvar '->' (T)+|'/\\' tvar '.'T;

terminal variable : ('a'..'z')+;
terminal tvar : ('A'..'Z')+;

the problem is when I try to write a term such as "(a)a"
does not accept it, and tells me the term "a" is duplicate.
how can I do to allow duplicate of terms?

Re: duplicate a term [message #732269 is a reply to message #732265]

Tue, 04 October 2011 07:28

Eclipse User

Hi,

reason is that you have now 2 terms with name a.
a check for this is configured with

composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"

in your language workflow

you have following possibilities
(a) remove org.eclipse.xtext.validation.NamesAreUniqueValidator
(b) customize org.eclipse.xtext.validation.NamesAreUniqueValidator (INamesAreUniqueValidationHelper)
(c) rename "name" to something or fix it in the IQualifiedNameProvider to get unique names

~Christian

Previous Topic:	Using Unreferenced Objects in Scope
Next Topic:	how to create across reference in the local scope

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 20 23:49:47 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter