ENTITY comparison_expression

(* SCHEMA integrated_cnc_schema; *)

ENTITY comparison_expression
  ABSTRACT SUPERTYPE OF (ONEOF (comparison_equal,comparison_greater,
      comparison_greater_equal,comparison_less,comparison_less_equal,
      comparison_not_equal))
  SUBTYPE OF (boolean_expression, binary_generic_expression);
    SELF\binary_generic_expression.operands : LIST [2:2] OF expression;
  WHERE
    WR1: (('INTEGRATED_CNC_SCHEMA.NUMERIC_EXPRESSION'
            IN TYPEOF(SELF\binary_generic_expression.operands[1])) AND
 	  ('INTEGRATED_CNC_SCHEMA.NUMERIC_EXPRESSION'
 	    IN TYPEOF(SELF\binary_generic_expression.operands[2]))
 	 OR
	 (('INTEGRATED_CNC_SCHEMA.BOOLEAN_EXPRESSION'
	    IN TYPEOF(SELF\binary_generic_expression.operands[1])) AND
	  ('INTEGRATED_CNC_SCHEMA.BOOLEAN_EXPRESSION'
	    IN TYPEOF(SELF\binary_generic_expression.operands[2]))));
END_ENTITY; -- 13584-20: iso13584_expressions_schema

Explicit Attributes

Entity comparison_expression has the following local and inherited explicit attributes:
AttributeTypeDefined By
 operandsLIST OF expression (ENTITY)comparison_expression(Redcl from binary_generic_expression)

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity comparison_expression inherits from the following supertypes:
  generic_expression
    expression
      boolean_expression
  generic_expression
    binary_generic_expression

Subtypes

Entity comparison_expression has the following subtypes:
    comparison_equal*
    comparison_greater*
    comparison_greater_equal*
    comparison_less*
    comparison_less_equal*
    comparison_not_equal*
* - Immediate Subtypes

Referenced By

Entity comparison_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 acyclic FUNCTION generic_expression
 acyclic FUNCTION binary_generic_expression
 binary_generic_expression ENTITY generic_expression
 boolean_expression ENTITY comparison_expression
 comparison_expression ENTITY expression
 comparison_expression ENTITY binary_generic_expression
 expression ENTITY boolean_expression
 generic_expression ENTITY binary_generic_expression
 is_acyclic FUNCTION generic_expression
 is_SQL_mappable FUNCTION comparison_expression
 is_SQL_mappable FUNCTION expression
 multiple_arity_boolean_expression ENTITY boolean_expression
 multiple_arity_generic_expression ENTITY generic_expression
 not_expression ENTITY boolean_expression
 unary_generic_expression ENTITY generic_expression
 xor_expression ENTITY binary_generic_expression
 xor_expression ENTITY boolean_expression


[Top Level Definitions]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:17-02:00