Property validating

Hi,

Why when I change value of some property, the typesystem rules isn't restarts?

3 comments
Comment actions Permalink

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

0
Comment actions Permalink

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.

0
Comment actions Permalink

Oleg

TypeChecker is not in our public API, so you should not use it.

Cyril

0

Please sign in to leave a comment.