Buffer (Mork 1.1.5 API)

```
public class Buffer
extends Object
```
Connection between Scanner and Reader. This class is kind of a StringBuilder optimized for deleting at the beginning and appending at the end. In addition, appending is done buffered from a Reader. The buffer behaves as if the reader is filled in completely at the beginning, but this is done in steps. Buffer has a start and an end, that are used to select a possible token. Moving the start forward removes characters from the beginning; moving the end forward reads characters from the underlying stream (if they have not been read before -- the end is not necessarily that last character read). Buffer storage is devided into pages.

Constructors
Constructor and Description
`Buffer()`
`Buffer(int pageSize)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`assertInvariant()`
`String`	`createString()` Returns the string between start and the current position.
`void`	`eat()` Move start forward to the current position.
`int`	`getEndOfs()`
`void`	`getPosition(Position result)`
`void`	`open(Position position, Reader src)`
`int`	`read()` Advances the end and returns the character at this positio.
`void`	`resetEndOfs(int ofs)` Sets the current end ofs by to the specified value
`String`	`toString()`
`boolean`	`wasEof()` Returns true if the end of file has been seen and the buffer is at it's end.

Class Buffer