w3c.model.www.pep.extensions.escapeMessage.Client

package w3c.model.www.pep.extensions.escapeMessage;

import w3c.model.www.pep.*;
import w3c.model.www.pep.bags.*;
import w3c.model.www.pep.altlib.HTTPException;

public class Client extends Common 
    public void makeBag (InstanceContext instanceContext) {
	String name = instanceContext.getPepAgent().nextFreeName(prefHeaderName, this, false);
	String headerNames[] =  String[1];
	headerNames[0] = name;
	ExtDecl extDecl =  ExtDecl(instanceContext,
	     MapBag(instanceContext, URI, headerNames, 1),
	     StrengthBag(instanceContext, requiredExtension));

	instanceContext.addExtDecl(extDecl, PEPMessage.C_PEP);
    }

    void noElements (InstanceContext instanceContext) {
    }

    public boolean generateHeaders (InstanceContext instanceContext, int when) throws HTTPException{
	if (when == PEPExtension.CONNECT))
	    makeBag(instanceContext);
	return  super.generateHeaders (instanceContext, when);
    }