ISO/TS 10303-1346:2018-11 Numeric function


Application module: Numeric function	ISO/TS 10303-1346:2018-11(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARMs
4.2 ARM entity definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N7870 - ISO/TS 10303-1346 Numeric function - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N7226
*)



SCHEMA Numeric_function_arm;


         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);


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;


ENTITY Int_value_function

           SUBTYPE OF (Function_parameter_value);

         
         END_ENTITY;


ENTITY Length_function

           SUBTYPE OF (Numeric_expression, Unary_generic_expression);

           SELF\Unary_generic_expression.operand : String_expression;

         
         END_ENTITY;


ENTITY Odd_function

           SUBTYPE OF (Unary_boolean_expression);

           SELF\Unary_generic_expression.operand : Numeric_expression;
WHERE

           WR1: Is_int_expr(SELF);

         
         END_ENTITY;



         END_SCHEMA;  -- Numeric_function_arm