RELAX NG implementation of Integers grammar.
Integers are part of high-level specific sorts.
They define the general-purpose integer sort and
related operators over elements of that sort.
File name: integers.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
June 2008 - L.H
Number is a built-in sort.
[
]
IntegerOperator is a built-in operator.
[
]
NumberConstant is a built-in constant.
[
]
A number is a built-in sort.
[
][
][
]
An integer type is a number.
A natural is a number.
A positive is a number.
Its content derives from the one of built-in operator.
[
]
It is a built-in operator. It defines known concrete operators.
[
][
][
][
][
][
][
][
][
]
Defines a constant number.
Must comply with the OCL constraint described in
Integers package figure.
[
][
]
Defines the 'less than' operator.
[
]
Defines the 'less than or equal' operator.
[
]
Defines the 'greater than' operator.
[
]
Defines the 'greater than or equal' operator.
[
]
Defines the arithmetic 'addition' operator.
[
]
Defines the arithmetic 'subtraction' operator.
[
]
Defines the arithmetic 'multiplication' operator.
[
]
Defines the arithmetic 'division' operator.
[
]
Defines the arithmetic 'modulo' operator.
[
]