Je was op zoek naar: dateiende (Duits - Engels)

dateiende
end-of-file

dateiende-anzeiger
end-of-file spot

syntaxfehler: unerwartetes dateiende.
syntax error: unexpected end of file

unerwartetes dateiende auf standardeingabeerrerror
unexpected end-of-file on standard input

dateiende beim suchen nach »]]« erreicht.
unexpected eof while looking for `]]'

dateiende erreicht, weiter vom anfang
reached bottom, continued from top

der stream wird auf das dateiende positioniert.
the initial file position for reading is at the beginning of the file, but output is always appended to the end of the file.

bottom bewegt den cursor an das dateiende
bottom move the cursor to the end of the file

dateiende (eof) erwartet, »%c« erhalten.
expected eof, got '%c'.

/* der letzte gelesene buchstabe ist das dateiende
/* the last character read is the end of file

%s erwartet, aber dateiende (eof) erhalten.
expected %s, but got eof.

while not eof(1):' lesen bis zum dateiende
while not eof(1):' reading until eof

165 dateiende beim lesen mit der input# überschritten.
165 end of file during the reading with the inputs # exceeded.

feof feof prüft , ob das dateiende erreicht worden ist.
feof feof tests for end-of-file.

bei etikettierung sollte eine dateiende-kennung vorhanden sein.
if labelled, an end-of-file code should be included.

besonders, dass man allgemeins nicht braucht, bis dateiende zu
we need to realise that the toy programs we use for teaching need to be

dateiende) erreicht wurde (was eben früher zutrifft).
reading stops when length bytes have been read or eof (end of file) reached, whichever comes first.

mit dem empfang des dateiende-tokens wird das parsing beendet.
receiving the end of file token will end the parsing.

datei stehen), wird das dateiende erreicht. außerdem wurde eine
function knows when the end of file has been reached?

die setupdatei beginnt mit dem schlüsselwort ring und wird durch das dateiende beendet.
the setup file format must start with the keyword ring and ends when the end of the file is reached.