ENTITY interval_expression

(* SCHEMA structural_analysis_design; *)

  ENTITY interval_expression
    SUBTYPE OF (boolean_expression, multiple_arity_generic_expression);
    DERIVE
      interval_low  : generic_expression := SELF\
                         multiple_arity_generic_expression.operands[1];
      interval_item : generic_expression := SELF\
                         multiple_arity_generic_expression.operands[2];
      interval_high : generic_expression := SELF\
                         multiple_arity_generic_expression.operands[3];
    WHERE
      wr1: (('STRUCTURAL_ANALYSIS_DESIGN.EXPRESSION' IN TYPEOF(
               interval_low)) AND ('STRUCTURAL_ANALYSIS_DESIGN.EXPRESSION' 
               IN TYPEOF(interval_item)) AND (
               'STRUCTURAL_ANALYSIS_DESIGN.EXPRESSION' IN TYPEOF(
               interval_high)));
      wr2: ((('STRUCTURAL_ANALYSIS_DESIGN.STRING_EXPRESSION' IN TYPEOF(
               SELF.interval_low)) AND (
               'STRUCTURAL_ANALYSIS_DESIGN.STRING_EXPRESSION' IN TYPEOF(
               SELF.interval_high)) AND (
               'STRUCTURAL_ANALYSIS_DESIGN.STRING_EXPRESSION' IN TYPEOF(
               SELF.interval_item))) OR ((
               'STRUCTURAL_ANALYSIS_DESIGN.STRING_EXPRESSION' IN TYPEOF(
               SELF.interval_low)) AND (
               'STRUCTURAL_ANALYSIS_DESIGN.NUMERIC_EXPRESSION' IN TYPEOF(
               SELF.interval_item)) AND (
               'STRUCTURAL_ANALYSIS_DESIGN.NUMERIC_EXPRESSION' IN TYPEOF(
               SELF.interval_high))));
  END_ENTITY; -- interval_expression

Explicit Attributes

Entity interval_expression has the following local and inherited explicit attributes:

Attribute	Type	Defined By
operands	LIST OF generic_expression (ENTITY)	multiple_arity_generic_expression

Derived Attributes

Entity interval_expression has the following local and inherited derived attributes:

Attribute	Type	Defined By
interval_low	generic_expression (ENTITY)	interval_expression
interval_item	generic_expression (ENTITY)	interval_expression
interval_high	generic_expression (ENTITY)	interval_expression

Inverse Attributes

No Inverse Attributes

Supertypes

Entity interval_expression inherits from the following supertypes:
  generic_expression
    expression
      boolean_expression
  generic_expression
    multiple_arity_generic_expression

Subtypes

No subtypes

Referenced By

Entity interval_expression and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
acyclic	FUNCTION	generic_expression
acyclic	FUNCTION	multiple_arity_generic_expression
binary_generic_expression	ENTITY	generic_expression
boolean_expression	ENTITY	interval_expression
comparison_expression	ENTITY	expression
expression	ENTITY	boolean_expression
generic_expression	ENTITY	multiple_arity_generic_expression
interval_expression	ENTITY	multiple_arity_generic_expression
interval_expression	ENTITY	generic_expression
is_acyclic	FUNCTION	generic_expression
is_sql_mappable	FUNCTION	expression
is_sql_mappable	FUNCTION	interval_expression
multiple_arity_boolean_expression	ENTITY	boolean_expression
multiple_arity_boolean_expression	ENTITY	multiple_arity_generic_expression
multiple_arity_generic_expression	ENTITY	generic_expression
multiple_arity_numeric_expression	ENTITY	multiple_arity_generic_expression
unary_generic_expression	ENTITY	generic_expression

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:15:06-04:00