ENTITY generic_expression

(* SCHEMA structural_analysis_design; *)

  ENTITY generic_expression
    ABSTRACT SUPERTYPE OF (ONEOF (simple_generic_expression,
        unary_generic_expression,binary_generic_expression,
        multiple_arity_generic_expression));
    WHERE
      wr1: is_acyclic(SELF);
  END_ENTITY; -- generic_expression

Explicit Attributes

    No explicit attributes

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

    No supertypes

Subtypes

Entity generic_expression has the following subtypes:
    binary_generic_expression*     binary_numeric_expression     boolean_expression     comparison_equal     comparison_expression     div_expression     expression*     generic_literal     generic_variable     interval_expression     literal_number     minus_expression     mult_expression     multiple_arity_boolean_expression     multiple_arity_generic_expression*     multiple_arity_numeric_expression     numeric_expression     numeric_variable     plus_expression     real_literal     real_numeric_variable     simple_generic_expression*     simple_numeric_expression     unary_generic_expression*     unary_numeric_expression     variable
* - Immediate Subtypes

Referenced By

Entity generic_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 acyclic FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 interval_expression ENTITY generic_expression
 is_acyclic FUNCTION generic_expression
 multiple_arity_generic_expression ENTITY 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