GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
EIFFELTEST_SERVER_PROCESS
+
Point of view
All features
ANY
RECYCLING_POOL
EIFFELTEST_SERVER_RUN_TESTS
EIFFELTEST_SERVER_PROCESS
All features
class EIFFELTEST_SERVER_PROCESS
Summary
top
Direct parents
Insert list:
LOGGING
,
PROCESS_WAIT
,
RECYCLABLE
Overview
top
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
}
id
:
INTEGER_32
is_finished
:
BOOLEAN
on_done
(a_status:
INTEGER_32
)
on_timeout
set
(a_port:
INTEGER_32
, a_timeout:
INTEGER_32
, a_cmd:
STRING
, a_cleanup:
PROCEDURE
[
TUPLE 1
[
INTEGER_32
]])
run
{
EIFFELTEST_SERVER_RUN_TESTS
,
EIFFELTEST_SERVER_PROCESS
}
cmd
:
STRING
is_running
:
BOOLEAN
is_set
:
BOOLEAN
{
EIFFELTEST_SERVER_PROCESS
}
process
:
PROCESS
cleanup
:
PROCEDURE
[
TUPLE 1
[
INTEGER_32
]]
port
:
INTEGER_32
timeout
:
INTEGER_32
done
:
BOOLEAN
process_factory_
:
PROCESS_FACTORY
{
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
}
in
:
WAITPID_INPUT
job
:
WAITPID_JOB
copy
(other: EIFFELTEST_SERVER_PROCESS)
effective procedure
{
ANY
}
top
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
}
top
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)
id
:
INTEGER_32
effective function
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
require
is_running
is_finished
:
BOOLEAN
effective function
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
require
is_running
on_done
(a_status:
INTEGER_32
)
effective procedure
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
on_timeout
effective procedure
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
set
(a_port:
INTEGER_32
, a_timeout:
INTEGER_32
, a_cmd:
STRING
, a_cleanup:
PROCEDURE
[
TUPLE 1
[
INTEGER_32
]])
effective procedure
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
require
a_port > 0
not
is_set
not
is_running
ensure
port
= a_port
timeout
= a_timeout
cmd
= a_cmd
cleanup
= a_cleanup
is_set
not
is_running
run
effective procedure
{
EIFFELTEST_SERVER_RUN_TESTS
}
top
require
is_set
not
is_running
ensure
is_running
cmd
:
STRING
writable attribute
{
EIFFELTEST_SERVER_RUN_TESTS
,
EIFFELTEST_SERVER_PROCESS
}
top
is_running
:
BOOLEAN
effective function
{
EIFFELTEST_SERVER_RUN_TESTS
,
EIFFELTEST_SERVER_PROCESS
}
top
is_set
:
BOOLEAN
effective function
{
EIFFELTEST_SERVER_RUN_TESTS
,
EIFFELTEST_SERVER_PROCESS
}
top
process
:
PROCESS
writable attribute
{
EIFFELTEST_SERVER_PROCESS
}
top
cleanup
:
PROCEDURE
[
TUPLE 1
[
INTEGER_32
]]
writable attribute
{
EIFFELTEST_SERVER_PROCESS
}
top
port
:
INTEGER_32
writable attribute
{
EIFFELTEST_SERVER_PROCESS
}
top
timeout
:
INTEGER_32
writable attribute
{
EIFFELTEST_SERVER_PROCESS
}
top
done
:
BOOLEAN
writable attribute
{
EIFFELTEST_SERVER_PROCESS
}
top
process_factory_
:
PROCESS_FACTORY
once function
{
EIFFELTEST_SERVER_PROCESS
}
top
recycle
effective procedure
{
RECYCLING_POOL
}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
log
:
LOGGER
effective function
{}
top
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
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.
in
:
WAITPID_INPUT
once function
{
ANY
}
top
job
:
WAITPID_JOB
once function
{
ANY
}
top