ObjectPreCondition class | precond.t[75]

A pre-condition that applies to a specific, pre-determined object, rather than the direct/indirect object of the command.

`class ObjectPreCondition : PreCondition`

Superclass Tree (in declaration order)

`ObjectPreCondition`
`PreCondition`
`object`

Subclass Tree

(none)

Global Objects

(none)

Summary of Properties

`cond_ obj_ preCondOrder`

``

Summary of Methods

`checkPreCondition construct verifyPreCondition`

``

Properties

`cond_` | `precond.t[106]`

the pre-condition we check

`obj_` | `precond.t[103]`

the object we check with the condition

`preCondOrder` OVERRIDDEN | `precond.t[100]`

use the same order as our underlying condition

Methods

`checkPreCondition (obj, allowImplicit)`OVERRIDDEN | `precond.t[87]`

route our check to the pre-condition using our specific object

`construct (obj, cond)` | `precond.t[76]`

no description available

`verifyPreCondition (obj)`OVERRIDDEN | `precond.t[94]`

route our verification check to the pre-condition

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