ObjectPreConditionclassprecond.t[75]

Superclass
Tree 		Subclass
Tree 		Global
Objects 		Property
Summary 		Method
Summary 		Property
Details 		Method
Details

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

preCondOrderOVERRIDDENprecond.t[100]
use the same order as our underlying condition

Methods  

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

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

construct (obj, cond)precond.t[76]
no description available

verifyPreCondition (obj)OVERRIDDENprecond.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