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