Object Invalidation

Object invalidation refers to the marking of an object as invalid, preferably in a controlled way so that further access to the object results in controlled failure (rather than UndefinedBehavior). In some ways, a form of TypeMigration.

Can be implemented in several ways:

By the class designer:

By the language implementer:


EditText of this page (last edited May 28, 2004) or FindPage with title or text search