Description

The Whitespace field controls which characters are recognized as white space. To recognize a character ch <= ' ' as white space, set the ch'th bit in Whitespace (the Scanner's behavior is undefined for values ch > ' '). The field may be changed at any time.