Eiffeldoc: BACKTRACKING_NODE_FILL

+

Point of view

All features

deferred class BACKTRACKING_NODE_FILL

Summary

Direct parents: Insert list: ANY
Known children: Insert list: BACKTRACKING_NODE_BINARY, BACKTRACKING_NODE_CUT, BACKTRACKING_NODE_CUT_AND_FALSE, BACKTRACKING_NODE_FALSE, BACKTRACKING_NODE_LIST, BACKTRACKING_NODE_TRUE, BACKTRACKING_NODE_UNARY, BACKTRACKING_NODE_UNDER_CUT_POINT, XML_DTD_ANY_NODE, XML_DTD_ELEMENT, XML_DTD_EMPTY_NODE, XML_DTD_END_NODE, XML_DTD_PCDATA_NODE

Overview

Features

fill_tagged_out_memory

Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.

{}

fill_tagged_out_memory_flag: BOOLEAN
do_fill_tagged_out_memory

fill_tagged_out_memory

effective procedure

Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.

require

locked: tagged_out_locked

ensure

still_locked: tagged_out_locked

fill_tagged_out_memory_flag: BOOLEAN

writable attribute

{}

do_fill_tagged_out_memory

deferred procedure

{}