GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
HISTORY_ITERATOR
+
Point of view
All features
ANY
WRAPPER
WRAPPER_HANDLER
All features
class HISTORY_ITERATOR
Summary
top
Direct parents
Inherit list:
ITERATOR
Insert list:
HISTORY_EXTERNALS
Class invariant
top
generation_only_grows
Overview
top
Creation features
{
READ_LINE_HISTORY
}
make
(hist:
READ_LINE_HISTORY
)
Features
{
ANY
}
start
Positions the iterator to the first object in the aggregate to be traversed.
item
:
HISTORY_ENTRY
Returns the object at the current position in the sequence.
next
Positions the iterator to the next object in the sequence.
is_off
:
BOOLEAN
Returns True when there are no more objects in the sequence.
{
ANY
}
generation
:
INTEGER_32
iterable_generation
:
INTEGER_32
{}
history
:
READ_LINE_HISTORY
index
:
INTEGER_32
make
(hist:
READ_LINE_HISTORY
)
{
ANY
}
is_valid
:
BOOLEAN
Agent-based features:
{
ANY
}
for_each
(action:
PROCEDURE
[
TUPLE
[TUPLE 1[E_]]])
Apply
action
to every item of
Current
.
for_all
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
Do all items satisfy
test
?
exists
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
Does at least one item satisfy
test
?
aggregate
(action:
FUNCTION
[
TUPLE
[TUPLE 2[E_, E_], E_]], initial: E_): E_
Aggregate all the elements starting from the initial value.
Invariant on
generation` dynamics
{}
generation_for_invariant
:
INTEGER_32
generation_only_grows
:
BOOLEAN
External calls
{}
add_history
(argument_1:
POINTER
)
function add_history (in
/usr/include/readline/history.h
) add_history
add_history_time
(argument_1:
POINTER
)
function add_history_time (in
/usr/include/readline/history.h
) add_history_time
append_history
(argument_1:
INTEGER_32
, argument_2:
POINTER
):
INTEGER_32
function append_history (in
/usr/include/readline/history.h
) append_history
clear_history
function clear_history (in
/usr/include/readline/history.h
) clear_history
current_history
:
POINTER
function current_history (in
/usr/include/readline/history.h
) current_history
free_history_entry
(argument_1:
POINTER
):
POINTER
function free_history_entry (in
/usr/include/readline/history.h
) free_history_entry
get_history_event
(argument_1:
POINTER
, argument_2:
POINTER
, argument_3:
INTEGER_32
):
POINTER
function get_history_event (in
/usr/include/readline/history.h
) get_history_event
history_arg_extract
(argument_1:
INTEGER_32
, argument_2:
INTEGER_32
, argument_3:
POINTER
):
POINTER
function history_arg_extract (in
/usr/include/readline/history.h
) history_arg_extract
history_base
:
INTEGER_32
history_base
address_of_history_base
:
POINTER
Address of history_base
set_history_base
(a_value:
INTEGER_32
)
Set variable history_base value
history_comment_char
:
CHARACTER
history_comment_char
address_of_history_comment_char
:
POINTER
Address of history_comment_char
set_history_comment_char
(a_value:
CHARACTER
)
Set variable history_comment_char value
history_expand
(argument_1:
POINTER
, argument_2:
POINTER
):
INTEGER_32
function history_expand (in
/usr/include/readline/history.h
) history_expand
history_expansion_char
:
CHARACTER
history_expansion_char
address_of_history_expansion_char
:
POINTER
Address of history_expansion_char
set_history_expansion_char
(a_value:
CHARACTER
)
Set variable history_expansion_char value
history_get
(argument_1:
INTEGER_32
):
POINTER
function history_get (in
/usr/include/readline/history.h
) history_get
history_get_history_state
:
POINTER
function history_get_history_state (in
/usr/include/readline/history.h
) history_get_history_state
history_get_time
(argument_1:
POINTER
):
INTEGER_64
function history_get_time (in
/usr/include/readline/history.h
) history_get_time
history_inhibit_expansion_function
:
POINTER
history_inhibit_expansion_function
address_of_history_inhibit_expansion_function
:
POINTER
Address of history_inhibit_expansion_function
set_history_inhibit_expansion_function
(a_value:
POINTER
)
Set variable history_inhibit_expansion_function value
history_is_stifled
:
INTEGER_32
function history_is_stifled (in
/usr/include/readline/history.h
) history_is_stifled
history_length
:
INTEGER_32
history_length
address_of_history_length
:
POINTER
Address of history_length
set_history_length
(a_value:
INTEGER_32
)
Set variable history_length value
history_list
:
POINTER
function history_list (in
/usr/include/readline/history.h
) history_list
history_max_entries
:
INTEGER_32
history_max_entries
address_of_history_max_entries
:
POINTER
Address of history_max_entries
set_history_max_entries
(a_value:
INTEGER_32
)
Set variable history_max_entries value
history_no_expand_chars
:
POINTER
history_no_expand_chars
address_of_history_no_expand_chars
:
POINTER
Address of history_no_expand_chars
set_history_no_expand_chars
(a_value:
POINTER
)
Set variable history_no_expand_chars value
history_quotes_inhibit_expansion
:
INTEGER_32
history_quotes_inhibit_expansion
address_of_history_quotes_inhibit_expansion
:
POINTER
Address of history_quotes_inhibit_expansion
set_history_quotes_inhibit_expansion
(a_value:
INTEGER_32
)
Set variable history_quotes_inhibit_expansion value
history_search
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
function history_search (in
/usr/include/readline/history.h
) history_search
history_search_delimiter_chars
:
POINTER
history_search_delimiter_chars
address_of_history_search_delimiter_chars
:
POINTER
Address of history_search_delimiter_chars
set_history_search_delimiter_chars
(a_value:
POINTER
)
Set variable history_search_delimiter_chars value
history_search_pos
(argument_1:
POINTER
, argument_2:
INTEGER_32
, argument_3:
INTEGER_32
):
INTEGER_32
function history_search_pos (in
/usr/include/readline/history.h
) history_search_pos
history_search_prefix
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
function history_search_prefix (in
/usr/include/readline/history.h
) history_search_prefix
history_set_history_state
(argument_1:
POINTER
)
function history_set_history_state (in
/usr/include/readline/history.h
) history_set_history_state
history_set_pos
(argument_1:
INTEGER_32
):
INTEGER_32
function history_set_pos (in
/usr/include/readline/history.h
) history_set_pos
history_subst_char
:
CHARACTER
history_subst_char
address_of_history_subst_char
:
POINTER
Address of history_subst_char
set_history_subst_char
(a_value:
CHARACTER
)
Set variable history_subst_char value
history_tokenize
(argument_1:
POINTER
):
POINTER
function history_tokenize (in
/usr/include/readline/history.h
) history_tokenize
history_total_bytes
:
INTEGER_32
function history_total_bytes (in
/usr/include/readline/history.h
) history_total_bytes
history_truncate_file
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
function history_truncate_file (in
/usr/include/readline/history.h
) history_truncate_file
history_word_delimiters
:
POINTER
history_word_delimiters
address_of_history_word_delimiters
:
POINTER
Address of history_word_delimiters
set_history_word_delimiters
(a_value:
POINTER
)
Set variable history_word_delimiters value
history_write_timestamps
:
INTEGER_32
history_write_timestamps
address_of_history_write_timestamps
:
POINTER
Address of history_write_timestamps
set_history_write_timestamps
(a_value:
INTEGER_32
)
Set variable history_write_timestamps value
max_input_history
:
INTEGER_32
max_input_history
address_of_max_input_history
:
POINTER
Address of max_input_history
set_max_input_history
(a_value:
INTEGER_32
)
Set variable max_input_history value
next_history
:
POINTER
function next_history (in
/usr/include/readline/history.h
) next_history
previous_history
:
POINTER
function previous_history (in
/usr/include/readline/history.h
) previous_history
read_history
(argument_1:
POINTER
):
INTEGER_32
function read_history (in
/usr/include/readline/history.h
) read_history
read_history_range
(argument_1:
POINTER
, argument_2:
INTEGER_32
, argument_3:
INTEGER_32
):
INTEGER_32
function read_history_range (in
/usr/include/readline/history.h
) read_history_range
remove_history
(argument_1:
INTEGER_32
):
POINTER
function remove_history (in
/usr/include/readline/history.h
) remove_history
replace_history_entry
(argument_1:
INTEGER_32
, argument_2:
POINTER
, argument_3:
POINTER
):
POINTER
function replace_history_entry (in
/usr/include/readline/history.h
) replace_history_entry
stifle_history
(argument_1:
INTEGER_32
)
function stifle_history (in
/usr/include/readline/history.h
) stifle_history
unstifle_history
:
INTEGER_32
function unstifle_history (in
/usr/include/readline/history.h
) unstifle_history
using_history
function using_history (in
/usr/include/readline/history.h
) using_history
where_history
:
INTEGER_32
function where_history (in
/usr/include/readline/history.h
) where_history
write_history
(argument_1:
POINTER
):
INTEGER_32
function write_history (in
/usr/include/readline/history.h
) write_history
variable-size types
{
WRAPPER_HANDLER
}
long
:
INTEGER_64
a query with the same type of c 'long int'.
long_unsigned
:
NATURAL_64
a query with the same type of c 'long unsigned int'.
C type definitions (typedefs)
{
WRAPPER_HANDLER
}
comparison_fn_t
:
POINTER
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
timer_t
:
POINTER
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
clockid_t
:
INTEGER_32
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
time_t
:
INTEGER_64
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
clock_t
:
INTEGER_64
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
uintmax_t
:
NATURAL_64
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intmax_t
:
INTEGER_64
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uintptr_t
:
NATURAL_64
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intptr_t
:
INTEGER_64
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast64_t
:
NATURAL_64
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast32_t
:
NATURAL_64
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast16_t
:
NATURAL_64
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast8_t
:
CHARACTER
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast64_t
:
INTEGER_64
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast32_t
:
INTEGER_64
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast16_t
:
INTEGER_64
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast8_t
:
CHARACTER
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least64_t
:
NATURAL_64
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least32_t
:
NATURAL_32
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least16_t
:
NATURAL_16
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least8_t
:
CHARACTER
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least64_t
:
INTEGER_64
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least32_t
:
INTEGER_32
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least16_t
:
INTEGER_16
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least8_t
:
CHARACTER
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint64_t
:
NATURAL_64
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint32_t
:
NATURAL_32
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint16_t
:
NATURAL_16
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint8_t
:
CHARACTER
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int64_t
:
INTEGER_64
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int32_t
:
INTEGER_32
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int16_t
:
INTEGER_16
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int8_t
:
CHARACTER
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ssize_t
:
INTEGER_64
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
off64_t
:
INTEGER_64
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
off_t
:
INTEGER_64
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
size_t
:
NATURAL_64
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ptrdiff_t
:
INTEGER_64
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
error_t
:
INTEGER_32
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
start
effective procedure
{
ANY
}
top
Positions the iterator to the first object in the aggregate to be traversed.
ensure
is_valid
item
:
HISTORY_ENTRY
effective function
{
ANY
}
top
Returns the object at the current position in the sequence.
require
is_valid
not is_off
ensure
generation = old generation
is_valid
next
effective procedure
{
ANY
}
top
Positions the iterator to the next object in the sequence.
require
is_valid
not is_off
ensure
generation = old generation
is_valid
is_off
:
BOOLEAN
effective function
{
ANY
}
top
Returns True when there are no more objects in the sequence.
require
is_valid
ensure
generation = old generation
is_valid
generation
:
INTEGER_32
effective function
{
ANY
}
top
iterable_generation
:
INTEGER_32
writable attribute
{
ANY
}
top
history
:
READ_LINE_HISTORY
writable attribute
{}
top
index
:
INTEGER_32
writable attribute
{}
top
make
(hist:
READ_LINE_HISTORY
)
effective procedure
{}
top
is_valid
:
BOOLEAN
frozen
effective function
{
ANY
}
top
for_each
(action:
PROCEDURE
[
TUPLE
[TUPLE 1[E_]]])
effective procedure
{
ANY
}
top
Apply
action
to every item of
Current
.
See also
for_all
,
exists
,
aggregate
.
for_all
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
effective function
{
ANY
}
top
Do all items satisfy
test
?
See also
for_each
,
exists
,
aggregate
.
exists
(test:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]):
BOOLEAN
effective function
{
ANY
}
top
Does at least one item satisfy
test
?
See also
for_each
,
for_all
,
aggregate
.
aggregate
(action:
FUNCTION
[
TUPLE
[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{
ANY
}
top
Aggregate all the elements starting from the initial value.
See also
for_each
,
for_all
,
exists
.
generation_for_invariant
:
INTEGER_32
writable attribute
{}
top
generation_only_grows
:
BOOLEAN
effective function
{}
top
add_history
(argument_1:
POINTER
)
{}
top
function add_history (in
/usr/include/readline/history.h
) add_history
add_history_time
(argument_1:
POINTER
)
{}
top
function add_history_time (in
/usr/include/readline/history.h
) add_history_time
append_history
(argument_1:
INTEGER_32
, argument_2:
POINTER
):
INTEGER_32
{}
top
function append_history (in
/usr/include/readline/history.h
) append_history
clear_history
{}
top
function clear_history (in
/usr/include/readline/history.h
) clear_history
current_history
:
POINTER
{}
top
function current_history (in
/usr/include/readline/history.h
) current_history
free_history_entry
(argument_1:
POINTER
):
POINTER
{}
top
function free_history_entry (in
/usr/include/readline/history.h
) free_history_entry
get_history_event
(argument_1:
POINTER
, argument_2:
POINTER
, argument_3:
INTEGER_32
):
POINTER
{}
top
function get_history_event (in
/usr/include/readline/history.h
) get_history_event
history_arg_extract
(argument_1:
INTEGER_32
, argument_2:
INTEGER_32
, argument_3:
POINTER
):
POINTER
{}
top
function history_arg_extract (in
/usr/include/readline/history.h
) history_arg_extract
history_base
:
INTEGER_32
{}
top
history_base
address_of_history_base
:
POINTER
{}
top
Address of history_base
set_history_base
(a_value:
INTEGER_32
)
{}
top
Set variable history_base value
history_comment_char
:
CHARACTER
{}
top
history_comment_char
address_of_history_comment_char
:
POINTER
{}
top
Address of history_comment_char
set_history_comment_char
(a_value:
CHARACTER
)
{}
top
Set variable history_comment_char value
history_expand
(argument_1:
POINTER
, argument_2:
POINTER
):
INTEGER_32
{}
top
function history_expand (in
/usr/include/readline/history.h
) history_expand
history_expansion_char
:
CHARACTER
{}
top
history_expansion_char
address_of_history_expansion_char
:
POINTER
{}
top
Address of history_expansion_char
set_history_expansion_char
(a_value:
CHARACTER
)
{}
top
Set variable history_expansion_char value
history_get
(argument_1:
INTEGER_32
):
POINTER
{}
top
function history_get (in
/usr/include/readline/history.h
) history_get
history_get_history_state
:
POINTER
{}
top
function history_get_history_state (in
/usr/include/readline/history.h
) history_get_history_state
history_get_time
(argument_1:
POINTER
):
INTEGER_64
{}
top
function history_get_time (in
/usr/include/readline/history.h
) history_get_time
history_inhibit_expansion_function
:
POINTER
{}
top
history_inhibit_expansion_function
address_of_history_inhibit_expansion_function
:
POINTER
{}
top
Address of history_inhibit_expansion_function
set_history_inhibit_expansion_function
(a_value:
POINTER
)
{}
top
Set variable history_inhibit_expansion_function value
history_is_stifled
:
INTEGER_32
{}
top
function history_is_stifled (in
/usr/include/readline/history.h
) history_is_stifled
history_length
:
INTEGER_32
{}
top
history_length
address_of_history_length
:
POINTER
{}
top
Address of history_length
set_history_length
(a_value:
INTEGER_32
)
{}
top
Set variable history_length value
history_list
:
POINTER
{}
top
function history_list (in
/usr/include/readline/history.h
) history_list
history_max_entries
:
INTEGER_32
{}
top
history_max_entries
address_of_history_max_entries
:
POINTER
{}
top
Address of history_max_entries
set_history_max_entries
(a_value:
INTEGER_32
)
{}
top
Set variable history_max_entries value
history_no_expand_chars
:
POINTER
{}
top
history_no_expand_chars
address_of_history_no_expand_chars
:
POINTER
{}
top
Address of history_no_expand_chars
set_history_no_expand_chars
(a_value:
POINTER
)
{}
top
Set variable history_no_expand_chars value
history_quotes_inhibit_expansion
:
INTEGER_32
{}
top
history_quotes_inhibit_expansion
address_of_history_quotes_inhibit_expansion
:
POINTER
{}
top
Address of history_quotes_inhibit_expansion
set_history_quotes_inhibit_expansion
(a_value:
INTEGER_32
)
{}
top
Set variable history_quotes_inhibit_expansion value
history_search
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
{}
top
function history_search (in
/usr/include/readline/history.h
) history_search
history_search_delimiter_chars
:
POINTER
{}
top
history_search_delimiter_chars
address_of_history_search_delimiter_chars
:
POINTER
{}
top
Address of history_search_delimiter_chars
set_history_search_delimiter_chars
(a_value:
POINTER
)
{}
top
Set variable history_search_delimiter_chars value
history_search_pos
(argument_1:
POINTER
, argument_2:
INTEGER_32
, argument_3:
INTEGER_32
):
INTEGER_32
{}
top
function history_search_pos (in
/usr/include/readline/history.h
) history_search_pos
history_search_prefix
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
{}
top
function history_search_prefix (in
/usr/include/readline/history.h
) history_search_prefix
history_set_history_state
(argument_1:
POINTER
)
{}
top
function history_set_history_state (in
/usr/include/readline/history.h
) history_set_history_state
history_set_pos
(argument_1:
INTEGER_32
):
INTEGER_32
{}
top
function history_set_pos (in
/usr/include/readline/history.h
) history_set_pos
history_subst_char
:
CHARACTER
{}
top
history_subst_char
address_of_history_subst_char
:
POINTER
{}
top
Address of history_subst_char
set_history_subst_char
(a_value:
CHARACTER
)
{}
top
Set variable history_subst_char value
history_tokenize
(argument_1:
POINTER
):
POINTER
{}
top
function history_tokenize (in
/usr/include/readline/history.h
) history_tokenize
history_total_bytes
:
INTEGER_32
{}
top
function history_total_bytes (in
/usr/include/readline/history.h
) history_total_bytes
history_truncate_file
(argument_1:
POINTER
, argument_2:
INTEGER_32
):
INTEGER_32
{}
top
function history_truncate_file (in
/usr/include/readline/history.h
) history_truncate_file
history_word_delimiters
:
POINTER
{}
top
history_word_delimiters
address_of_history_word_delimiters
:
POINTER
{}
top
Address of history_word_delimiters
set_history_word_delimiters
(a_value:
POINTER
)
{}
top
Set variable history_word_delimiters value
history_write_timestamps
:
INTEGER_32
{}
top
history_write_timestamps
address_of_history_write_timestamps
:
POINTER
{}
top
Address of history_write_timestamps
set_history_write_timestamps
(a_value:
INTEGER_32
)
{}
top
Set variable history_write_timestamps value
max_input_history
:
INTEGER_32
{}
top
max_input_history
address_of_max_input_history
:
POINTER
{}
top
Address of max_input_history
set_max_input_history
(a_value:
INTEGER_32
)
{}
top
Set variable max_input_history value
next_history
:
POINTER
{}
top
function next_history (in
/usr/include/readline/history.h
) next_history
previous_history
:
POINTER
{}
top
function previous_history (in
/usr/include/readline/history.h
) previous_history
read_history
(argument_1:
POINTER
):
INTEGER_32
{}
top
function read_history (in
/usr/include/readline/history.h
) read_history
read_history_range
(argument_1:
POINTER
, argument_2:
INTEGER_32
, argument_3:
INTEGER_32
):
INTEGER_32
{}
top
function read_history_range (in
/usr/include/readline/history.h
) read_history_range
remove_history
(argument_1:
INTEGER_32
):
POINTER
{}
top
function remove_history (in
/usr/include/readline/history.h
) remove_history
replace_history_entry
(argument_1:
INTEGER_32
, argument_2:
POINTER
, argument_3:
POINTER
):
POINTER
{}
top
function replace_history_entry (in
/usr/include/readline/history.h
) replace_history_entry
stifle_history
(argument_1:
INTEGER_32
)
{}
top
function stifle_history (in
/usr/include/readline/history.h
) stifle_history
unstifle_history
:
INTEGER_32
{}
top
function unstifle_history (in
/usr/include/readline/history.h
) unstifle_history
using_history
{}
top
function using_history (in
/usr/include/readline/history.h
) using_history
where_history
:
INTEGER_32
{}
top
function where_history (in
/usr/include/readline/history.h
) where_history
write_history
(argument_1:
POINTER
):
INTEGER_32
{}
top
function write_history (in
/usr/include/readline/history.h
) write_history
long
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
a query with the same type of c 'long int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long'
long_unsigned
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
a query with the same type of c 'long unsigned int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long_unsigned'
comparison_fn_t
:
POINTER
effective function
{
WRAPPER_HANDLER
}
top
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
Result.is_default
timer_t
:
POINTER
effective function
{
WRAPPER_HANDLER
}
top
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
clockid_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
time_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
clock_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uintmax_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
intmax_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uintptr_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
intptr_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast32_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast16_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast32_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast16_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least32_t
:
NATURAL_32
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least16_t
:
NATURAL_16
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least32_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least16_t
:
INTEGER_16
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint32_t
:
NATURAL_32
effective function
{
WRAPPER_HANDLER
}
top
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint16_t
:
NATURAL_16
effective function
{
WRAPPER_HANDLER
}
top
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int32_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int16_t
:
INTEGER_16
effective function
{
WRAPPER_HANDLER
}
top
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
ssize_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
off64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
Result.is_default
off_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
Result.is_default
size_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
Result.is_default
ptrdiff_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
error_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
ensure
Result.is_default