FUNCTION stripped_typeof

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
FUNCTION stripped_typeof(arg : GENERIC : g) : SET OF STRING;
LOCAL
  types : SET OF STRING := TYPEOF(arg);
  stypes : SET OF STRING := [];
  n : INTEGER := LENGTH(schema_prefix);
END_LOCAL;
  REPEAT i := 1 TO SIZEOF(types);
    IF types[i][1:n] = schema_prefix THEN
      stypes := stypes + [types[i][n + 1:LENGTH(types[i])]];
    ELSE
      stypes := stypes + [types[i]];
    END_IF;
  END_REPEAT;
  RETURN (stypes);
END_FUNCTION;

Referenced By

Defintion stripped_typeof is references by the following definitions:

Definition	Type
all_members_of_es	FUNCTION
any_space_satisfies	FUNCTION
assoc_product_space	FUNCTION
compatible_complex_number_regions	FUNCTION
compatible_spaces	FUNCTION
convert_to_operand	FUNCTION
definite_integral_expr_check	FUNCTION
derive_function_domain	FUNCTION
derive_function_range	FUNCTION
domain_from	FUNCTION
drop_numeric_constraints	FUNCTION
equal_maths_spaces	FUNCTION
equal_maths_values	FUNCTION
free_variables_of	FUNCTION
function_is_2d_table	FUNCTION
has_values_space	FUNCTION
maths_value	SELECT
member_of	FUNCTION
number_tuple_subspace_check	FUNCTION
real_interval	SELECT
simplify_function_application	FUNCTION
simplify_generic_expression	FUNCTION
simplify_maths_space	FUNCTION
simplify_maths_value	FUNCTION
singleton_member_of	FUNCTION
space_is_singleton	FUNCTION
subspace_of	FUNCTION
subspace_of_es	FUNCTION
substitute	FUNCTION

[Top Level Definitions] [Exit]

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