Special Types of Object Modules
Class (typical)
- an implicit intent and (possibly) an explicit extent
- uniformly available two-way interactions
Type
- intent (extent implicit and same as intent)
- uniformly available two-way interactions (operations)
Variable
- extent with at most one value
- query, add, remove, and modify
- usually declared as a specialization of a type
Value
- extent with one value
- query