Changes to the way named type invariants and the rational number type are represented in the IR
Updated the type assistant with utility functionality to handle numeric types
Updated the expression assistant with functionality to construct different types of 'is'-expressions
Updated the number dereference method handle rational numeric types
Improved IR generation of the 'is' expression
Updates to the test results. Now the values of quotes are also registered if the quote type only appears
Now the quote value is also registered when the quote type is IR generated
Added test to exercise generation of the 'is'-expression when type checked type is a named invariant type
Added a 'is'-expression transformation to handle the case where the checked type is a union type
Added test to exercise generation of the 'is'-expression for recursively defined named type invariants
Improved generation of the 'is'-expression when the checked type is a union type
Added test exercising generaiton of the 'is'-expression when the checked type is the union of nat and bool
Codegen cleanup
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Minor updates to test the results. Now (non-static) operation calls to a parent class are explicitly referred using the super keyword in the Java generated method.
Added test revealing problem with generation of parent class operation calls when they are overwritten in the subclass
Added "super" variable used to refer to invocations of super class methods
Updated test results related to generation of the call statement when the invoked operation is inherited
Added utility functionality to the statement assistant