This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / JavaGrammar / Lex / EscapedUnicodeReader.java

diff --git a/Robust/JavaGrammar/Lex/EscapedUnicodeReader.java b/Robust/JavaGrammar/Lex/EscapedUnicodeReader.java
deleted file mode 100644 (file)
index 342bf15..0000000
--- a/Robust/JavaGrammar/Lex/EscapedUnicodeReader.java
+++ /dev/null
@@ -1,70 +0,0 @@
-package Lex;
-
-import java.io.Reader;
-import java.io.FilterReader;
-import java.io.IOException;
-
-public class EscapedUnicodeReader extends FilterReader {
-
-  int pushback=-1;
-  boolean isEvenSlash = true;
-
-  public EscapedUnicodeReader(Reader in) {
-    super(in);
-  }
-  public int read() throws IOException {
-    int r = (pushback==-1)?in.read():pushback; pushback=-1;
-    
-    if (r!='\\') {
-      isEvenSlash=true;
-      return r;
-    } else { // found a backslash;
-      if (!isEvenSlash) { // Only even slashes are eligible unicode escapes.
-       isEvenSlash=true;
-       return r;
-      }
-      
-      // Check for the trailing u.
-      pushback=in.read();
-      if (pushback!='u') {
-       isEvenSlash=false;
-       return '\\';
-      }
-
-      // OK, we've found backslash-u.  
-      // Reset pushback and snarf up all trailing u's.
-      pushback=-1;
-      while((r=in.read())=='u')
-       ;
-      // Now we should find 4 hex digits. 
-      // If we don't, we can raise bloody hell.
-      int val=0;
-      for (int i=0; i<4; i++, r=in.read()) {
-       int d=Character.digit((char)r, 16);
-       if (r<0 || d<0)
-         throw new Error("Invalid unicode escape character.");
-       val = (val*16) + d;
-      }
-      // yeah, we made it.
-      pushback = r;
-      isEvenSlash=true;
-      return val;
-    }
-  }
-  // synthesize array read from single-character read.
-  public int read(char cbuf[], int off, int len) throws IOException {
-    for (int i=0; i<len; i++) {
-      int c = read();
-      if (c==-1) return (i==0)?-1:i; // end of stream reached.
-      else cbuf[i+off] = (char) c;
-    }
-    return len;
-  }
-
-  public boolean markSupported() { return false; }
-
-  public boolean ready() throws IOException {
-    if (pushback!=-1) return true;
-    else return in.ready();
-  }
-}