Frederic Rioux

The unary and binary promotion methods of CNumericType have been changed from class methods to instance methods. This change is necessary to support the new JML promotion process (that deals with \bigint and \real). Changes in support of feature #738013.

Added Lexer support for "bigint" and "real" (implementation of task 78319)

Preliminary work in support of implicit promotion to \bigint (part of feature #738013).

[Feature 738013]

[Feature 738013] Added factory methods for the creation of (a preliminary set) of arithmetic expressions. This will allow us to leave the Mjc grammar untouched while creating appropriate AST nodes (Mjc or Jml specific). Also refactored the unary and binary promote methods of CNumericType.

Added support for the "safe" arithmetic for the binary subtraction, division and multiplication.

[Feature 738013]

Minor changes to enable JMLb support in JML. Also, previously commented methods were permanently removed.