Application module: Numeric function | ISO/TS 10303-1346:2018-11(E) © ISO |
This clause specifies the information requirements for the Numeric function application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Numeric_function_arm schema and identifies the necessary external references.
The Numeric_function_arm represents all the possible numeric functions available. The elementary numeric functions are imported from the Elementary_function module. EXPRESS specification:
*)
SCHEMA Numeric_function_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Elementary_function_arm;
--
ISO/TS 10303-1527
USE FROM
Expression_arm;
--
ISO/TS 10303-1342
REFERENCE FROM
Numeric_expression_arm
--
ISO/TS 10303-1526
(Is_int_expr);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Elementary_function_arm ISO/TS 10303-1527 Expression_arm ISO/TS 10303-1342 Numeric_expression_arm ISO/TS 10303-1526
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
NOTE The value function returns the numeric representation of a string.
EXPRESS specification:
*)
ENTITY Function_parameter_value
SUPERTYPE OF (Int_value_function)
SUBTYPE OF (Numeric_expression, Unary_generic_expression);
SELF\Unary_generic_expression.operand : String_expression;
END_ENTITY;
(*
Attribute definitions:
operand: a String_expression containing either a real or integer literal.
NOTE The integer value function returns the integer number representation of a string.
EXPRESS specification:
*)
ENTITY Int_value_function
SUBTYPE OF (Function_parameter_value);
END_ENTITY;
(*
NOTE The length function returns the number of characters in a string.
EXPRESS specification:
*)
ENTITY Length_function
SUBTYPE OF (Numeric_expression, Unary_generic_expression);
SELF\Unary_generic_expression.operand : String_expression;
END_ENTITY;
(*
Attribute definitions:
operand: the string whose length is represented by the Length_function.
NOTE The ODD function returns TRUE or FALSE depending on whether a number is odd or even.
EXPRESS specification:
*)
ENTITY Odd_function
SUBTYPE OF (Unary_boolean_expression);
SELF\Unary_generic_expression.operand : Numeric_expression;
WHERE
WR1: Is_int_expr(SELF);
END_ENTITY;
(*
Attribute definitions:
operand: the Numeric_expression that represents the operand of the 'ODD' function.
Formal propositions:
WR1: the operand shall be a Numeric_expression for which the range is the same as the EXPRESS INTEGER data type.
*)
END_SCHEMA; -- Numeric_function_arm
(*
© ISO 2018 — All rights reserved