|Re: Type inference across inferred jvm elements [message #903095 is a reply to message #903063]
||Tue, 21 August 2012 21:25
| Sebastian Zarnekow
Registered: July 2009
you may try to customize override
boolean) and set the return types if the preIndexing flag is set to false.
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:
> 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.
Powered by FUDForum
. Page generated in 0.01824 seconds