-// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
package edu.berkeley.sbp.chr;
import java.io.*;
import java.util.*;
-import java.lang.reflect.*;
-import java.lang.ref.*;
import edu.berkeley.sbp.*;
import edu.berkeley.sbp.util.*;
-import edu.berkeley.sbp.misc.*;
-import edu.berkeley.sbp.Input.Location;
public class CharParser extends Parser<Character,String> {
public Forest<String> parse(Reader r) throws IOException, ParseFailed { return super.parse(new CharInput(r)); }
public Forest<String> parse(String s) throws IOException, ParseFailed { return parse(new StringReader(s)); }
- public CharParser(Union u) { super(u, new CharTopology()); }
+ public CharParser(Union u) { super(u); }
- private Location oldloc;
-
- public Forest<String> shiftToken(Character ct, Location newloc) {
- if (oldloc==null) oldloc = newloc;
- Forest<String> ret = Forest.create(oldloc.createRegion(newloc), ct.toString(), null);
- oldloc = newloc;
- return ret;
- }
+ public Topology<Character> emptyTopology() { return new CharTopology(); }
+ public Forest<String> shiftToken(Character ct, Input.Region region) {
+ return Forest.create(region, ct.toString(), null); }
}