Next: Wertebereichsinformationen
Up: Dateiformate
Previous: Notation der Grammatik
Da Attribute, und somit die Typen und das Typsystem, auf die
Wertebereiche zurückgreifen, müssen zu jedem Typsystem auch die
Informationen über die benutzten Wertebereiche abgespeichert werden.
Deshalb besteht eine Typsystemdatei aus den benutzten Wertebereichen
( UsedDomains ), allen im Typsystem definierten Attributen und
allen Typen. Die Attributschemata der einzelnen Typen und die
Subtyprelation zwischen den Typen wird mit den Typinformationen
( TypeDefs ) gespeichert.