Eclipse Community Forums: TMF (Xtext) » Inferr 1. type parameter of inferredType( myExpression )

Help

Home

Home » Modeling » TMF (Xtext) » Inferr 1. type parameter of inferredType( myExpression )

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

Inferr 1. type parameter of inferredType( myExpression ) [message #1723044]

Thu, 11 February 2016 08:58

Ingo Meyer

Messages: 162
Registered: July 2009

Senior Member

Hi,

in my inferrer I need to set the first type parameter of an inferrerType as a method parameter. Is there a way to do this?
Example:
The inferred type of my expression will be: List<Integer>, so I need a parameter of type Integer. In the inferrer I just have the expression so I need to inferr: toParameter( it, 'paramName', inferrerType( myExpression ) ) which is wrong.
Something like this would be needed:
toParameter( it, 'paramName', inferrerType( myExpression, 0 ) ), where 0 will indicate to use the first generic argument of inferred type.

Any ideas or is an enhancement request needed?

Thanks
~Ingo

Report message to a moderator

Re: Inferr 1. type parameter of inferredType( myExpression ) [message #1723048 is a reply to message #1723044]

Thu, 11 February 2016 09:17

Stéphane Galland

Messages: 123
Registered: July 2014
Location: Belfort, France

Senior Member

Dear Ingo.

Have you tried something like the following code?

var typeReference = inferredType(myExpression)
var type = typeReference.type
var paramType = typeRef(Object)
if (type instanceof JvmTypeParameterDeclarator) {
    var pType = type.typeParameters.get(0)
    paramType = cloneWithProxis(typeRef(pType))
}
toParameter(it, 'paramName', paramType)

Stéphane.

Report message to a moderator

Re: Inferr 1. type parameter of inferredType( myExpression ) [message #1723050 is a reply to message #1723048]

Thu, 11 February 2016 09:41

Ingo Meyer

Messages: 162
Registered: July 2009

Senior Member

Hi Stephane,

thanks for the code. I tried it, but this will not wor as the call of "typeReference.type" fails with an exception "equivilent can not be computed". I think no method of inferredType() can be called while in the inferrer phase.
So I think this is a missing use case.

any other ideas?

Report message to a moderator

Re: Inferr 1. type parameter of inferredType( myExpression ) [message #1723126 is a reply to message #1723050]

Thu, 11 February 2016 21:12

Sven Efftinge

Messages: 83
Registered: January 2016
Location: Kiel

Member

Hi Ingo,

resolving expressions during model inference is not possible (or at least very problematic and will lead to surprising behavior). The reason is that the expressions are resolved against the outside structure, i.e. signatures and the like. So at the time of type inference and overload resolution all signatures must be finalized and no longer changed.
Therefore the method inferrerType(XExpression) really only creates a lazy placeholder which triggers the expression resolution when accessed. We would need to have another placeholder that will return the type argument instead of the type.

Sven

Report message to a moderator

Re: Inferr 1. type parameter of inferredType( myExpression ) [message #1723596 is a reply to message #1723126]

Tue, 16 February 2016 17:25

Ingo Meyer

Messages: 162
Registered: July 2009

Senior Member

Hi Sven,

thanks for the explanation. This matches what I thought so far. Is this then a feature request to introduce a construct like "inferrerType( myExpression, 0 ) ", where the index is the type parameter of the expression type? Or is that something which can be done by extending the existing xtext version by myself?

Report message to a moderator

Previous Topic:	Missing import statement in generated emf classes
Next Topic:	Load EObject with all cross-references from file path

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Sep 20 21:47:49 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter