Benutzer-Werkzeuge
glossar:diskriminator
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
| — |
glossar:diskriminator [2017/09/26 10:20] (aktuell) |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== Diskriminator ====== | ||
| + | //engl.:// **discriminator** | ||
| + | ===== Bedeutung ====== | ||
| + | Diskriminatorfunktionen oder Diskriminatoren prüfen, ob der Wert eines benutzerdefinierten Datentyps zu einer bestimmten Alternative gehört. | ||
| + | |||
glossar/diskriminator.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)
Seiten-Werkzeuge
