Geef een omschrijving van het begrip abstract type

  • Een abstract type is een type waarbij zijn identifier public is, maar zijn representatie is private.
    Een abstract type moet worden voorzien van een groep operaties om toegang te geven tot zijn representatie. De operaties zijn typisch procedures en constanten. De waarden van het abstracte type worden gedefinieerd zodat ze alleen de waarden hebben die gegenereerd worden door gebruik te maken van de operaties.

    Een abstract type is een module die een verborgen type exporteert, samen met een verzameling operaties op dat type. De waardenverzameling van het type wordt direct gedefinieerd en bestaat uit alle mogelijke waarden die kunnen bereikt door toepassing van de geëxporteerde operaties

    Rapporteer Plaats commentaar