SameLocationCondition class | precond.t[732]

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 8/21/2012 from TADS version 3.1.2