|
|
| Specification |
|
| Enrichment |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ä | Starting
with a reusable specification |
|||||||||||||||||
| building
block, new operations are added |
||||||||||||||||||
| to
create a more complex type |
||||||||||||||||||
| ä | Enrichment
can be continued to any |
|||||||||||||||||
| number
of levels. It is comparable to |
||||||||||||||||||
| inheritance
(will be discussed later) |
||||||||||||||||||
| ä | Not
the same as importing a specification |
|||||||||||||||||
| ä | Importing
makes a specification available for |
|||||||||||||||||
| use |
||||||||||||||||||
| ä | Enrichment
creates a specification for a new |
|||||||||||||||||
| type |
||||||||||||||||||
| ä | The
names of the generic parameters of the |
|||||||||||||||||
| base
type are inherited when a type is |
||||||||||||||||||
| enriched |
||||||||||||||||||
