| Type inference across inferred jvm elements [message #903063] |
Tue, 21 August 2012 15:14  |
Eclipse User |
|
|
|
Hi,
I have a model that uses Xbase and JvmTypes, from which I infer and
generate Java code. In the spirit if Xtend/Xbase, I would like to
relieve the user of my DSL from having to specify all types, and this
will mean inferring types across my model objects.
A bit simplified the model includes typed slots the values of which may
be derived from others. Suppose slots A and B has type Integer and slot
C is derived from slots A and B through the function [a, b | a + b].
Xbase can infer the types of the a and b arguments, and I would like to
infer the type of C from the return value of the function.
Where should I insert the code to perform this inference, so I'm sure to
be able to use Xbase's built-in type inference.
Hallvard
|
|
|
| Re: Type inference across inferred jvm elements [message #903095 is a reply to message #903063] |
Tue, 21 August 2012 17:25  |
| Eclipse User |
|
|
|
Hi Hallvard,
you may try to customize override
JvmModelAssociator.installDerivedState(DerivedStateAwareResource,
boolean) and set the return types if the preIndexing flag is set to false.
Regards,
Sebastian
--
Looking for professional support for Xtext, Xtend or Eclipse Modeling?
Go visit: http://xtext.itemis.com
Am 21.08.12 21:14, schrieb Hallvard Trætteberg:
> Hi,
>
> I have a model that uses Xbase and JvmTypes, from which I infer and
> generate Java code. In the spirit if Xtend/Xbase, I would like to
> relieve the user of my DSL from having to specify all types, and this
> will mean inferring types across my model objects.
>
> A bit simplified the model includes typed slots the values of which may
> be derived from others. Suppose slots A and B has type Integer and slot
> C is derived from slots A and B through the function [a, b | a + b].
> Xbase can infer the types of the a and b arguments, and I would like to
> infer the type of C from the return value of the function.
>
> Where should I insert the code to perform this inference, so I'm sure to
> be able to use Xbase's built-in type inference.
>
> Hallvard
|
|
|
Powered by
FUDForum. Page generated in 0.02845 seconds
Home