Duden/Eingabe Funktionen

Gibt wahr zurück wenn ein EOF Zeichen gelesen wurde.

    Gib war_eof zurück.

Setzt die interne war_eof variable auf falsch.

    war_eof ist falsch.

Liest eine einzelne Eingabe in Eingabe_Puffer.

Dabei werden vorrangehende Leerzeichen ignoriert
und ein einzelnes darrauffolgendes Leerzeichen in
Gepufferter_Buchstabe gespeichert

    [vorangehende Leerstellen überspringen]
    Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.
    Solange Gepufferter_Buchstabe ein Leerzeichen ist oder Gepufferter_Buchstabe ein Kontrollzeichen ist, mache:
        Wenn die Benutzereingabe zu Ende gewesen ist, gib "" zurück.
        Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.

    [Text bis Leerstelle Lesen]
    Der Text token ist "".
    Solange nicht (Gepufferter_Buchstabe ein Leerzeichen ist oder Gepufferter_Buchstabe ein Kontrollzeichen ist), mache:
        Speichere token verkettet mit Gepufferter_Buchstabe in token.
        Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.

    Gib token zurück.

Wenn Eingabe_Puffer eine Eingabe enthält
wird diese zurückgegeben und Eingabe_Puffer geleert.
Ansonsten wird die nächste Eingabe direkt zurückgegeben.

    Wenn die Länge von Eingabe_Puffer größer als 0 ist, dann:
        Der Text Rückgabe ist Eingabe_Puffer.
        Eingabe_Puffer ist "".
        Gib Rückgabe zurück.

    Wenn die Benutzereingabe nicht vorbei ist, gib die nächste Eingabe zurück.
    Gib "" zurück.

Lies_Token_Gepuffert als Zahl.

Vorher sollte Hat_Zahl überprüft werden.

    Gib den nächsten Text als Zahl zurück.

Lies_Token_Gepuffert als Kommazahl.

Vorher sollte Hat_Zahl überprüft werden.

    Gib den nächsten Text als Kommazahl zurück.

Wenn Eingabe_Puffer eine Eingabe enthält wird
der erste Buchstabe davon zurückgegeben und Eingabe_Puffer
entsprechend angepasst.

Wenn Gepufferter_Buchstabe einen Buchstaben enthält wird dieser
zurückgeben und Gepufferter_Buchstabe auf 0 gesetzt.

Ansonsten wird das nächste Zeichen direkt gelesen.

    Wenn die Länge von Eingabe_Puffer ungleich 0 ist, dann:
        Der Buchstabe Rückgabe ist Eingabe_Puffer an der Stelle 1.
        Speichere Eingabe_Puffer im Bereich von 2 bis (die Länge von Eingabe_Puffer) in Eingabe_Puffer.
        Gib Rückgabe zurück.
    
    Wenn Gepufferter_Buchstabe als Zahl ungleich 0 ist, dann:
        Der Buchstabe Rückgabe ist Gepufferter_Buchstabe.
        Speichere 0 als Buchstabe in Gepufferter_Buchstabe.
        Gib Rückgabe zurück.

    Gib das nächste Zeichen aus der Standardeingabe zurück.

Ignoriert vorrangehende Leerzeichen und gibt
dann die ganze Zeile bis zu, aber ohne '\n' oder EOF zurück.

'\n' bzw. EOF wird dabei nicht nicht in einen Puffer gelegt
sondern verworfen.

    Der Text zeile ist "".
    Wenn die Länge von Eingabe_Puffer ungleich 0 ist, dann:
        Füge Eingabe_Puffer an zeile an.
        Eingabe_Puffer ist "".
        Wenn Gepufferter_Buchstabe als Zahl ungleich 0 ist, Füge Gepufferter_Buchstabe an zeile an.
        Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.
    Sonst:
        Solange Gepufferter_Buchstabe ungleich 'n' ist und (Gepufferter_Buchstabe ein Leerzeichen ist oder Gepufferter_Buchstabe ein Kontrollzeichen ist), mache:
            Wenn die Benutzereingabe zu Ende gewesen ist, gib "" zurück.
            Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.

    Solange Gepufferter_Buchstabe ungleich 'n' ist und die Benutzereingabe nicht vorbei ist, mache:
        Speichere zeile verkettet mit Gepufferter_Buchstabe in zeile.
        Speichere das nächste Zeichen aus der Standardeingabe in Gepufferter_Buchstabe.

    Speichere 0 als Buchstabe in Gepufferter_Buchstabe.
    Gib zeile zurück.

Gibt an ob etwas mit einer der obigen Funktionen
gelesen werden kann.

    Wenn die Länge von Eingabe_Puffer größer als 0 ist, gib wahr zurück.
    Wenn die Benutzereingabe zu Ende gewesen ist, gib falsch zurück.
    Speichere den nächsten Text in Eingabe_Puffer.
    Gib wahr, wenn die Länge von Eingabe_Puffer größer als 0 ist, zurück.

Gibt an ob die nächste Eingabe (direkt oder im Puffer)
zu einer Zahl umgewandelt werden kann.

    Gib wahr, wenn eine Eingabe vorhanden ist und Eingabe_Puffer in eine Zahl umgewandelt werden kann, zurück.

Gibt an ob ein Buchstabe (direkt oder aus dem Puffer)
gelesen werden kann.

    Gib wahr, wenn nicht war_eof oder die Länge von Eingabe_Puffer ungleich 0 ist oder Gepufferter_Buchstabe als Zahl ungleich 0 ist, zurück.