objUnlockedobject | precond.t[1010] |
Superclass Tree | Property Summary | Method Summary | Property Details | Method Details |
objUnlocked : PreCondition
Inherited from objUnlocked
PreCondition
object
PreCondition
:
preCondOrder
checkPreCondition (obj, allowImplicit) OVERRIDDEN | precond.t[1011] |
verifyPreCondition (obj) OVERRIDDEN | precond.t[1042] |