Overview Index

SDAI_DICTIONARY_SCHEMA (jsdai.dictionary)

ENTITY array_type
          SUBTYPE OF (aggregation_type);
          lower_index : OPTIONAL bound;
          upper_index : OPTIONAL bound;
          unique_flag : BOOLEAN;
          optional_flag : BOOLEAN;
END_ENTITY; -- array_type

Entity data types and their attributes

data_type
          name: express_id;
aggregation_type
          element_type: data_type;
array_type
          (OPT) lower_index: bound;
          (OPT) upper_index: bound;
          unique_flag: BOOLEAN;
          optional_flag: BOOLEAN;

Users

data_type
          aggregation_type.element_type
          function_definition.return_type
          map_or_view_input_parameter.extent
          parameter.parameter_type
aggregation_type
          attribute_mapping.target
                    base_type
          constant_definition.constant_value
                    base_type
          constant_definition.domain
                    base_type
          defined_type.domain
                    underlying_type
          dependent_view_definition.domain
                    base_type
          derived_attribute.domain
                    base_type
          explicit_attribute.domain
                    base_type
          view_attribute.domain
                    base_type
array_type

Global rules for this entity data type

          -

public interface EArray_type extends EAggregation_type

lower_index (explicit attribute)

          boolean testLower_index(EArray_type type)
          EBound getLower_index(EArray_type type)
          void setLower_index(EArray_type type, EBound value)
          void unsetLower_index(EArray_type type)

upper_index (explicit attribute)

          boolean testUpper_index(EArray_type type)
          EBound getUpper_index(EArray_type type)
          void setUpper_index(EArray_type type, EBound value)
          void unsetUpper_index(EArray_type type)

unique_flag (explicit attribute)

          boolean testUnique_flag(EArray_type type)
          boolean getUnique_flag(EArray_type type)
          void setUnique_flag(EArray_type type, boolean value)
          void unsetUnique_flag(EArray_type type)

optional_flag (explicit attribute)

          boolean testOptional_flag(EArray_type type)
          boolean getOptional_flag(EArray_type type)
          void setOptional_flag(EArray_type type, boolean value)
          void unsetOptional_flag(EArray_type type)

public class CArray_type implements EArray_type

          static EAttribute attributeLower_index(EArray_type type)
          static int usedinLower_index(EArray_type type, EBound instance, ASdaiModel domain, AArray_type result)
          static EAttribute attributeUpper_index(EArray_type type)
          static int usedinUpper_index(EArray_type type, EBound instance, ASdaiModel domain, AArray_type result)
          static EAttribute attributeUnique_flag(EArray_type type)
          static EAttribute attributeOptional_flag(EArray_type type)

public class AArray_type extends AEntity

          public EArray_type getByIndex(int index)
          public EArray_type getCurrentMember(SdaiIterator it)