|Infer types for inferred jvm model [message #902481]
||Fri, 17 August 2012 21:05
| Hallvard Traetteberg
Registered: July 2009
Location: Trondheim, Norway
My DSL is a flow language where nodes are connected through typed ports.
A node may contain an XExpression and a Java operation is inferred and
generated with suitable parameter and return types.
Now I want as much as possible of the type information to be optional,
i.e. inferred, too, like Xbase does already. Ideally, I would like to
infer types through the whole graph, but I start with the return types
since they only require local information. When the inferrer infers a
method and lacks the return type, I call an injected ITypeProvider's
getType method on the body expression. However, it seems this is done
too early before the expressions are properly linked, because
getType(exprs) always returns null and in the debugger I see lots of
So the question is: At what point in the infer/link process can I infer
and add the missing type information, e.g. return and parameter types,
but possibly also other types in the inferred jvm model?
BTW, the use of the inferrer seems much improved in 2.3, thank you!
Powered by FUDForum
. Page generated in 0.02055 seconds