objEmptyobject

precond.t[1134]

Superclass
Tree

Property
Summary

Method
Summary

Property
Details

Method
Details

Pre-condition: the object is empty. This ensures that the object does not contain any other objects.

Note that we unconditionally try to remove all objects. If a container needs to have some objects that can be removed and others that can’t (such as components within the container), then the container will have to be implemented as a ComplexContainer - the non-removable components should be made contents of the enclosing ComplexContainer, and the secret inner container should be the one subject to this precondition.

objEmpty :   PreCondition

Superclass Tree   (in declaration order)

objEmpty
PreCondition
`                 object`

Summary of Properties  

Inherited from PreCondition :
preCondOrder

Summary of Methods  

checkPreCondition

Inherited from PreCondition :
verifyPreCondition

Properties  

(none)

Methods  

checkPreCondition (obj, allowImplicit)OVERRIDDEN

precond.t[1135]

no description available

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