+
Point of view
All features
deferred class ANY
Summary
Project-wide universal properties. This class is an ancestor to all developer-written classes. By default all classes insert ANY.
Known children
Inherit list: PRINTABLE_REFERENCE, TUPLE
Insert list: ABSTRACT_BACKTRACKING_GLOBALS, ABSTRACT_BACKTRACKING_POOL, ABSTRACT_BACKTRACKING_POOLABLE, ABSTRACT_SORTER, AGGREGATOR, ANY_AVL_DICTIONARY_NODE, ANY_AVL_SET_NODE, ANY_COROUTINE_ITERATOR, ANY_HASHED_BIJECTIVE_DICTIONARY_NODE, ANY_HASHED_DICTIONARY_NODE, ANY_HASHED_SET_NODE, ANY_LINKED_LIST_NODE, ANY_REFERENCE, ANY_TWO_WAY_LINKED_LIST_NODE, ARGUMENTS, ARRAYED_COLLECTION_HANDLER, AT_EXIT, AUTOMATON, AUTOMATON_CONTEXT, AVL_CONSTANTS, BACKTRACKING_GLOBALS, BACKTRACKING_NODE, BACKTRACKING_NODE_FILL, BACKTRACKING_NODE_GLOBALS, BACKTRACKING_REGULAR_EXPRESSION_PATTERN, BASIC_DIRECTORY, BENCHMARK, BOOLEAN, CGI_AUTH_TYPE, CGI_CONTENT_LENGTH, CGI_CONTENT_TYPE, CGI_FORM, CGI_GATEWAY_INTERFACE, CGI_HANDLER, CGI_IO, CGI_PATH_INFO, CGI_PATH_TRANSLATED, CGI_QUERY_STRING, CGI_REMOTE_INFO, CGI_REQUEST_METHOD, CGI_RESPONSE, CGI_SCRIPT_NAME, CGI_UTILS, CHAIN_HANDLER, CHARACTER_CONSTANTS, CLARG_OPTIONS, CLOCK, COMMAND, COMMAND_LINE_ARGUMENT, COMMAND_LINE_ARGUMENT_FACTORY, COMPARABLE, COMPLEX_CONSTANTS, COMPLEX_MATH, COROUTINE, DIRECTORY_NOTATION, DIRECTORY_NOTATION_HANDLER, DISPOSABLE, EDC_ANY_FIELD, EDC_CONSTANTS, EDC_CRITERION, EDC_FIELD_OPTION, EDC_ORDERING, EDC_QUERY, EDC_QUERY_OPTION, EDC_RECORD, EDC_SESSION, EDC_SESSION_DATA, EDC_SESSION_FETCH, EIFFELTEST_TOOLS, EIFFEL_LEFT_ASSOCIATIVE_EXPRESSION, EIFFEL_NODE_FACTORY, EIFFEL_NODE_HANDLER, EIFFEL_POSITION, EVENTS_EXPECTER, EVENTS_SET, EVENTS_SET_HANDLER, EVENT_DESCRIPTOR, EXCEPTION, EXCEPTIONS, EXEC_STREAM, EZMQ, EZMQ_DATA, EZMQ_ENDPOINT, EZMQ_ENDPOINT_IMPL, EZMQ_HUB, EZMQ_POLLABLE, FACTORY, FILE, FILE_TOOLS, FILTER, FILTERABLE, FOREIGN_AGENT, FOREIGN_DLL, FOREIGN_DLL_HANDLER, FOREIGN_OBJECT, FOREIGN_PARAMETERS, FOREIGN_TYPE, FOREIGN_TYPES, GET_TEXT, HASHABLE, HOARD, HTML_ATTRIBUTE, HTML_ELEMENT, HTML_HANDLER, HTML_PARSER, HTTP_METHOD_HANDLER, HTTP_PROXY, I18N, INPUT_STREAM_TOOLS, INTERNALS, INTERNALS_HANDLER, ITERATOR, JSON_DATA, JSON_HANDLER, LOGGER, LOGGING, LOG_CONFIGURATION, LOG_FILE_OPTION, LOG_FILE_OPTIONS, LOG_LEVEL, LOG_LEVELS, LOOP_ITEM, LOOP_STACK, MAP_AGGREGATOR, MATH_CONSTANTS, MEMORY, MESSAGE_FORMATTER, MINI_PARSER_MEMORY, MOCK_ARGUMENT, MOCK_ARGUMENTS, MOCK_EXPECTATION, MOCK_MATCHER, MOCK_MATCHERS, MOCK_OBJECT, MOCK_SCENARIO, MOCK_TIMES, NATIVE_ARRAY_COLLECTOR, NCURSES_CHARACTERS, NCURSES_COLORS, NCURSES_HANDLER, NCURSES_KEYS, NCURSES_LIST_ITEM, NCURSES_MENU_ITEM, NCURSES_TOOLS, NETWORK_RESOURCE_VALIDITY, NUMBER_TOOLS, OBSERVABLE, OBSERVER, PACKRAT, PARSER_FACET, PARSER_IMAGE, PARSE_ACTION, PARSE_CONTEXT, PARSE_ERROR, PATH_JOINER, PIPE_FUNCTIONS, PLATFORM, PROCESS_FACTORY, PROCESS_GROUP, PROCESS_LAUNCH_INFO, PROCESS_RUNNER, PROCESS_WAIT, PROTOCOLS, QUEUE, RANDOM_NUMBER_GENERATOR, READLINE_CONTEXT, REAL_PRECISION, RECYCLABLE, RECYCLING_POOL, REDIRECTION_TOOLS, REGULAR_EXPRESSION, REGULAR_EXPRESSION_BUILDER, REGULAR_EXPRESSION_STRING_SCANNER, REPOSITORY, ROUTINE, SAFE_EQUAL, SERVER, SIGNAL_0, SIGNAL_1, SIGNAL_2, SIGNAL_3, SIGNAL_4, SINGLETON, SOCKET_HANDLER, SOCKET_PLUG_IN, STATE, STORABLE, STREAM_HANDLER, STRING_HANDLER, STRING_RECYCLING_ITEM, SYSTEM, TEMPLATE_LOOP_ITEM, TEMPLATE_RESOLVER, THREAD, THREAD_CONTEXT, TIME_EVENTS, TIME_HANDLER, TRISTATE_VALUES, UI_BRIDGE_ITEM, UI_CONNECT_ITEM, UI_ITEM, UNICODE_CHARACTERS, UNICODE_PARSER_POSITION, UNICODE_STRING_HANDLER, UNICODE_STRING_HELPER, URL_VALIDITY, VARIANT, VISITABLE, VISITOR, WAITPID_ACTION, XMLNS_CALLBACKS, XMLNS_VALIDATOR, XML_CALLBACKS, XML_DTD_MEMORY, XML_NAMESPACES, XML_PARSER_BUFFER, XML_VALIDATOR
Overview
Features
{}
Access:
{ANY}
  • generating_type: STRING
    Name of current object's generating type (type of which it is a direct instance).
  • generator: STRING
    Name of current object's generating class (base class of the type of which it is a direct instance).
