Eclipse Community Forums: TMF (Xtext) » Inferrer Enumeration type creation

Help

Home

Home » Modeling » TMF (Xtext) » Inferrer Enumeration type creation(Inferrer Enumeration type creation)

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

Inferrer Enumeration type creation [message #731855]

Mon, 03 October 2011 10:33

Balazs Molnar

Messages: 28
Registered: July 2009

Junior Member

Hello,

Can someone please post me an enumeration type creation sample - from within the Inferrer code - , how to setup the type itself and the literals?

Thank you,
Balázs

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731869 is a reply to message #731855]

Mon, 03 October 2011 10:58

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi,

this should be straight forward. so what is the actual problem you have?
dont forget to adopt IQualifiedNameProvider too

def dispatch Iterable<JvmDeclaredType> transform(Entity entity) {
		val jvmClass = typesFactory.createJvmGenericType 
		jvmClass.simpleName = entity.name
		jvmClass.packageName = entity.packageName
		entity.associatePrimary(jvmClass)
		jvmClass.visibility = JvmVisibility::PUBLIC
		if (entity.superType != null)
			jvmClass.superTypes += cloneWithProxies(entity.superType)
		for(f : entity.features) {
			transform(f, jvmClass)
		} 
		val enum1 = typesFactory.createJvmEnumerationType
		enum1.simpleName = entity.name + "Type"
		val l1 = typesFactory.createJvmEnumerationLiteral
		l1.simpleName = "Deutschland"
		l1.visibility = JvmVisibility::PUBLIC
		l1.^static = true
		var t1 = typesFactory.createJvmParameterizedTypeReference
		t1.type = enum1
		l1.type = t1
		val l2 = typesFactory.createJvmEnumerationLiteral
		l2.simpleName = "Frankreich"
		l2.visibility = JvmVisibility::PUBLIC
		l2.^static = true
		var t2 = typesFactory.createJvmParameterizedTypeReference
		t2.type = enum1
		l2.type = t2
		enum1.members += l1
		enum1.members += l2
		entity.associatePrimary(enum1)
		newArrayList(jvmClass as JvmDeclaredType, enum1 as JvmDeclaredType) 	 
	}

note that you (may) have to add some other stuff (operations/constructors...) to the enum

~Christian

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

[Updated on: Mon, 03 October 2011 12:35]

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731912 is a reply to message #731869]

Mon, 03 October 2011 13:21

Balazs Molnar

Messages: 28
Registered: July 2009

Junior Member

Hello,

Thanks. I have a problem using such enums in Xbase logical expression. When testing for equality '==', I get this error:
Quote:

Couldn't resolve reference to JvmIdentifiableElement '=='.

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731913 is a reply to message #731912]

Mon, 03 October 2011 13:22

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi this is correct since the == operation is not defined vom Enums
you have to make your enum be a subclass e.g. of java lang object.
normals enums have a superclasses

[java.lang.Enum, java.lang.Object, java.lang.Comparable, java.io.Serializable]

~Christian

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

[Updated on: Mon, 03 October 2011 13:37]

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731918 is a reply to message #731913]

Mon, 03 October 2011 13:42

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

So add something like

val enumTypeReference = typesFactory.createJvmParameterizedTypeReference
enumTypeReference.type = typeProviderFactory.findOrCreateTypeProvider(entity.eResource.resourceSet)
.findTypeByName("java.lang.Enum")
enum1.superTypes +=enumTypeReference

and it will work

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

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731931 is a reply to message #731918]

Mon, 03 October 2011 14:02

Balazs Molnar

Messages: 28
Registered: July 2009

Junior Member

Great

thanks.

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731958 is a reply to message #731912]

Mon, 03 October 2011 14:46

Ed Merks

Messages: 33137
Registered: July 2009

Senior Member

<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Balazs, 
 
I was working on such a thing just yesterday for Xcore: 
 
<blockquote> public JvmDeclaredType getDeclaredType(GenEnum
genEnum) 
 { 
 final XEnum xEnum = mapper.getXEnum(genEnum); 
 final XDataTypeMapping mapping =
mapper.getMapping(xEnum); 
 JvmDeclaredType jvmDeclaredType; 
 if (genEnum.getGenModel().useGenerics()) 
 { 
 JvmEnumerationType jvmEnumerationType =
TypesFactory.eINSTANCE.createJvmEnumerationType(); 
 jvmEnumerationType.setFinal(true); 
 jvmDeclaredType = jvmEnumerationType; 
 for (GenEnumLiteral genEnumLiteral :
genEnum.getGenEnumLiterals()) 
 { 
 XEnumLiteral xEnumLiteral =
mapper.getXEnumLiteral(genEnumLiteral); 
 JvmEnumerationLiteral jvmEnumerationLiteral
= TypesFactory.eINSTANCE.createJvmEnumerationLiteral(); 
 jvmEnumerationLiteral.setStatic(true); 
 jvmEnumerationLiteral.setFinal(true); 

jvmEnumerationLiteral.setSimpleName(genEnumLiteral.getEnumLiteralInstanceConstantName()); 

jvmEnumerationLiteral.setVisibility(JvmVisibility.PUBLIC); 
 JvmParameterizedTypeReference
jvmParameterizedTypeReference =
TypesFactory.eINSTANCE.createJvmParameterizedTypeReference(); 

jvmParameterizedTypeReference.setType(jvmDeclaredType); 

jvmEnumerationLiteral.setType(jvmParameterizedTypeReference); 

jvmEnumerationType.getMembers().add(jvmEnumerationLiteral); 

mapper.getToXcoreMapping(jvmEnumerationLiteral).setXcoreElement(xEnumLiteral); 
 } 
 } 
 else 
 { 
 JvmGenericType jvmGenericType =
TypesFactory.eINSTANCE.createJvmGenericType(); 
 jvmDeclaredType = jvmGenericType; 
 // TODO 
 return jvmGenericType; 
 } 
 jvmDeclaredType.setSimpleName(genEnum.getName()); 

jvmDeclaredType.setPackageName(genEnum.getGenPackage().getInterfacePackageName()); 
 jvmDeclaredType.setVisibility(JvmVisibility.PUBLIC); 
 JvmParameterizedTypeReference
jvmParameterizedTypeReference =
TypesFactory.eINSTANCE.createJvmParameterizedTypeReference(); 
 jvmParameterizedTypeReference.setType(jvmDeclaredType); 
 mapping.setDataType(jvmParameterizedTypeReference); 
 mapping.setEDataType(genEnum.getEcoreEnum()); 

mapper.getToXcoreMapping(jvmDeclaredType).setXcoreElement(xEnum); 
 return jvmDeclaredType; 
 } 
</blockquote>
The problem you describe though sounds more like an issue with
org.eclipse.xtext.xbase.lib not being on the classpath or the
XtextResourceSet not being configured with classpath information... 
 
 
On 03/10/2011 6:21 AM, Balazs Molnar wrote:
<blockquote cite="mid:j6cc67$s7h$1@news.eclipse.org" type="cite">Hello,
 
 
Thanks. I have a problem using such enums in Xbase logical
expression. When testing for equality '==', I get this error:
 
Quote:
 
<blockquote type="cite">Couldn't resolve reference to
JvmIdentifiableElement '=='.
 
</blockquote>
 
 
 
 
</blockquote>
</body>
</html>

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731959 is a reply to message #731913]

Mon, 03 October 2011 14:47

Ed Merks

Messages: 33137
Registered: July 2009

Senior Member

I thought == works on all java.lang.Objects...

On 03/10/2011 6:22 AM, Christian Dietrich wrote:
> Hi this is correct since the == operation is not defined vom Enums
>
> ~Christian

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Re: Inferrer Enumeration type creation [message #731968 is a reply to message #731959]

Mon, 03 October 2011 15:04

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Yes, but java.lang.Object has to get (directly or indirectly) a supertype of the JvmEnumerationType. Otherwise org.eclipse.xtext.xbase.scoping.featurecalls.StaticMethodsFeatureForTypeProvider.getVisibleTypesContainingStaticMethods(JvmTypeReference) would not find anything.

~Christianb

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

Report message to a moderator

Re: Inferrer Enumeration type creation [message #732108 is a reply to message #731968]

Mon, 03 October 2011 22:43

Ed Merks

Messages: 33137
Registered: July 2009

Senior Member

Christian,

You're right! I had to fix that in Xcore to get == to work for
enumerations. It looks like I need to be careful that java.lang.Object
is always explicitly in the hierarchy (which is a bit surprising)...

On 03/10/2011 8:04 AM, Christian Dietrich wrote:
> Yes, but java.lang.Object has to get (directly or indirectly) a
> supertype of the JvmEnumerationType. Otherwise
> org.eclipse.xtext.xbase.scoping.featurecalls.StaticMethodsFeatureForTypeProvider.getVisibleTypesContainingStaticMethods(JvmTypeReference)
> would not find anything.
>
> ~Christianb

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Re: Inferrer Enumeration type creation [message #733332 is a reply to message #732108]

Tue, 04 October 2011 15:34

Balazs Molnar

Messages: 28
Registered: July 2009

Junior Member

Hello,

I had the problem of adding org.eclipse.xtext.xbase.lib already fixed in an earlier post following Christian's advise Smile

regards,
Balázs

Report message to a moderator

Re: Inferrer Enumeration type creation [message #733392 is a reply to message #733332]

Tue, 04 October 2011 15:46

Ed Merks

Messages: 33137
Registered: July 2009

Senior Member

Balázs,

I had to fix a problem with adding java.lang.Object as a base class for
root classes also following Christian's advice. He's very helpful!

On 04/10/2011 8:34 AM, Balazs Molnar wrote:
> Hello,
>
> I had the problem of adding org.eclipse.xtext.xbase.lib already fixed
> in an earlier post following Christian's advise :)
>
> regards,
> Balázs

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Previous Topic:	Reference a feature by another name
Next Topic:	Xtext hangs on multiple parentheses

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 20:40:08 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter