Eiffeldoc: REPOSITORY_LAYOUT

+

Point of view

All features

class REPOSITORY_LAYOUT

Summary

Used by the update engine of REPOSITORY_IMPL to ensure correct object references and cycles handling.

Direct parents: Insert list: INTERNALS_HANDLER, RECYCLABLE

Class invariant

has_kind: kind /= Void
solved_internals_coherence: not solved and internals_memory /= Void implies internals_memory.object_can_be_modified
reference_has_ref: kind.is_equal("reference") implies (ref > 0 or trans_ref /= Void)
reference_is_solved: kind.is_equal("reference") and internals_set implies solved
reference_dont_have_layouts: kind.is_equal("reference") implies layouts.is_empty
transient_or_ref: trans_ref /= Void implies ref = 0
assigned_are_layouts: assigned.for_all(layouts.has())
coherence: solved implies internals_set

Overview

Creation features

{REPOSITORY_IMPL}

make

Features

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

type: STRING

data type, if useful
capacity: INTEGER_32

for native arrays only
ref: INTEGER_32

object reference, for reference objects only
trans_ref: STRING

object transient reference, for reference objects only
name: STRING

object name
value: STRING

object value, for basic types only
layouts: AVL_DICTIONARY[REPOSITORY_LAYOUT, STRING]

child layouts
assigned: HASHED_SET[STRING]

each layout for which the INTERNALS object was assigned
solved: BOOLEAN
solve (a_solver: FUNCTION[TUPLE 1[INTEGER_32], INTERNALS]): INTERNALS

{REPOSITORY_LAYOUT}

internals_set: BOOLEAN

True when internals_memory was set

{}

internals_memory: INTERNALS
internals (a_solver: FUNCTION[TUPLE 1[INTEGER_32], INTERNALS]): INTERNALS

{REPOSITORY_IMPL}

kind: STRING

The layout kind.
is_clear: BOOLEAN
set_kind (a_kind: STRING)
set_type (a_type: STRING)
set_capacity (a_capacity: INTEGER_32)
set_ref (a_ref: INTEGER_32)
set_trans_ref (a_trans_ref: STRING)
set_name (a_name: STRING)
set_value (a_value: STRING)
add_layout (a_layout: REPOSITORY_LAYOUT)

{RECYCLING_POOL}

recycle

Do whatever needs to be done to free resources or recycle other objects when recycling this one

{}

make
type_memory: STRING
trans_ref_memory: STRING
name_memory: STRING
value_memory: STRING

{}

valid_generating_type_for_internals (type: STRING): BOOLEAN
internals_from_generating_type (type: STRING): INTERNALS
valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN
native_array_internals_from_generating_type (type: STRING, capacity: INTEGER_32): INTERNALS

type: STRING

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

data type, if useful

capacity: INTEGER_32

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

for native arrays only

ref: INTEGER_32

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

object reference, for reference objects only

trans_ref: STRING

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

object transient reference, for reference objects only

name: STRING

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

object name

value: STRING

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

object value, for basic types only

layouts: AVL_DICTIONARY[REPOSITORY_LAYOUT, STRING]

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

child layouts

assigned: HASHED_SET[STRING]

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

each layout for which the INTERNALS object was assigned

solved: BOOLEAN

writable attribute

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

solve (a_solver: FUNCTION[TUPLE 1[INTEGER_32], INTERNALS]): INTERNALS

effective function

{REPOSITORY_IMPL, REPOSITORY_LAYOUT}

internals_set: BOOLEAN

writable attribute

{REPOSITORY_LAYOUT}

True when internals_memory was set

internals_memory: INTERNALS

writable attribute

{}

internals (a_solver: FUNCTION[TUPLE 1[INTEGER_32], INTERNALS]): INTERNALS

effective function

{}

kind: STRING

writable attribute

{REPOSITORY_IMPL}

The layout kind.

is_clear: BOOLEAN

effective function

{REPOSITORY_IMPL}

set_kind (a_kind: STRING)

effective procedure

{REPOSITORY_IMPL}

set_type (a_type: STRING)

effective procedure

{REPOSITORY_IMPL}

set_capacity (a_capacity: INTEGER_32)

effective procedure

{REPOSITORY_IMPL}

set_ref (a_ref: INTEGER_32)

effective procedure

{REPOSITORY_IMPL}

set_trans_ref (a_trans_ref: STRING)

effective procedure

{REPOSITORY_IMPL}

set_name (a_name: STRING)

effective procedure

{REPOSITORY_IMPL}

set_value (a_value: STRING)

effective procedure

{REPOSITORY_IMPL}

add_layout (a_layout: REPOSITORY_LAYOUT)

effective procedure

{REPOSITORY_IMPL}

recycle

effective procedure

{RECYCLING_POOL}

Do whatever needs to be done to free resources or recycle other objects when recycling this one

make

effective procedure

{}

type_memory: STRING

writable attribute

{}

trans_ref_memory: STRING

writable attribute

{}

name_memory: STRING

writable attribute

{}

value_memory: STRING

writable attribute

{}

valid_generating_type_for_internals (type: STRING): BOOLEAN

frozen

{}

internals_from_generating_type (type: STRING): INTERNALS

frozen

{}

valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN

frozen

{}

native_array_internals_from_generating_type (type: STRING, capacity: INTEGER_32): INTERNALS

frozen

{}