TypeContext - Type context

A type context is associated with a data type. It allows defining the behavior of type instances and reacting on instance events (read, modify etc.). Moreover, the type context knows about the current property hierarchy, actual parents, which allows reacting depending on a current context, i.e. a wheel may behave differently when it is a wheel of a car or of a bicycle.

The parent context for a type context is always a property context. This can be the property context for an extent or for another property within a complex data type.