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

Description

void

pushCodePoint(int c)

Push the character c to the stream.

Methods inherited from interface com.io7m.jeucreader.UnicodeCharacterReaderType
readCodePoint

Method Details
- pushCodePoint
  
  void pushCodePoint(int c)
  
  Push the character c to the stream.
  
  Parameters:
  
  c - The character to be pushed