class READY_DESCRIPTION

All features

Mainly used by loop_item and jobs. May be useful for time/date waiting. May be useful to check if data are available in files without locking. Have a look at queryable for the two states.

Direct parents

non-conformant parents

ANY, PLATFORM

Summary

creation features

exported features

Maximum:

Minimum:

Bits:

Details

make

ensure

  • queryable = False

make

ensure

  • queryable = False

queryable: BOOLEAN

First this object is not queryable. You have to configure the condition you want to wait for (data on file, timeout...) When configuration is done, you start waiting with wait. Then this object is queryable, that mean that you can query the state of files, using is_data and is_free.

reset

ensure

  • queryable = False

after (timeout_ms: INTEGER)

timeout_ms is the max time in milliseconds to wait when wait begin.

require

  • timeout_ms >= 0
  • not queryable

after_from_now (timeout_ms: INTEGER)

timeout_ms is the max time in milliseconds to wait from now.

require

  • timeout_ms >= 0
  • not queryable

at (date: MICROSECOND_TIME)

date is the last moment wait can wait.

require

  • not queryable

when_data (file: INPUT_STREAM)

require

  • file /= Void
  • file.is_connected
  • file.has_descriptor
  • not queryable

is_data (file: INPUT_STREAM): BOOLEAN

require

  • file /= Void
  • file.is_connected
  • file.has_descriptor
  • queryable

when_connection (server: SOCKET_SERVER)

require

  • server /= Void
  • not queryable

is_connection (server: SOCKET_SERVER): BOOLEAN

require

  • server /= Void
  • queryable

when_free (file: OUTPUT_STREAM)

require

  • file /= Void
  • file.is_connected
  • file.has_descriptor
  • not queryable

is_free (file: OUTPUT_STREAM): BOOLEAN

require

  • file /= Void
  • file.is_connected
  • file.has_descriptor
  • queryable

wait

block until requested condition (max time and/or data)

require

  • not queryable

ensure

  • queryable

current_time: MICROSECOND_TIME
timeout: INTEGER
expiration: MICROSECOND_TIME
expiration_valid: BOOLEAN
current_time_memory: MICROSECOND_TIME
current_time_valid: BOOLEAN
read_set: POINTER
read_size: INTEGER
write_set: POINTER
write_size: INTEGER
highest: INTEGER
sequencer_create_set: POINTER
sequencer_reset (set: POINTER)
sequencer_watch (set: POINTER, file: INTEGER)
sequencer_is_ready (set: POINTER, file: INTEGER): BOOLEAN
sequencer_wait (n: INTEGER, rset: POINTER, rsize: INTEGER, wset: POINTER, wsize: INTEGER, s: INTEGER, us: INTEGER): INTEGER

return -1 if signal interupt occured

Maximum_character_code: INTEGER_16

Largest supported code for CHARACTER values.

ensure

  • meaningful: Result >= 127

Maximum_integer_8: INTEGER_8

Largest supported value of type INTEGER_8.

Maximum_integer_16: INTEGER_16

Largest supported value of type INTEGER_16.

Maximum_integer: INTEGER

Largest supported value of type INTEGER/INTEGER_32.

Maximum_integer_32: INTEGER

Largest supported value of type INTEGER/INTEGER_32.

Maximum_integer_64: INTEGER_64

Largest supported value of type INTEGER_64.

Maximum_real_32: REAL_32

Largest non-special (no NaNs nor infinity) supported value of type REAL_32.

Maximum_real: REAL

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

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

  • meaningful: Result >= Maximum_real

Minimum_character_code: INTEGER_16

Smallest supported code for CHARACTER values.

ensure

  • meaningful: Result <= 0

Minimum_integer_8: INTEGER_8

Smallest supported value of type INTEGER_8.

Minimum_integer_16: INTEGER_16

Smallest supported value of type INTEGER_16.

Minimum_integer: INTEGER

Smallest supported value of type INTEGER/INTEGER_32.

Minimum_integer_32: INTEGER

Smallest supported value of type INTEGER/INTEGER_32.

Minimum_integer_64: INTEGER_64

Smallest supported value of type INTEGER_64.

Minimum_real_32: REAL_32

Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.

Minimum_real: REAL

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

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

Smallest supported value of type REAL_80.

ensure

  • meaningful: Result <= 0.0

Boolean_bits: INTEGER

Number of bits in a value of type BOOLEAN.

ensure

  • meaningful: Result >= 1

Character_bits: INTEGER

Number of bits in a value of type CHARACTER.

ensure

  • meaningful: Result >= 1
  • large_enough: 2.to_integer ^ Result >= Maximum_character_code

Integer_bits: INTEGER

Number of bits in a value of type INTEGER.

ensure

  • integer_definition: Result = 32

Real_bits: INTEGER

Number of bits in a value of type REAL.

Pointer_bits: INTEGER

Number of bits in a value of type POINTER.