Resolving correct inferred variable [message #1163852] |
Thu, 31 October 2013 05:02  |
Eclipse User |
|
|
|
In my language I can write
flow(a=1) {
handle calls ClassA(a = a)
}
The topmost a is inferred to a field of type int and value 1.
handle is inferred to a field of type ClassA with name handle
ClassA has a method void setA(...)
In the typecomputer for the "calls" statement, I pass the inferred field "handle" to a call to
state.addExtensionToCurrentScope(handle)
The above code shall be translated to
handle.setA(this.a);
a.execute();
However I want it is translated to
this.a = this.a;
handle.execute();
Where would I have to plug in to make it inferred correctly?
Is this a scoping issue? Or does it have to be done during type computation?
Thanks for any hint.
Matthias
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.03522 seconds