2.5.15. I/O Source

TODO. Instruction

iosrc.close op1 [ioSource::Close]
Operator 1:ref<iosrc<*>>

Closes the packet source op1. No further packets can then be read (if tried, pkrsrc.read will raise a ~~IOSrcError exception).

target = iosrc.read op1 [ioSource::Read]
Operator 1:ref<iosrc<*>>

Returns the next element from the I/O source op1. If currently no element is available, the instruction blocks until one is. Raises: ~~IOSrcExhausted if the source has been exhausted. Raises: ~~IOSrcError if there is any other problem with returning the next element.