Application module: Elementary function | ISO/TS 10303-1527:2018-11(E) © ISO |
(*
ISO/TC 184/SC 4/WG 12 N7858 - ISO/TS 10303-1527 Elementary function - EXPRESS ARM
Supersedes
ISO/TC 184/SC 4/WG 12 N7223
*)
SCHEMA Elementary_function_arm;
USE FROM
Numeric_expression_arm;
-- ISO/TS 10303-1526
ENTITY Abs_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Acos_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Asin_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Atan_function
SUBTYPE OF (Binary_function_call);
END_ENTITY;
ENTITY Binary_function_call
ABSTRACT SUPERTYPE
OF (Atan_function)
SUBTYPE OF (Binary_numeric_expression);
END_ENTITY;
ENTITY Cos_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Exp_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Integer_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (Numeric_defined_function);
END_ENTITY;
ENTITY Log10_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Log2_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Log_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Maximum_function
SUBTYPE OF (Multiple_arity_function_call);
END_ENTITY;
ENTITY Minimum_function
SUBTYPE OF (Multiple_arity_function_call);
END_ENTITY;
ENTITY Minus_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Numeric_defined_function
ABSTRACT SUPERTYPE
OF (ONEOF (Integer_defined_function,
Real_defined_function))
SUBTYPE OF (Numeric_expression, Defined_function);
END_ENTITY;
ENTITY Real_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (Numeric_defined_function);
END_ENTITY;
ENTITY Sin_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Square_root_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Tan_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
ENTITY Unary_function_call
ABSTRACT SUPERTYPE
OF (ONEOF (Abs_function,
Minus_function,
Sin_function,
Cos_function,
Tan_function,
Asin_function,
Acos_function,
Exp_function,
Log_function,
Log2_function,
Log10_function,
Square_root_function))
SUBTYPE OF (Unary_numeric_expression);
END_ENTITY;
END_SCHEMA; -- Elementary_function_arm
© ISO 2018 — All rights reserved