Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » Force relinking of XAbstractFeatureCall
Force relinking of XAbstractFeatureCall [message #1830043] Thu, 16 July 2020 07:26
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1778
Registered: July 2009
Location: Firenze, Italy
Senior Member

Premise: In one of my Xbase DSLs I'm using the XbaseInterpreter to collect on-the-fly runtime information to help the compiler (mainly for the type system and scoping). When something changes during the interpretation I clear the OnChangeEvictingCache so that computed types are discarded (and so are information about unresolved references) so that the scope provider is queried again to resolve proxies and the type computer is invoked again to compute types, using the new information collected during the interpretation.

Everything works as expected, the only problem is with XAbstractFeatureCall, in particular member feature calls, e.g., something like


With the above architecture, the type of exp is correctly computed again, and it might be completely different from the previously computed type (thanks to the new information collected by the interpreter), however, if "meth" has previously been linked during a previous type computation, it is not attempted to be linked/typed again. Thus, something that could now be unresolved (after typing again exp) is not detected.

Long story short: is there a mechanism to force feature scopes information to be recomputed during type computation?

thanks in advance

Previous Topic:Fuzzy grammar advice
Next Topic:post processing of the inferred meta model
Goto Forum:

Current Time: Sun May 16 06:48:28 GMT 2021

Powered by FUDForum. Page generated in 0.01517 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top