[Allegro] Tertium non datur?

[Bernhard Eversberg]

Am 03.04.2011 13:07, schrieb Fischer, Thomas:
> wenn man den Befehl
> next #
> ausgibt, erwartet man eine von zwei Möglichkeiten:
> "if yes ..." bearbeitet die eine
> "if no ..." die andere.
> Es scheint aber noch andere Ergebnisse zu geben!
Ja, es gibt in der Tat theoretisch eine dritte Möglichkeit: die 
unbesetzte Satznummer.
Das ist dokumentiert in xnext.rtf unter  "find #"  und sogar mit (!) 
gekennzeichnet.
"Theoretisch" deshalb, weil unbesetzte Nummern übergangen werden, der 
Fall also
praktisch nicht auftritt. Er tritt jedoch unvermeidbar bei  "find #..."  
auf und
ist dann mit  "if cancel ..."  abzufangen, während  "if no ..."  auf 
eine zu große
Satznummer testet. Deshalb wurde dieselbe Semantik bei  "next #"  
implementiert.

Unbesetzte Satznummern gibt es nur, wenn vorher eine "Bereinigung" 
genacht wurde
(früher "Entlüftung" genannt), bei der gelöschte Sätze entfernt, deren 
Nummern aber
nicht neu besetzt werden, d.h. die Sätze ihre internen Nummern behalten 
und damit
die Nummern der gelöschten Sätze nicht mehr besetzt sind. Vermutlich ist 
der Fall
selten, muß aber natürlich geregelt sein.

B.E.