Eiffeldoc: EIFFEL_NODE_FACTORY

+

Point of view

All features

deferred class EIFFEL_NODE_FACTORY

Summary

Direct parents: Insert list: ANY
Known children: Inherit list: EIFFEL_DEFAULT_NODE_FACTORY, LOG_NODE_FACTORY

Overview

Features

{EIFFEL_GRAMMAR}

list (name: FIXED_STRING): EIFFEL_LIST_NODE
non_terminal (name: FIXED_STRING, names: TRAVERSABLE[FIXED_STRING]): EIFFEL_NON_TERMINAL_NODE
terminal (name: FIXED_STRING, image: EIFFEL_IMAGE): EIFFEL_TERMINAL_NODE

list (name: FIXED_STRING): EIFFEL_LIST_NODE

deferred function

{EIFFEL_GRAMMAR}

ensure

Result.name = name

non_terminal (name: FIXED_STRING, names: TRAVERSABLE[FIXED_STRING]): EIFFEL_NON_TERMINAL_NODE

deferred function

{EIFFEL_GRAMMAR}

require

not name.is_empty
names /= Void

ensure

Result.name = name

terminal (name: FIXED_STRING, image: EIFFEL_IMAGE): EIFFEL_TERMINAL_NODE

deferred function

{EIFFEL_GRAMMAR}

require

not name.is_empty
image /= Void

ensure

Result.name = name
Result.image.is_equal(image)