Section Header

    + name := VIEW_SLOT;

    - comment :="Reflexivity view slot.";

Section Public

General information.

- name:STRING_CONSTANT <- `FUCK`;
- is_shared:BOOLEAN <- `FUCK`;
TRUE if '-' style, FALSE else.
- is_data:BOOLEAN <- `FUCK`;
- is_method:BOOLEAN <- ! is_data;
- section:STRING_CONSTANT <- `FUCK`;

Result analysis.

- result:VIEW_OBJECT <-
Return the first result.
[
-? {upper_result = 0};
]
(
`FUCK`
);
- lower_result:INTEGER := 0;
- upper_result:INTEGER <-
- item_result idx:INTEGER :VIEW_OBJECT <-
[
-? {in_range lower_result to upper_result};
]
(
`FUCK`
);

Arguments access.

- lower_argument:INTEGER := 0;
- upper_argument:INTEGER <- `FUCK`;
- item_argument idx:INTEGER :VIEW_OBJECT <-
[
-? {in_range lower_argument to upper_argument};
]
(
`FUCK`
);

Call.

- call_with args:BLOCK :BLOCK <- `FUCK`;
- call:BLOCK <-
(
call_with NULL
);