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>(null, 9998)) { public String toString() { return "{"; } };
  14     public static final Atom rightBrace = new CharRange(new IntegerTopology<CharToken>(null, 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     // Private //////////////////////////////////////////////////////////////////////////////
  19
  20     public final char c;
  21     public CharToken(char c)        { this.c = c; }
  22     public String result()          { return c+""; }
  23     public String  toString()       { return "\'"+StringUtil.escapify(c+"")+"\'"; }
  24
  25     //////////////////////////////////////////////////////////////////////////////////////////
  26
  27     public int toInt() { return (int)c; }
  28
  29 }