/*
 * The contents of this file are subject to the Netscape Public
 * License Version 1.1 (the "License"); you may not use this file
 * except in compliance with the License. You may obtain a copy of
 * the License at http://www.mozilla.org/NPL/

 * Software distributed under the License is distributed on an "AS
 * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
 * implied. See the License for the specific language governing
 * rights and limitations under the License.

 * The Original Code is Rhino code, released
 * May 6, 1999.

 * The Initial Developer of the Original Code is Netscape
 * Communications Corporation.  Portions created by Netscape are
 * Copyright (C) 1997-1999 Netscape Communications Corporation. All
 * Rights Reserved.

 * Contributor(s): 

 * Alternatively, the contents of this file may be used under the
 * terms of the GNU Public License (the "GPL"), in which case the
 * provisions of the GPL are applicable instead of those above.
 * If you wish to allow use of your version of this file only
 * under the terms of the GPL and not to allow others to use your
 * version of this file under the NPL, indicate your decision by
 * deleting the provisions above and replace them with the notice
 * and other provisions required by the GPL.  If you do not delete
 * the provisions above, a recipient may use your version of this
 * file under either the NPL or the GPL.
 */

#ifndef _JS_LINE_BUFFER_H_
#define _JS_LINE_BUFFER_H_

#include <sys/types.h>
#include "js-types.h"
#include "js-zonenew.h"
#include "js-reader.h"

/* Classes */
class JSLineBuffer {
    protected:
        JSReader
                *in;
        int     lineno;
        int     offset;
        int     end;
        int     lastPos;
        int     prevStart;
        int     lineStart;
        int     stringStart;
        jsBool_t
                hitEOF;

        jsChar_t
                *buffer;
        int     bufferLength;
#ifdef FASTER
        jsString_t      string;
        int             stringLength;
#endif

    protected:
        int     getOrigin();
        jsBool_t
                readIntoBuffer(jsChar_t *buffer, jsChar_t *oldbuffer,
                        int origin);
        jsBool_t
                extend(JSContext *cx);

    public:
        JSLineBuffer(JSContext *cx, JSReader *in, int lineno);

        void    destroy(JSContext *cx);
        int     read(JSContext *cx);
        void    unread();
        int     peek(JSContext *cx);
        jsBool_t
                match(JSContext *cx, jsChar_t c);
        jsString_t
                getLine(JSContext *cx);
        int     getOffset();
        void    startString();
        jsString_t
                getString(JSContext *cx);
        jsBool_t
                fill(JSContext *cx);
        int     getLineno();
        jsBool_t
                eof();
};

/* Inlines */
inline int
JSLineBuffer::getLineno()
{
    return lineno;
}
inline jsBool_t
JSLineBuffer::eof()
{
    return hitEOF;
}

#endif /* _JS_LINE_BUFFER_H_ */

