INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

cluster: ve_api_common
class VEAPI_FULL_CLASS_DSC
creation

make
feature -- Queries

flags: BIT 32

path: STRING

features: ARRAY [VEAPI_FEATURE_DSC]

inh_features: ARRAY [VEAPI_FEATURE_DSC]

creators: ARRAY [VEAPI_FEATURE_DSC]

parents: ARRAY [VEAPI_PARENT_DSC]

ancestors: ARRAY [VEAPI_CLASS_DSC]

descendants: ARRAY [VEAPI_CLASS_DSC]

constraint: ARRAY [VEAPI_FORMAL_GENERIC_DSC]

factual_generics: ARRAY [VEAPI_TYPE_DSC]

is_deferred: BOOLEAN

is_expanded: BOOLEAN

is_template: BOOLEAN

is_instantination: BOOLEAN

is_separate: BOOLEAN
feature -- Operations

make (path_: STRING; features_: ARRAY [VEAPI_FEATURE_DSC]; inh_features_: ARRAY [VEAPI_FEATURE_DSC]; creators_: ARRAY [VEAPI_FEATURE_DSC]; parents_: ARRAY [VEAPI_PARENT_DSC]; ancestors_: ARRAY [VEAPI_CLASS_DSC]; descendants_: ARRAY [VEAPI_CLASS_DSC]; constraint_: ARRAY [VEAPI_FORMAL_GENERIC_DSC]; fg: ARRAY [VEAPI_TYPE_DSC])

set_flags (def, exp, fg, sep: BOOLEAN)
end -- class VEAPI_FULL_CLASS_DSC

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES