SET (set) Die Implementationen MAP (map)

OPTIONAL (opti)

elemonil

• Datentyp(en):Beliebiger Elementtyp
• Repräsentation: nil wird durch einen speziellen, vom Anwender zu bestimmenden Wert repräsentiert (für ,,Nat1`` z.B. 0).
• Parameter:NILVAL: Spezieller Wert für nil (kein Default, muß angegeben sein)
• MACROS: Operationen werden (wenn möglich) durch Makros realisiert, dadurch wird das Programm schneller, aber größer (Flag, Default: 0)
• NOCHECK: Keine Prüfung bei Selektions-Funktionen auf nil (Flag, Default: 0). Wenn MACROS = 1 ist, ist NOCHECK = 1
• Anmerkungen: Sollte gewählt werden, wenn die Implementation ,,ptelem`` nicht möglich ist (weil der NULL-Pointer einen gültigen Objekt-Zustand darstellt). Vorschlag: ,,elemonil(NILVAL )``

ptelem

• Datentyp(en): Elementtyp, der als Pointer implementiert ist
• Repräsentation: Pointer oder nil. Der Element-Domain muß als Pointer implementiert sein, wobei der Wert nil durch den NULL-Pointer repräsentiert wird; dieser darf also keinen gültigen Zustand eines Objekts darstellen.
• Parameter:MACROS: Operationen werden (wenn möglich) durch Makros realisiert, dadurch wird das Programm schneller, aber größer (Flag, Default: 0)
• NOCHECK: Keine Prüfung bei Selektions-Funktionen auf nil (Flag, Default: 0). Wenn MACROS = 1 ist, ist NOCHECK auch = 1
• Anmerkungen: Kann nur mit Pointer-Implementationen der Elemente gewählt werden (,,ptunion``, ,,ptstruct``). ,,linklist`` ist z.B. nicht erlaubt, weil der NULL-Pointer den gültigen Wert ,,leeres Objekt`` repräsentiert!