Check entities for validity
A low-level system programming language with high-level syntax
Status: Alpha
Brought to you by:
akapusti
All SPL standard library entities that have a life cycle (files, process/thread local slots, processes, threads) must be checked for validity in preconditions of methods that accept them (i.e. that a, for example, Process instance has not yet been discarded when being operated upon, etc.)
This has been implemented for files; must also be implemented for other entities.