Next: , Previous: The Text Interpreter, Up: Words


5.14 The Input Stream

The text interpreter reads from the input stream, which can come from several sources (see Input Sources). Some words, in particular defining words, but also words like ', read parameters from the input stream instead of from the stack.

Such words are called parsing words, because they parse the input stream. Parsing words are hard to use in other words, because it is hard to pass program-generated parameters through the input stream. They also usually have an unintuitive combination of interpretation and compilation semantics when implemented naively, leading to various approaches that try to produce a more intuitive behaviour (see Combined words).

It should be obvious by now that parsing words are a bad idea. If you want to implement a parsing word for convenience, also provide a factor of the word that does not parse, but takes the parameters on the stack. To implement the parsing word on top if it, you can use the following words:

parse       char "ccc<char>" – c-addr u         core-ext       “parse”

Parse ccc, delimited by char, in the parse area. c-addr u specifies the parsed string within the parse area. If the parse area was empty, u is 0.

parse-name       "name" – c-addr u         gforth       “parse-name”

Get the next word from the input buffer

parse-word       – c-addr u         gforth-obsolete       “parse-word”

old name for parse-name

name       – c-addr u         gforth-obsolete       “name”

old name for parse-name

word       char "<chars>ccc<char>– c-addr         core       “word”

Skip leading delimiters. Parse ccc, delimited by char, in the parse area. c-addr is the address of a transient region containing the parsed string in counted-string format. If the parse area was empty or contained no characters other than delimiters, the resulting string has zero length. A program may replace characters within the counted string. OBSOLESCENT: the counted string has a trailing space that is not included in its length.

refill       – flag         core-ext,block-ext,file-ext       “refill”

Attempt to fill the input buffer from the input source. When the input source is the user input device, attempt to receive input into the terminal input device. If successful, make the result the input buffer, set >IN to 0 and return true; otherwise return false. When the input source is a block, add 1 to the value of BLK to make the next block the input source and current input buffer, and set >IN to 0; return true if the new value of BLK is a valid block number, false otherwise. When the input source is a text file, attempt to read the next line from the file. If successful, make the result the current input buffer, set >IN to 0 and return true; otherwise, return false. A successful result includes receipt of a line containing 0 characters.

Conversely, if you have the bad luck (or lack of foresight) to have to deal with parsing words without having such factors, how do you pass a string that is not in the input stream to it?

execute-parsing       ... addr u xt – ...         gforth       “execute-parsing”

Make addr u the current input source, execute xt ( ... -- ... ), then restore the previous input source.

A definition of this word in ANS Forth is provided in compat/execute-parsing.fs.

If you want to run a parsing word on a file, the following word should help:

execute-parsing-file       i*x fileid xt – j*x         gforth       “execute-parsing-file”

Make fileid the current input source, execute xt ( i*x -- j*x ), then restore the previous input source.