objVisibleobject

precond.t[124]

Superclass
Tree

Property
Summary

Method
Summary

Property
Details

Method
Details

Pre-condition: object must be visible. This condition doesn’t attempt any implied command to make the object visible, but merely enforces visibility before allowing the command.

This condition is useful for commands that rely on visibly inspecting the object, such as “examine” or “look in”. It is possible for an object to be in scope without being visible, since an object can be in scope by way of a non-visual sense.

We enforce visibility with a verification test, not a precondition check.

objVisible :   PreCondition

Superclass Tree   (in declaration order)

objVisible
PreCondition
`                 object`

Summary of Properties  

Inherited from PreCondition :
preCondOrder

Summary of Methods  

verifyPreCondition

Inherited from PreCondition :
checkPreCondition

Properties  

(none)

Methods  

verifyPreCondition (obj)OVERRIDDEN

precond.t[125]

no description available

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