Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » Generating JvmTypeReference for Generics
Generating JvmTypeReference for Generics [message #897165] Sun, 22 July 2012 20:35 Go to next message
Jens-Uwe Moeller is currently offline Jens-Uwe MoellerFriend
Messages: 12
Registered: March 2012
Location: Hamburg
Junior Member
I appreciate the features of Jvm-Generation in the final 2.3.0-Version even compared to the 2.3.0-M6 Pre-Release. Great job!

Even in the 5 simple steps you show how nice it is, to produce Generics:
In the DSL it looks like
friends: List<Person>

the DSL rule is
Property: name=ValidID ':' type=JvmTypeReference;

and the generation in the DomainmodelJvmModelInferer looks like
members += feature.toField(feature.name, feature.type)

In this case the generic comes as JvmTypeReference.

My question is: How I can explicitly generate such a type reference within the ModelInferrer? I tried different ways, but did not find one that works. Most times it results in a NullPointer-Exceptions.

1. My first trial:

val myTypeStr = "java.util.EnumSet<" + myEnumSimpleName + ">"
val myType = typeReferences.createTypeRef(typeReferences.findDeclaredType(myTypeStr, e))
var field = e.toField(myFieldName, myType)
members += field

giving in java

JvmType _findDeclaredType = DomainmodelJvmModelInferrer.this.typeReferences.findDeclaredType(myTypeStr, e);
final JvmParameterizedTypeReference myType = DomainmodelJvmModelInferrer.this.typeReferences.createTypeRef(_findDeclaredType);


The second line throws
java.lang.NullPointerException: type
		at org.eclipse.xtext.common.types.util.TypeReferences.createTypeRef(TypeReferences.java:100)


2. Then I tried a solution using "typeof" , that can be formulated in xtend

val myType = typesFactory.newTypeRef(typeof(java.lang.Integer))
var field = e.toField(myFieldName, myType)
members += field


This results in error

10   [Worker-4] WARN  org.eclipse.xtext.xbase.compiler.JvmModelGenerator  - type was null
java.lang.NullPointerException
	at org.eclipse.xtext.xbase.compiler.JvmModelGenerator.serialize(JvmModelGenerator.java:1422)
	at org.eclipse.xtext.xbase.compiler.JvmModelGenerator._generateMember(JvmModelGenerator.java:529)
	at org.eclipse.xtext.xbase.compiler.JvmModelGenerator.generateMember(JvmModelGenerator.java:1531)


A first idea saying with "typeof"

val myType = typesFactory.newTypeRef(typeof(java.util.List<java.lang.Integer>))
var field = e.toField(myFieldName, myType)
members += field


already throws errors in the xtend-Editor.

=> It seems to me, that typesFactory.newTypeRef does not do, what I expect it to do.

3. Creating types workes fine, when using the typesFactory.createJvm... -methods.

But for this task I do not know which one to choose. When looking at JmvModelGenerator it
seems to me that I should come to
generateTypeParameterDeclaration(JvmTypeParameterDeclarator, ITreeAppendable)

that meens, that I have to use
createJvmParameterizedTypeReference(). 

There are two special variables "arguments" and "types".
=> How to fill them?
(=> And more: How to use them with type constraints?)



There are two different situations, I need a solution for:

A.
I get a "type parameter" as a JvmTypeReference (e.g. Person) from my DSL and want
to apply it to a "generics type" (e.g. List<T>) getting the new "invoked" type
(e.g. List<Person>)

B.
I want to create methods or fields with invoked generics as part of a class or
enumeration. So in the ModelInferrer I act inside
acceptor.accept( e.toClass( e.fullyQualifiedName ) ).initializeLater [
or
acceptor.accept( e.toEnumerationType(enumQualName, null) ).initializeLater [

I wonder, wether the "type parameter" in that moment could be bound to a variable at all,
because everything should be initialized later.
=> If it is possible, how can I do it?

Thanks in advance for your help. Jens
Re: Generating JvmTypeReference for Generics [message #897166 is a reply to message #897165] Sun, 22 July 2012 21:18 Go to previous messageGo to next message
Christian Dietrich is currently offline Christian DietrichFriend
Messages: 13425
Registered: July 2009
Senior Member
Hmmm

did your try something like

class DomainmodelJvmModelInferrer extends AbstractModelInferrer {
	
	@Inject extension JvmTypesBuilder
	@Inject extension IQualifiedNameProvider
	@Inject TypeReferences typeReferences

	def dispatch infer(Entity entity, IJvmDeclaredTypeAcceptor acceptor, boolean prelinkingPhase) {
		acceptor.accept(
			entity.toClass( entity.fullyQualifiedName)
		).initializeLater [
			documentation = entity.documentation
			val JvmTypeParameter param = TypesFactory::eINSTANCE.createJvmTypeParameter
			param.setName("T")
			typeParameters += param
			members += entity.toMethod("test", typeReferences.createTypeRef(param)) []
			members+= entity.toField("dummy", entity.newTypeRef(typeof(List), typeReferences.createTypeRef(it)))
			
		]
	}
	
}


~Christian


Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/xtext/
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de
Re: Generating JvmTypeReference for Generics [message #897357 is a reply to message #897165] Mon, 23 July 2012 18:09 Go to previous message
Jens-Uwe Moeller is currently offline Jens-Uwe MoellerFriend
Messages: 12
Registered: March 2012
Location: Hamburg
Junior Member
Christian, thanks. I will try and give feedback within some days. Jens
Previous Topic:Order if content assist items
Next Topic:Regular Expression and newline
Goto Forum:
  


Current Time: Tue Apr 07 11:01:33 GMT 2020

Powered by FUDForum. Page generated in 0.02025 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top