Status report:
{ANY}
Comparison:
{ANY}
  • infix "~" (other: ANY): BOOLEAN
    Is other attached to an object considered equal to current object?
  • is_equal (other: ANY): BOOLEAN
    Is other attached to an object considered equal to current object?
  • standard_is_equal (other: ANY): BOOLEAN
    Are Current and other field-by-field identical?
Deep Comparison:
{ANY}
Duplication:
{ANY}
  • twin: ANY
    Return a new object with the dynamic type of Current.
  • copy (other: ANY)
    Update current object using fields of object attached to other, so as to yield equal objects.
  • immutable: BOOLEAN
    Is the object immutable?
  • standard_twin: ANY
    Return a new object with the dynamic type of Current.
  • standard_copy (other: ANY)
    Copy every field of other onto corresponding field of current object.
Deep Duplication:
{ANY}
  • deep_twin: ANY
    Return a new object with the dynamic type of Current.
Basic operations:
{ANY}
{}
Input and Output:
{}
Object Printing:
{}
Object Printing:
{ANY}
tagged_out management:
{}
Various useful tools:
{}
The Guru section:
{ANY}
The C Guru section:
{}
  • c_inline_h (c_code: STRING)
    Target must be Current and c_code must be a manifest string.
  • c_inline_c (c_code: STRING)
    Target must be Current and c_code must be a manifest string.
{}
Implementation of ANY (do not use directly):
{}
{INTERNALS_HANDLER}
{TYPED_INTERNALS}
{}
{}
default_create
effective procedure
{}
Default creation method.
manifest_creation
frozen
effective procedure
{}
This procedure is used as a placeholder in creation clauses.
generating_type: STRING
{ANY}
Name of current object's generating type (type of which it is a direct instance).
generator: STRING
{ANY}
Name of current object's generating class (base class of the type of which it is a direct instance).
same_dynamic_type (other: ANY): BOOLEAN
frozen
{ANY}
Is the dynamic type of Current identical to the dynamic type of other?
infix "~" (other: ANY): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
is_equal (other: ANY): BOOLEAN
{ANY}
Is other attached to an object considered equal to current object?
standard_is_equal (other: ANY): BOOLEAN
frozen
{ANY}
Are Current and other field-by-field identical?
is_deep_equal (other: ANY): BOOLEAN
frozen
{ANY}
Is Current recursively isomorph with other ?
twin: ANY
frozen
{ANY}
Return a new object with the dynamic type of Current.
copy (other: ANY)
{ANY}
Update current object using fields of object attached to other, so as to yield equal objects.
immutable: BOOLEAN
is False
constant attribute
{ANY}
Is the object immutable?
standard_twin: ANY
frozen
{ANY}
Return a new object with the dynamic type of Current.
standard_copy (other: ANY)
frozen
{ANY}
Copy every field of other onto corresponding field of current object.
deep_twin: ANY
frozen
{ANY}
Return a new object with the dynamic type of Current.
default: ANY
frozen
effective function
{ANY}
Default value of entities declared with the Current type.
is_default: BOOLEAN
effective function
{ANY}
Is the Current object in the default state?
default_pointer: POINTER
frozen
effective function
{}
Default value of type POINTER (avoid the need to write p.default for some p of type POINTER).
default_rescue
effective procedure
{}
Handle exception if no Rescue clause.
once function
{}
Handle to standard file setup.
std_input: STD_INPUT
once function
{}
The standard input stream
std_output: STD_OUTPUT
once function
{}
The standard output stream
std_error: STD_ERROR
once function
{}
The standard error stream
standard_streams: STANDARD_STREAMS
once function
{}
print (some: STRING)
frozen
effective procedure
{}
When some is Void, output "Void" on std_output, otherwise, output some on std_output.
print_on (file: OUTPUT_STREAM)
effective procedure
{ANY}
Default printing of current object on a file.
tagged_out: STRING
frozen
effective function
{ANY}
New string containing printable representation of current object, each field preceded by its attribute name, a colon and a space.
out: STRING
effective function
{ANY}
Create a new string containing terse printable representation of current object.
lazy_out: ABSTRACT_STRING
effective function
{ANY}
A newly allocate "lazy" representation of current object.
prefix "&": ABSTRACT_STRING
effective function
{ANY}
A newly allocate "lazy" representation of current object.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
fill_tagged_out_memory
effective procedure
{ANY}
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
tagged_out_memory_pool: STRING_RECYCLING_POOL
frozen
once function
{}
tagged_out_memories: STACK[STRING]
frozen
once function
{}
lock_tagged_out
frozen
effective procedure
{}
unlock_tagged_out
frozen
effective procedure
{}
tagged_out_locked: BOOLEAN
frozen
effective function
{}
tagged_out_memory: STRING
frozen
effective function
{}
tagged_out_memory_ref: REFERENCE[STRING]
frozen
once function
{}
crash
frozen
effective procedure
{}
Print Run Time Stack and then exit with exit_failure_code.
trace_switch (flag: BOOLEAN)
frozen
{}
May be used in combination with option "-sedb" of command compile_to_c (see compile_to_c documentation for details).
sedb_breakpoint
frozen
{}
May be used in combination with option "-sedb" of command compile_to_c to set a breakpoint for sedb, the Liberty Eiffel debugger.
breakpoint
frozen
effective procedure
{}
defer_breakpoint
frozen
effective procedure
{}
break_if_deferred
frozen
effective procedure
{}
die_with_code (code: INTEGER_32)
frozen
{}
Terminate execution with exit status code code.
exit_success_code: INTEGER_32
is 0
constant attribute
{}
exit_failure_code: INTEGER_32
is 1
constant attribute
{}
not_yet_implemented
effective procedure
{}
to_pointer: POINTER
{ANY}
The memory address of Current.
is_basic_expanded_type: BOOLEAN
frozen
{ANY}
The Result is True if the target static type is one of the following basic types: BOOLEAN, CHARACTER, INTEGER, REAL or POINTER.
object_size: INTEGER_32
frozen
{ANY}
Gives the size of the current object at first level only (pointed-to sub-object are not concerned).
c_inline_h (c_code: STRING)
frozen
{}
Target must be Current and c_code must be a manifest string.
c_inline_c (c_code: STRING)
frozen
{}
Target must be Current and c_code must be a manifest string.
do_at_exit (action: PROCEDURE[TUPLE])
frozen
effective procedure
{}
An action` to execute at exit.
print_run_time_stack
{}
Prints the run time stack.
se_atexit
effective procedure
{}
Called automatically at exit when either std_output is used or do_at_exit is called.
to_internals: INTERNALS
frozen
The effect of this built_in
  create {TYPED_INTERNALS[like Current]} Result.for_object(Current)
internals_can_be_retrieved
effective procedure
Called when the function set_can_be_retrieved is called on a TYPED_INTERNALS having built this object from_blank.
deferred_breakpoint_memory: REFERENCE[BOOLEAN]
frozen
once function
{}
se_fault
{}
raise a SEGFAULT signal