class EIFFELTEST_SERVER_PROCESS
Summary
Direct parents
Insert list: LOGGING, PROCESS_WAIT, RECYCLABLE
Overview
Creation features
Features
{ANY}
  • copy (other: EIFFELTEST_SERVER_PROCESS)
    Update current object using fields of object attached to other, so as to yield equal objects.
  • is_equal (other: EIFFELTEST_SERVER_PROCESS): BOOLEAN
    Is other attached to an object considered equal to current object?
{EIFFELTEST_SERVER_RUN_TESTS}
{EIFFELTEST_SERVER_RUN_TESTS, EIFFELTEST_SERVER_PROCESS}
{EIFFELTEST_SERVER_PROCESS}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
  • log: LOGGER
    There is one logger per concrete type; for performance reasons it is cached in each instance.
  • log_memory__0_: LOGGER
    The cached logger.
{ANY}
copy (other: EIFFELTEST_SERVER_PROCESS)
effective procedure
{ANY}
Update current object using fields of object attached to other, so as to yield equal objects.
Note: you can't copy object from a different dynamic type.
require
    • not immutable
    • same_dynamic_type(other)
    • not immutable
    • same_dynamic_type(other)
ensure
  • is_equal(other)
is_equal (other: EIFFELTEST_SERVER_PROCESS): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
    • other /= Void
    • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
effective function
require
is_finished: BOOLEAN
effective function
require
on_done (a_status: INTEGER_32)
effective procedure
on_timeout
effective procedure
set (a_port: INTEGER_32, a_timeout: INTEGER_32, a_cmd: STRING, a_cleanup: PROCEDURE[TUPLE 1[INTEGER_32]])
effective procedure
require ensure
run
effective procedure
require ensure
process: PROCESS
writable attribute
writable attribute
port: INTEGER_32
writable attribute
timeout: INTEGER_32
writable attribute
done: BOOLEAN
writable attribute
process_factory_: PROCESS_FACTORY
once function
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.
once function
{ANY}
once function
{ANY}