Thanks a lot!
2. and 3. should be fixed.
About 1: invariant 3 checks that the tree does not contain a type under certain
circumstances, so it requires getType() to fail in a gracious manner. The
asserts that were in getType() are actually "relocated" to the element and
attribute invariants that are more precise.
Does it make sense?
Your team Zorba Coders is subscribed to branch lp:zorba.
Mailing list: https://launchpad.net/~zorba-coders
Post to : email@example.com
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp