| objCarriedobject | precond.t[1030] |
| Superclass Tree | Property Summary | Method Summary | Property Details | Method Details |
objCarried : PreCondition
objCarried
PreCondition
object
Inherited from PreCondition :
preCondOrder
checkPreCondition
verifyPreCondition
checkPreCondition (obj, allowImplicit)OVERRIDDEN | precond.t[1067] |
verifyPreCondition (obj)OVERRIDDEN | precond.t[1032] |