+
Point of view
All features
class WAITPID_JOB
Summary
Direct parents
Inherit list: JOB
Insert list: PROCESS_WAIT, SINGLETON
Class invariant
Overview
Creation features
{PROCESS_WAIT}
Features
{ANY}
{LOOP_ITEM}
{}
{JOB, LOOP_ITEM}
{LOOP_ITEM}
Maximum:
{}
Minimum:
{}
Bits:
{}
{ANY}
  • is_equal (other: WAITPID_JOB): BOOLEAN
    Is other attached to an object considered equal to current object?
{}
{ANY}
stop
effective procedure
{ANY}
arm (a_timeout: INTEGER_32)
effective procedure
{ANY}
require ensure
disarm
effective procedure
{ANY}
require ensure
trigger (a_timeout: INTEGER_32)
effective procedure
{ANY}
require ensure
timeout: INTEGER_32
writable attribute
{ANY}
set_action (a_tag: ABSTRACT_STRING, a_on_waitpid: PROCEDURE[TUPLE 2[INTEGER_32, INTEGER_32]], a_on_timeout: PROCEDURE[TUPLE])
effective procedure
{ANY}
require
  • a_tag /= Void
ensure
unset_action (a_tag: ABSTRACT_STRING)
effective procedure
{ANY}
require
  • a_tag /= Void
ensure
has_action (a_tag: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
prepare (events: EVENTS_SET)
effective procedure
Use events to describe condition that make this job ready to continue.
events describe the conditions to be satisfied before running this job for one more step.
require
  • events /= Void
  • not events.queryable
  • not done
is_ready (events: EVENTS_SET): BOOLEAN
effective function
Check if this job is ready to continue his work.
events describe the events which occurred.
require
  • events /= Void
  • events.queryable
  • not done
continue
effective procedure
Continue to do the job.
The work to do has to be small work and non blocking, it will continue on next call.
require
  • not done
done: BOOLEAN
writable attribute
done returns True when the job is finished.
Then the job may be restart(ed) if it needs to run again.
restart
effective procedure
Configure the job like in its initial state.
Example: when some window dialog appears a second time, all jobs from this window are restarted.
require
  • done
ensure
  • not done
make
effective procedure
{}
timeout_event: EVENT_DESCRIPTOR
writable attribute
{}
writable attribute
{}
triggered: BOOLEAN
writable attribute
{}
armed: BOOLEAN
writable attribute
{}
running: BOOLEAN
writable attribute
{}
priority: INTEGER_32
writable attribute
never change a job's priority after inserting it in loop_item.
Priority should only be set at creation time.
infix "<" (other: JOB): BOOLEAN
effective function
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
ensure
  • meaningful: Result >= 127
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
ensure
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
ensure
  • meaningful: Result <= 0
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
ensure
  • meaningful: Result <= 0.0
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
ensure
  • meaningful: Result >= 1
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
ensure
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
ensure
  • integer_definition: Result = 32
Real_bits: INTEGER_32
is 64
constant attribute
{}
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
Number of bits in a value of type POINTER.
is_equal (other: WAITPID_JOB): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
is_real_singleton: BOOLEAN
effective function
{}
ensure
  • assertion_check_only: Result
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
{}
This pool is unique in the whole system.
A memory is kept for each singleton type (type, not class) in the system.
current_is_not_an_expanded_type: BOOLEAN
effective function
{}
Check that the dynamic type of the SINGLETON is not an expanded type.
once function
{ANY}
job: WAITPID_JOB
once function
{ANY}