SameLocationConditionclass

precond.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  

sourceObj

precond.t[740]

the object whose location we must match

Methods  

checkPreCondition (obj, allowImplicit)OVERRIDDEN

precond.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