Section Header

    + name := VIEW_OBJECT[E];

    - comment := "Reflexivity view object.";

Section Public

General information.

- name:STRING_CONSTANT <- `FUCK`;

    - is_separate:BOOLEAN <-

    - is_expanded:BOOLEAN <-

    - is_natif_expanded:BOOLEAN <-

Data action.


    - forall_data action:BLOCK <-

    - forall_set_data action:BLOCK <-

    - has_data:BOOLEAN <-

Bit control access.


    - is_marked:BOOLEAN <-

    - is_free:BOOLEAN <-

    - is_non_mutable:BOOLEAN <-

Section MEMORY

MEMORY


    - set_mark <-
        Recurssive set marked bit

    - unset_mark <-
        Unset marked bit (non recurssive).

    - set_free <-

    - deep_clone:VIEW_OBJECT[E] <-

Section Public

Non mutable.


    - set_non_mutable <-
        Recurssive set non mutable bit.