w3c.model.www.pep.PEPExtensionInstance

package w3c.model.www.pep;

abstract public class PEPExtensionInstance 
    String headerName;

    protected PEPExtensionInstance (String headerName) {
	this.headerName = headerName;
    }

    public String getHeaderName () {
	return headerName;
    }

/*

Extensions that use their instances for extra-transaction persistence (eg accessCounter may update the header (essentiallly replacing PEPExtensionInstance portion of the previous instance).

*/
    public void setHeaderName (String headerName) {
	this.headerName = headerName;
    }