Type Hierarchy: Generalization
Type Hierarchy: Generalization
- Also called inheritance, subtyping, subclassing
- Several kinds:
- Specification
- type predicate (>100 ohms)
- Classification
- define extents - simple case of specification
- Specialization
- subtypes add methods / attributes
- Implementation
- different implementations of methods found in supertype
- Not mutually exclusive
- generally one mechanism combines them