Eiffeldoc: EIFFEL_DEFAULT_NODE_FACTORY

+

Point of view

All features

class EIFFEL_DEFAULT_NODE_FACTORY

Summary

Direct parents: Inherit list: EIFFEL_NODE_FACTORY

Overview

Creation features

make

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

{}

make

list (name: FIXED_STRING): EIFFEL_LIST_NODE

effective function

{EIFFEL_GRAMMAR}

ensure

Result.name = name

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

effective function

{EIFFEL_GRAMMAR}

require

not name.is_empty
names /= Void

ensure

Result.name = name

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

effective function

{EIFFEL_GRAMMAR}

require

not name.is_empty
image /= Void

ensure

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

make

effective procedure

{}