Glossar
Programminvarianten
Ausdrücke und/oder Bedingungen, die zu jedem Zeitpunkt des Programmlaufs erfüllt sind. z.B.: wenn Variable iCount <> 0, dann zeigt Variable pBuffer auf belegten Speicher. Wenn Variable iCount = 0, zeigt pBuffer auf NULL.