SameLocationConditionclassprecond.t[732]

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

A precondition ensuring that the target object is in the same immediate location as a given object.

class SameLocationCondition :   PreCondition

Superclass Tree   (in declaration order)

SameLocationCondition
        PreCondition
                object

Subclass Tree  

(none)

Global Objects  

sameLocationAsDobj  sameLocationAsIobj 

Summary of Properties  

sourceObj 

Inherited from PreCondition :
preCondOrder 

Summary of Methods  

checkPreCondition  construct 

Inherited from PreCondition :
verifyPreCondition 

Properties  

sourceObjprecond.t[740]

the object whose location we must match

Methods  

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

check the condition

construct (obj)precond.t[737]
construct dynamically, setting the other object whose location we must match

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