pure interface of class ASCII_CharStream

public final class ASCII_CharStream
{
    public static final boolean staticFlag;
    public int bufpos;
    public final char BeginToken()
      throws java.io.IOException;
    public final char readChar()
      throws java.io.IOException;
    public final int getColumn();
    public final int getLine();
    public final int getEndColumn();
    public final int getEndLine();
    public final int getBeginColumn();
    public final int getBeginLine();
    public final void backup(int amount);
    public ASCII_CharStream(Reader dstream,
                            int startline,
                            int startcolumn,
                            int buffersize);
    public ASCII_CharStream(Reader dstream,
                            int startline,
                            int startcolumn);
    public void ReInit(Reader dstream,
                       int startline,
                       int startcolumn,
                       int buffersize);
    public void ReInit(Reader dstream,
                       int startline,
                       int startcolumn);
    public ASCII_CharStream(InputStream dstream,
                            int startline,
                            int startcolumn,
                            int buffersize);
    public ASCII_CharStream(InputStream dstream,
                            int startline,
                            int startcolumn);
    public void ReInit(InputStream dstream,
                       int startline,
                       int startcolumn,
                       int buffersize);
    public void ReInit(InputStream dstream,
                       int startline,
                       int startcolumn);
    public final String GetImage();
    public final char[] GetSuffix(int len);
    public void Done();
    public void adjustBeginLineColumn(int newLine,
                                      int newCol);
}