|
|
| Specification |
|
| Operations |
|
|
|
|
|
|
|
|
|
|
| ä | Constructor
operations. Operations |
|||||||
| which
create entities of the type being |
||||||||
| specified |
||||||||
| ä | Inspection
operations. Operations which |
|||||||
| evaluate
entities of the type being specified |
||||||||
| ä | To
specify behaviour, define the inspector |
|||||||
| operations
for each constructor operation |
||||||||
