w3c.model.www.pep.extensions.escape.Escape
package w3c.model.www.pep.extensions.escape;
import java.net.*;
import java.util.*;
import java.io.InputStream;
import w3c.model.www.pep.*;
import w3c.model.www.pep.bags.*;
import w3c.model.www.pep.altlib.*;
abstract public class Escape extends PEPExtension
protected boolean requiredExtension;
Vector sites;
protected final static char defaultEscapeChar = 'e';
private String absoluteURI;
private String prefHeaderName;
public Escape ( String absoluteURI, String prefHeaderName) {
this.absoluteURI = absoluteURI;
this.prefHeaderName = prefHeaderName;
}
public void initialize ( PEPAgent pepAgent, boolean requiredExtension) {
super.initialize(pepAgent, absoluteURI);
this.requiredExtension = requiredExtension;
sites = Vector(1, 1);
}