-public class Tib /*implements Token.Stream<CharToken>*/ {
- /*
- public Tib(String s) { this(new StringReader(s)); }
- public Tib(Reader r) { this(new BufferedReader(r)); }
- public Tib(InputStream is) { this(new BufferedReader(new InputStreamReader(is))); }
- public Tib(BufferedReader br) { cur = parse(br).toString(0,-1); }
+public class Tib implements Token.Stream<CharToken> {
+
+ public Tib(String s) throws IOException, Invalid { this(new StringReader(s)); }
+ public Tib(Reader r) throws IOException, Invalid { this(new BufferedReader(r)); }
+ public Tib(InputStream is) throws IOException, Invalid { this(new BufferedReader(new InputStreamReader(is))); }
+ public Tib(BufferedReader br) throws IOException, Invalid { cur = parse(br); }