+
Point of view
All features
deferred class ANY
Summary
Overview
features
Access:
  • 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:
Comparison:
Deep Comparison:
Duplication:
  • 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.
  • 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:
  • deep_twin: ANY
    Return a new object with the dynamic type of Current.
Basic operations:
  • default: ANY
    Default value of entities declared with the Current type.
  • is_default: BOOLEAN
    Is the Current object in the default state?
Input and Output:
Object Printing:
  • print (some: STRING)
    When some is Void, output "Void" on std_output, otherwise, output some on std_output.
Object Printing:
  • print_on (file: OUTPUT_STREAM)
    Default printing of current object on a file.
  • tagged_out: STRING
    New string containing printable representation of current object, each field preceded by its attribute name, a colon and a space.
  • out: STRING
    Create a new string containing terse printable representation of current object.
  • out_in_tagged_out_memory
    Append terse printable represention of current object in tagged_out_memory.
  • tagged_out_memory: STRING
  • fill_tagged_out_memory
    Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
Various useful tools:
The Guru section:
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):
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
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).
same_dynamic_type (other: ANY): BOOLEAN
frozen
Is the dynamic type of Current identical to the dynamic type of other?
is_equal (other: ANY): BOOLEAN
Is other attached to an object considered equal to current object?
standard_is_equal (other: ANY): BOOLEAN
frozen
Are Current and other field-by-field identical?
is_deep_equal (other: ANY): BOOLEAN
frozen
Is Current recursively isomorph with other ?
twin: ANY
frozen
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.
standard_twin: ANY
frozen
Return a new object with the dynamic type of Current.
standard_copy (other: ANY)
frozen
Copy every field of other onto corresponding field of current object.
deep_twin: ANY
frozen
Return a new object with the dynamic type of Current.
default: ANY
frozen
effective function
Default value of entities declared with the Current type.
is_default: BOOLEAN
effective function
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
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
Default printing of current object on a file.
tagged_out: STRING
frozen
effective function
New string containing printable representation of current object, each field preceded by its attribute name, a colon and a space.
out: STRING
effective function
Create a new string containing terse printable representation of current object.
out_in_tagged_out_memory
effective procedure
Append terse printable represention of current object in tagged_out_memory.
tagged_out_memory: STRING
frozen
once function
fill_tagged_out_memory
effective procedure
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
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 SmartEiffel debugger.
die_with_code (code: INTEGER_32)
frozen
Terminate execution with exit status code code.
exit_success_code: INTEGER_32
constant attribute
exit_failure_code: INTEGER_32
constant attribute
not_yet_implemented
effective procedure
to_pointer: POINTER
This routine can be used only if the value of Current is really a memory address.
is_expanded_type: BOOLEAN
frozen
effective function
Result is True if target static type is an expanded type.
is_basic_expanded_type: BOOLEAN
frozen
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
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.
print_run_time_stack
Prints the run time stack.
print_all_run_time_stacks
Prints all the run time stacks.
se_atexit
effective procedure
Called automatically at exit when std_output is used.
to_internals: INTERNALS
frozen
The effect of this built_in is create {TYPED_INTERNALS[like Current]} Result.for_object(Current)