w3c.model.www.pep.bags.ParamsBag

// ParamsBag.java
// $Id: ParamsBag.java,v 1.1 1997/07/21 21:55:46 eric Exp $
// (c) COPYRIGHT MIT and INRIA, 1996.
// Please first read the full copyright statement in file COPYRIGHT.html

package w3c.model.www.pep.bags;

import java.util.*;
import w3c.model.www.pep.*;
import w3c.model.www.pep.altlib.*;

public class ParamsBag extends PEPBag 
    ArrayDictionary stuff =  ArrayDictionary(1, 2);

    protected void complete () throws HttpParserException{}

    protected final void bufferize (HttpBuffer buf) {
	buf.append("{params ");
	Enumeration key = stuff.keys();
//		while (key.hasMoreElements()) {
//			temp = ( key.nextElement();
//			temp.bufferize(buf);
//		}
	buf.append((char) '}');
    }

    protected HttpRawBag lookupSubBag(String name) {
	return  HttpBag();
    }

    public void addElement(String name) {
	stuff.put(name, Boolean.TRUE);
    }

    ParamsBag(String name, InstanceContext instanceContext) throws HttpParserException{super(name, instanceContext);}