4 Information requirements

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.

4.1 Required AM ARMs

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.

4.2 ARM entity definitions

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.

4.2.1 Function_parameter_value   

NOTE    The value function returns the numeric representation of a string.

• Parameters: a String_expression carrying a value of the string data type.
• Result: a number corresponding to the string representation.

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.

4.2.2 Int_value_function   

NOTE    The integer value function returns the integer number representation of a string.

• Parameters: a String_expression carrying a value of the string data type.
• Result: an integer number corresponding to the string representation.

EXPRESS specification:

*)
ENTITY Int_value_function
  SUBTYPE OF (Function_parameter_value);
END_ENTITY;
(*

4.2.3 Length_function   

NOTE    The length function returns the number of characters in a string.

• Parameters: a String_expression carrying a value of the string data type.
• Result: the returned value is the number of characters in the string and shall be greater than or equal to zero.

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.

4.2.4 Odd_function   

NOTE    The ODD function returns TRUE or FALSE depending on whether a number is odd or even.

• Parameters: a numeric expression carrying a value of the integer data type.
• Result: the function returns TRUE when the value of the parameters modulo 2 equals to 1, and FALSE otherwise.

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.

© ISO 2018 — All rights reserved