+
Point of view
All features
expanded class UNDO_CODE_ENUM
Summary
Wrapper of enum undo_code defined in file /usr/include/readline/readline.h
Direct parents
Insert list: ENUM
Class invariant
Overview
Creation features
{ANY}
is_valid_value (a_value: INTEGER_32): BOOLEAN
effective function
{ANY}
Can a_value be used in a set_value feature call?
default_create
effective procedure
{ANY}
set_begin
effective procedure
{ANY}
set_delete
effective procedure
{ANY}
set_end_external
effective procedure
{ANY}
set_insert_external
effective procedure
{ANY}
is_begin: BOOLEAN
effective function
{ANY}
is_delete: BOOLEAN
effective function
{ANY}
is_end_external: BOOLEAN
effective function
{ANY}
is_insert_external: BOOLEAN
effective function
{ANY}
begin_low_level: INTEGER_32
delete_low_level: INTEGER_32
end_external_low_level: INTEGER_32
insert_external_low_level: INTEGER_32
is_valid_state: BOOLEAN
effective function
{ANY}
Is the value of the enumeration valid?
value: INTEGER_32
writable attribute
The current value of the enumeration.
set (a_value: INTEGER_32)
effective procedure
change_value (a_value: INTEGER_32)
effective procedure