objClosedobject

precond.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)OVERRIDDEN

precond.t[967]

no description available

verifyPreCondition (obj)OVERRIDDEN

precond.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