//  Job: Jay's Own Browser, a web browser written in Java by Jay Skeer
//  Copyright (C) 1996 Jay Skeer, Jay Prime Positive
//
//  This program is free software; you can redistribute it and/or modify
//  it under the terms of the GNU General Public License as published by
//  the Free Software Foundation; either version 2 of the License, or
//  (at your option) any later version.
//
//  This program is distributed in the hope that it will be useful,
//  but WITHOUT ANY WARRANTY; without even the implied warranty of
//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//  GNU General Public License for more details.
//
//  You should have received a copy of the GNU General Public License
//  along with this program; if not, write to the Free Software
//  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
//

import Jdb;
import java.util.StringTokenizer;

public class PushBackStringTokenizer extends StringTokenizer {
    String unreadToken= null;

    public PushBackStringTokenizer(String s) {
	super(s, " \r\t\n-", true);
	unreadToken= null;
    }

    public PushBackStringTokenizer
	(String s, String delims, boolean return_delims)
    {
	super(s, delims, return_delims);
	unreadToken= null;
    }

    public boolean hasMoreTokens() {
        boolean a= (null != unreadToken);
        boolean b= a || (super.hasMoreTokens());
        boolean rv= (a || b);
//Jdb.trace("PBST.hasMoreTokens()=>\"" + rv + "\" == "+a+"||"+b);
	return rv;
    }

    public String nextToken() {
//Jdb.enter("PBST.nextToken()");
	String rv;
	if (null != unreadToken) {
	    rv= unreadToken;
	    unreadToken= null;
	} else {
	    rv= super.nextToken();
	}
//Jdb.exit("PBST.nextToken()=>\"" + rv + "\"");
	return rv;
    }

    public void unreadToken(String t) {
//Jdb.enter("PBST.unreadToken(" + t + ")");
	if (null == unreadToken) {
	    unreadToken= t;
	} else {
//Jdb.trace("Oops! double unreadToken???");
	    /* error */
	}
//Jdb.exit("PBST.unreadToken(" + t + ")");
    }
}