objUnlockedobjectprecond.t[1010]

Pre-condition: the object is unlocked.

objUnlocked :   PreCondition

Superclass Tree   (in declaration order)

objUnlocked
        PreCondition
                object

Summary of Properties  

Inherited from PreCondition :
preCondOrder 

Summary of Methods  

checkPreCondition  verifyPreCondition 

Properties  

(none)

Methods  

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

no description available

verifyPreCondition (obj)OVERRIDDENprecond.t[1042]
reduce the likelihood rating for anything that's locked

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