Eiffeldoc: READLINE_CONTEXT

+

Point of view

All features

class READLINE_CONTEXT

Summary

Direct parents: Insert list: ANY

Class invariant

line /= Void

Overview

Creation features

make (a_line: STRING)

Features

line: TRAVERSABLE[STRING]
read (a_prompt: STRING): STRING

{}

make (a_line: STRING)
line_: FAST_ARRAY[STRING]

line: TRAVERSABLE[STRING]

effective function

read (a_prompt: STRING): STRING

effective function

make (a_line: STRING)

effective procedure

{}

require

a_line /= Void

line_: FAST_ARRAY[STRING]

writable attribute

{}