PreCondDescclassaction.t[126]

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  

arg_  cond_  index_ 

Summary of Methods  

checkPreCondition  construct 

Properties  

arg_action.t[145]

the check argument

cond_action.t[142]
the precondition object

index_action.t[148]
our list sorting index

Methods  

checkPreCondition (allowImplicit)action.t[135]

check the precondition

construct (cond, arg)action.t[127]
no description available

TADS 3 Library Manual
Generated on 5/16/2013 from TADS version 3.1.3