Eclipse Community Forums: TMF (Xtext) » Duplicate JvmAnnotationTarget '<unnamed>' when using a AbstractModelInferrer

Help

Home

Home » Modeling » TMF (Xtext) » Duplicate JvmAnnotationTarget '<unnamed>' when using a AbstractModelInferrer

Show: Today's Messages :: Show Polls :: Message Navigator

Duplicate JvmAnnotationTarget '<unnamed>' when using a AbstractModelInferrer [message #759018]

Fri, 25 November 2011 15:30

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

Hi

I just started using AbstractModelInferrer (actually
MyDslJvmModelInferrer), with a very basic infer method:

def dispatch void infer(Rule rule, IAcceptor<JvmDeclaredType> acceptor,
boolean isPrelinkingPhase) {
acceptor.accept(
rule.toClass(rule.fullyQualifiedName) [
documentation = rule.documentation

]
)
}

the problem is that when I run the second eclipse instance I get errors
of this shape in the Problem view (and attached to the file, none in the
editor):

Duplicate JvmAnnotationTarget '<unnamed>'

I'm trying it with a dsl file with only one Rule element so there's no
other element with that name...

the problems goes away if I comment out from my mwe2 file

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

any clue please?

thanks in advance
Lorenzo

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '<unnamed>' when using a AbstractModelInferrer [message #759022 is a reply to message #759018]

Fri, 25 November 2011 16:03

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 11/25/2011 04:30 PM, Lorenzo Bettini wrote:
> Hi
>
> I just started using AbstractModelInferrer (actually
> MyDslJvmModelInferrer), with a very basic infer method:
>
> def dispatch void infer(Rule rule, IAcceptor<JvmDeclaredType> acceptor,
> boolean isPrelinkingPhase) {
> acceptor.accept(
> rule.toClass(rule.fullyQualifiedName) [
> documentation = rule.documentation
>
> ]
> )
> }
>
> the problem is that when I run the second eclipse instance I get errors
> of this shape in the Problem view (and attached to the file, none in the
> editor):
>
> Duplicate JvmAnnotationTarget '<unnamed>'
>
> I'm trying it with a dsl file with only one Rule element so there's no
> other element with that name...
>
> the problems goes away if I comment out from my mwe2 file
>
> composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
>
> any clue please?
>
> thanks in advance
> Lorenzo
>

By the way, this is reproducible by implementing "The Five Simple Steps
to your JVM Language" and then enabling in the workflow the

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

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '<unnamed>' when using a AbstractModelInferrer [message #759047 is a reply to message #759022]

Fri, 25 November 2011 20:29

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

The Problem is that the inferred class and its constructor have the same name - both are annotation targets
=> the check will fail. id try to bind a customized NamesAreUniqueValidationHelper

~Christian

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&lt;unnamed&gt;' when using a AbstractModelInferr [message #759089 is a reply to message #759047]

Sat, 26 November 2011 08:50

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 11/25/2011 09:29 PM, Christian Dietrich wrote:
> The Problem is that the inferred class and its constructor have the same
> name - both are annotation targets
> => the check will fail. id try to bind a customized
> NamesAreUniqueValidationHelper

but then why does it say <unnamed>?

you mean then to have a NamesAreUniqueValidationHelper which simply
checks the class of the object to check? For instance this method?

protected void checkDescriptionForDuplicatedName(
IEObjectDescription description,
Map<EClass, Map<QualifiedName, IEObjectDescription>> clusterTypeToName,
ValidationMessageAcceptor acceptor)

cheers
Lorenzo

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&lt;unnamed&gt;' when using a AbstractModelInferr [message #759091 is a reply to message #759089]

Sat, 26 November 2011 09:21

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 11/26/2011 09:50 AM, Lorenzo Bettini wrote:
> On 11/25/2011 09:29 PM, Christian Dietrich wrote:
>> The Problem is that the inferred class and its constructor have the same
>> name - both are annotation targets
>> => the check will fail. id try to bind a customized
>> NamesAreUniqueValidationHelper
>
> but then why does it say <unnamed>?
>
> you mean then to have a NamesAreUniqueValidationHelper which simply
> checks the class of the object to check? For instance this method?
>
> protected void checkDescriptionForDuplicatedName(
> IEObjectDescription description,
> Map<EClass, Map<QualifiedName, IEObjectDescription>> clusterTypeToName,
> ValidationMessageAcceptor acceptor)
>

so I tried overriding getClusterTypes() by inserting only the EClasses
of my DSL package, but the problem with JvmAnnotationTarget shows up
again...

thus, I tried to override this method as follows:

protected void checkDescriptionForDuplicatedName(
IEObjectDescription description,
Map<EClass, Map<QualifiedName, IEObjectDescription>> clusterTypeToName,
ValidationMessageAcceptor acceptor) {
//super.checkDescriptionForDuplicatedName(description,
clusterTypeToName, acceptor);
EObject object = description.getEObjectOrProxy();
EClass eClass = object.eClass();
if (TypesPackage.Literals.JVM_ANNOTATION_TARGET.equals(eClass))
return;
}

this makes the Duplicate error go away, but now I miss all the other
checks (for instance two jvm parameters with the same name is not
detected as an error)...

now I'm kind of lost...

cheers
Lorenzo
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&lt;unnamed&gt;' when using a AbstractModelInferr [message #759093 is a reply to message #759091]

Sat, 26 November 2011 09:59

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

i actually meant something like

@Override
	protected ImmutableSet<EClass> getClusterTypes() {
		return ImmutableSet.of(DomainmodelPackage.Literals.ENTITY, DomainmodelPackage.Literals.OPERATION, DomainmodelPackage.Literals.PROPERTY, TypesPackage.Literals.JVM_GENERIC_TYPE);
	}

~Christian

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&lt;unnamed&gt;' when using a AbstractModelInferr [message #759094 is a reply to message #759093]

Sat, 26 November 2011 10:05

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

sorry here the right version: i actually meant something like

@Override
	protected ImmutableSet<EClass> getClusterTypes() {
		return ImmutableSet.of(DomainmodelPackage.Literals.ENTITY, DomainmodelPackage.Literals.OPERATION, DomainmodelPackage.Literals.PROPERTY);
	}

~Christian

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&lt;unnamed&gt;' when using a AbstractModelInferr [message #759095 is a reply to message #759094]

Sat, 26 November 2011 10:23

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

P.S: you have to fix this one too

protected EClass getAssociatedClusterType(EClass eClass) {
		if (clusterTypes.contains(eClass))
			return eClass;
		EList<EClass> superTypes = eClass.getESuperTypes();
		if (superTypes.isEmpty())
			return eClass;
		return getAssociatedClusterType(superTypes.get(0));
	}

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

[Updated on: Sat, 26 November 2011 10:24]

Report message to a moderator

Re: Duplicate JvmAnnotationTarget '&amp;lt;unnamed&amp;gt;' when using a AbstractMod [message #759103 is a reply to message #759095]

Sat, 26 November 2011 11:37

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 11/26/2011 11:24 AM, Christian Dietrich wrote:
> P.S: you have to fix this one too protected EClass
> getAssociatedClusterType(EClass eClass) {
> if (clusterTypes.contains(eClass))
> return eClass;
> EList<EClass> superTypes = eClass.getESuperTypes();
> if (superTypes.isEmpty())
> return eClass;
> return getAssociatedClusterType(superTypes.get(0));
> }
>
>

however, even if I do this I'll lose name checks for other xbase
elements (see my last post before this one)... I guess Names unique
checks cannot coexist at the moment with model inferrer?

--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net

Report message to a moderator