objClosedobjectprecond.t[966]

Superclass
Tree 		Property
Summary 		Method
Summary 		Property
Details 		Method
Details

Pre-condition: the object is closed.

objClosed :   PreCondition

Superclass Tree   (in declaration order)

objClosed
        PreCondition
                object

Summary of Properties  

Inherited from PreCondition :
preCondOrder 

Summary of Methods  

checkPreCondition  verifyPreCondition 

Properties  

(none)

Methods  

checkPreCondition (obj, allowImplicit)OVERRIDDENprecond.t[967]

no description available

verifyPreCondition (obj)OVERRIDDENprecond.t[998]
reduce the likelihood rating for anything that isn't already closed

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