package parseLib.parser;
import parseLib.acceptor.Acceptor;
import parseLib.util.Input;
/**
* Convert an acceptor into a parser that constructs a double
*/
public class MkDouble extends Parser<Double> {
MkString p;
public MkDouble(Acceptor p) {
this.p = new MkString(p);
}
public Double parse(Input i) {
String s = p.parse(i);
if (s==null)
return null;
else
return Double.parseDouble(s.trim());
}
}