org.codehaus.groovy.antlr
Class UnicodeEscapingReader

java.lang.Object
  extended byjava.io.Reader
      extended byorg.codehaus.groovy.antlr.UnicodeEscapingReader

public class UnicodeEscapingReader
extends Reader

Translates GLS-defined unicode escapes into characters. Throws an exception in the event of an invalid unicode escape being detected.

No attempt has been made to optimise this class for speed or space.

Version:
$Revision: 1.3 $

Field Summary
 
Fields inherited from class java.io.Reader
lock
 
Constructor Summary
UnicodeEscapingReader(Reader reader, SourceBuffer sourceBuffer)
          Constructor.
 
Method Summary
 void close()
          Closes this reader by calling close on the underlying reader.
 int read()
          Gets the next character from the underlying reader, translating escapes as required.
 int read(char[] cbuf, int off, int len)
          Reads characters from the underlying reader.
 void setLexer(antlr.CharScanner lexer)
          Sets the lexer that is using this reader.
 
Methods inherited from class java.io.Reader
mark, markSupported, read, ready, reset, skip
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnicodeEscapingReader

public UnicodeEscapingReader(Reader reader,
                             SourceBuffer sourceBuffer)
Constructor.

Parameters:
reader - The reader that this reader will filter over.
Method Detail

setLexer

public void setLexer(antlr.CharScanner lexer)
Sets the lexer that is using this reader. Must be called before the lexer is used.


read

public int read(char[] cbuf,
                int off,
                int len)
         throws IOException
Reads characters from the underlying reader.

Throws:
IOException
See Also:
Reader.read(char[],int,int)

read

public int read()
         throws IOException
Gets the next character from the underlying reader, translating escapes as required.

Throws:
IOException
See Also:
Reader.close()

close

public void close()
           throws IOException
Closes this reader by calling close on the underlying reader.

Throws:
IOException
See Also:
Reader.close()


Copyright © 2003-2007 The Codehaus. All Rights Reserved.