ENTITY substring_expression

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
ENTITY substring_expression
SUBTYPE OF (string_expression, multiple_arity_generic_expression);
DERIVE
  operand : generic_expression := SELF\multiple_arity_generic_expression.
  operands[1];
  index1 : generic_expression := SELF\multiple_arity_generic_expression.
  operands[2];
  index2 : generic_expression := SELF\multiple_arity_generic_expression.
  operands[3];
WHERE
  wr1 : (
    'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.STRING_EXPRESSION' IN 
    TYPEOF(operand)) AND (
    'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.NUMERIC_EXPRESSION' IN
     TYPEOF(index1)) AND (
    'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.NUMERIC_EXPRESSION' IN
     TYPEOF(index2));
  wr2 : SIZEOF(SELF\multiple_arity_generic_expression.operands) = 3;
  wr3 : is_int_expr(index1);
  wr4 : is_int_expr(index2);
END_ENTITY;

Explicit Attributes

Entity substring_expression has the following local and inherited explicit attributes:
AttributeTypeDefined By
 operandsLIST OF generic_expression (ENTITY)multiple_arity_generic_expression

Derived Attributes

Entity substring_expression has the following local and inherited derived attributes:
AttributeTypeDefined By
 operandgeneric_expression (ENTITY)substring_expression
 index1generic_expression (ENTITY)substring_expression
 index2generic_expression (ENTITY)substring_expression

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity substring_expression inherits from the following supertypes:
  generic_expression
    expression
      string_expression
  generic_expression
    multiple_arity_generic_expression

Subtypes

    No subtypes

Referenced By

Entity substring_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_expression
 abstracted_expression_function ENTITY multiple_arity_generic_expression
 acyclic FUNCTION generic_expression
 acyclic FUNCTION multiple_arity_generic_expression
 all_members_of_es FUNCTION generic_expression
 basic_sparse_matrix ENTITY multiple_arity_generic_expression
 binary_generic_expression ENTITY generic_expression
 comparison_expression ENTITY expression
 concat_expression ENTITY multiple_arity_generic_expression
 concat_expression ENTITY string_expression
 convert_to_operand FUNCTION generic_expression
 convert_to_operands FUNCTION generic_expression
 convert_to_operands_prcmfn FUNCTION generic_expression
 definite_integral_expression ENTITY multiple_arity_generic_expression
 definite_integral_expression ENTITY generic_expression
 definite_integral_expr_check FUNCTION generic_expression
 expression ENTITY string_expression
 expression_denoted_function ENTITY generic_expression
 expression_is_constant FUNCTION generic_expression
 format_function ENTITY generic_expression
 free_variables_of FUNCTION generic_expression
 free_variables_of FUNCTION multiple_arity_generic_expression
 function_applicability FUNCTION generic_expression
 function_application ENTITY generic_expression
 function_application ENTITY multiple_arity_generic_expression
 generic_expression ENTITY multiple_arity_generic_expression
 has_values_space FUNCTION generic_expression
 index_expression ENTITY generic_expression
 interval_expression ENTITY multiple_arity_generic_expression
 interval_expression ENTITY generic_expression
 is_acyclic FUNCTION generic_expression
 is_SQL_mappable FUNCTION expression
 length_function ENTITY string_expression
 make_atom_based_literal FUNCTION generic_expression
 make_binary_literal FUNCTION generic_expression
 make_boolean_literal FUNCTION expression
 make_boolean_literal FUNCTION generic_expression
 make_cartesian_complex_number_region FUNCTION generic_expression
 make_complex_number_literal FUNCTION generic_expression
 make_elementary_function FUNCTION generic_expression
 make_elementary_space FUNCTION generic_expression
 make_extended_tuple_space FUNCTION generic_expression
 make_finite_integer_interval FUNCTION generic_expression
 make_finite_real_interval FUNCTION generic_expression
 make_finite_space FUNCTION generic_expression
 make_function_application FUNCTION multiple_arity_generic_expression
 make_function_application FUNCTION generic_expression
 make_function_space FUNCTION generic_expression
 make_int_literal FUNCTION expression
 make_int_literal FUNCTION generic_expression
 make_listed_product_space FUNCTION generic_expression
 make_logical_literal FUNCTION generic_expression
 make_maths_enum_literal FUNCTION generic_expression
 make_maths_tuple_literal FUNCTION generic_expression
 make_parallel_composed_function FUNCTION generic_expression
 make_parallel_composed_function FUNCTION multiple_arity_generic_expression
 make_polar_complex_number_region FUNCTION generic_expression
 make_real_interval_from_min FUNCTION generic_expression
 make_real_interval_to_max FUNCTION generic_expression
 make_real_literal FUNCTION expression
 make_real_literal FUNCTION generic_expression
 make_string_literal FUNCTION generic_expression
 make_string_literal FUNCTION string_expression
 make_string_literal FUNCTION expression
 make_uniform_product_space FUNCTION generic_expression
 maths_expression SELECT generic_expression
 maths_value SELECT generic_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
 parallel_composed_function ENTITY multiple_arity_generic_expression
 parallel_composed_function ENTITY generic_expression
 partial_derivative_expression ENTITY generic_expression
 quantifier_expression ENTITY multiple_arity_generic_expression
 series_composed_function ENTITY multiple_arity_generic_expression
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION generic_expression
 simplify_generic_expression FUNCTION multiple_arity_generic_expression
 string_expression ENTITY substring_expression
 substitute FUNCTION generic_expression
 substitute FUNCTION multiple_arity_generic_expression
 substring_expression ENTITY generic_expression
 substring_expression ENTITY multiple_arity_generic_expression
 unary_generic_expression ENTITY generic_expression
 values_space_of FUNCTION generic_expression
 value_function ENTITY string_expression


[Top Level Definitions] [Exit]

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