src/edu/berkeley/sbp/misc/CharToStringParser.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 public class CharToStringParser extends Parser<CharToken,String> {
  11     public CharToStringParser(Union u) { super(u, new IntegerTopology<CharToken>()); }
  12     public Forest<String> parse(InputStream is) throws IOException, ParseFailed {
  13         return super.parse(new CharToken.Stream(is));
  14     }
  15     public Forest<String> parse(Reader r) throws IOException, ParseFailed {
  16         return super.parse(new CharToken.Stream(r));
  17     }
  18     public Forest<String> shiftToken(CharToken ct, Location loc) {
  19         return Forest.create(loc, ct.result(), null, false, false);
  20     }
  21 }