Property | Type | Description | |
---|---|---|---|
EOF | String |
Method | Description | |
---|---|---|
InputPort ( Stream inp ) : System | ||
InputPort ( TextReader inp ) : System | ||
close ( ) : Object | ||
isEOF ( Object x ) : bool | ||
peekCh ( ) : int | ||
peekChar ( ) : Object | ||
read ( ) : Object | ||
readChar ( ) : Object |
Method | Description | |
---|---|---|
nextToken ( ) : Object | ||
popChar ( ) : int | ||
pushChar ( int ch ) : int | ||
readTail ( bool dotOK ) : Object |