Patrice Chalin

[Feature 738013] Added JML specifications. Refactoring and simplification in convertType and numberValue to make class more amenable to subclassing.

Added pure function isValidNumericTypeID() to be used in CNumericType

Added public invariant concerning expected relative ordering of TID_* values for numeric types. (This is in support of the informal comment that was already in the file.)

[Feature 738013] Minor updates to JML specs.

Making use of widening_primitive_conv_from in the definition of implicitlyCastTo (thus allowing the proper processing of \bigint).

[Feature 738013] Update to fail() comment.

[Feature 738013] Add method widening_primitive_conv_from(). Adapted isAlwaysAssignableTo() to make use of the new method. Change required to facilitate overriding isAlwaysAssignableTo() in subclasses.

[Feature 738013] Added accessors to token streams (like those in TokenStreamSelector).