doorOpenobjectprecond.t[929]

Superclass
Tree 		Property
Summary 		Method
Summary 		Property
Details 		Method
Details

Pre-condition: a door must be open. This differs from the regular objOpen condition only in that we use a customized version of the failure report.

doorOpen :   ObjOpenCondition

Superclass Tree   (in declaration order)

doorOpen
        ObjOpenCondition
                PreCondition
                        object

Summary of Properties  

Inherited from PreCondition :
preCondOrder 

Summary of Methods  

conditionFailed 

Inherited from ObjOpenCondition :
checkPreCondition  verifyPreCondition 

Properties  

(none)

Methods  

conditionFailed (obj)OVERRIDDENprecond.t[930]

no description available

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