src/edu/berkeley/sbp/misc/CharToken.java

   1 package edu.berkeley.sbp.misc;
   2 import java.io.*;
   3 import java.util.*;
   4 import java.lang.reflect.*;
   5 import java.lang.ref.*;
   6 import edu.berkeley.sbp.*;
   7 import edu.berkeley.sbp.Token.Location;
   8 import edu.berkeley.sbp.util.*;
   9
  10 /** an implementation of Token for streams of Java <tt>char</tt> values */
  11 public class CharToken implements IntegerMappable {
  12
  13     public static final Atom leftBrace  = new CharRange(new IntegerTopology<CharToken>(9998)) { public String toString() { return "{"; } };
  14     public static final Atom rightBrace = new CharRange(new IntegerTopology<CharToken>(9999)) { public String toString() { return "}"; } };
  15     public static final CharToken left       = new CharToken((char)9998);
  16     public static final CharToken right      = new CharToken((char)9999);
  17
  18     static final Range.Set all = new Range.Set(new Range(0, Character.MAX_VALUE));
  19     public  static final Atom      any = new CharRange(new IntegerTopology<CharToken>(all));
  20     public  static final Atom     none = new CharRange(new IntegerTopology<CharToken>());
  21
  22     // Private //////////////////////////////////////////////////////////////////////////////
  23
  24     public final char c;
  25     public CharToken(char c)        { this.c = c; }
  26     public String result()          { return c+""; }
  27     public String  toString()       { return "\'"+StringUtil.escapify(c+"")+"\'"; }
  28
  29     //////////////////////////////////////////////////////////////////////////////////////////
  30
  31     public int toInt() { return (int)c; }
  32
  33     public static class Stream extends CartesianInput<CharToken> {
  34         private final Reader r;
  35
  36         public Stream(String s)                { this(new StringReader(s)); }
  37         public Stream(Reader r)                { this(r, null); }
  38         public Stream(Reader r,      String s) { this.r = r; }
  39         public Stream(InputStream i)           { this(i, null); }
  40         public Stream(InputStream i, String s) { this(new InputStreamReader(i), s); }
  41
  42         boolean cr = false;
  43         public boolean   isCR() { return cr; }
  44         public CharToken next() throws IOException {
  45             cr = false;
  46             int i = r.read();
  47             if (i==-1) return null;
  48             char c = (char)i;
  49             cr = c=='\n';
  50             return new CharToken(c);
  51         }
  52     }
  53 }