I found TypeChecker class. I think it's possible to use this class for "revalidating" types, but I don't know how, becase I can't find any documentation about it. May be someone says what are the "major methods" of this class and their description or even if their parameters names :-)
typesystem rules are by design independent from properties values. if type of some node depends on a certain property it means you should rethink your language's design - for instance, replace that property with a child.
however, non-typesystem rules (meant for some additional checking when all types are calculated) of course may depend on properties (e.g. rule which checkes whether StringLiteral in baseLanguage is well-formed) and such rules recheck automatically on appropriate properties' changes.
I found TypeChecker class. I think it's possible to use this class for "revalidating" types, but I don't know how, becase I can't find any documentation about it. May be someone says what are the "major methods" of this class and their description or even if their parameters names :-)
Best Regards,
Oleg
Hi Oleg,
typesystem rules are by design independent from properties values. if type of some node depends on a certain property it means you should rethink your language's design - for instance, replace that property with a child.
however, non-typesystem rules (meant for some additional checking when all types are calculated) of course may depend on properties (e.g. rule which checkes whether StringLiteral in baseLanguage is well-formed) and such rules recheck automatically on appropriate properties' changes.
Cyril.
Oleg
TypeChecker is not in our public API, so you should not use it.
Cyril