com.io7m.jeucreader

Interface UnicodeCharacterReaderPushBackType

All Superinterfaces:

UnicodeCharacterReaderType

All Known Implementing Classes:

UnicodeCharacterReader

public interface UnicodeCharacterReaderPushBackType
extends UnicodeCharacterReaderType

An interface that provides unicode characters one at a time, and allows pushing back character to the stream to be re-read later.

Method Summary

Modifier and Type	Method and Description
void	pushCodePoint(int c) Push the character c to the stream.

Methods inherited from interface com.io7m.jeucreader.UnicodeCharacterReaderType

readCodePoint

Method Detail

pushCodePoint

void pushCodePoint(int c)

Push the character c to the stream.

Parameters:

c - The character to be pushed