PreCondDescclass
Pre-condition Descriptor. This object encapsulates a precondition object and the argument we want to pass to its condition check method.
class
PreCondDesc
: object
Superclass Tree (in declaration order)
PreCondDesc
` object`
Subclass Tree
(none)
Global Objects
(none)
Summary of Properties
Summary of Methods
Properties
arg_
the check argument
cond_
the precondition object
index_
our list sorting index
Methods
checkPreCondition (allowImplicit)
check the precondition
construct (cond, arg)
no description available
TADS 3 Library Manual
Generated on 5/16/2013 from TADS version 3.1.3