objCarriedobject | precond.t[915] |
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[952] |
verifyPreCondition (obj) OVERRIDDEN | precond.t[917] |