w3c.model.www.pep.extensions.remoteControl.ServerInstance

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

import w3c.model.www.pep.PEPExtensionInstance;
import w3c.model.www.pep.PEPMessage;
import java.util.Vector;

public class ServerInstance extends PEPExtensionInstance 

    ServerInstance (String headerName) {
	super(headerName);
    }

    Vector headers =  Vector();
    Vector results =  Vector();
    void execute (String header, String command) {
    	String result;
	if ("status".equals(command)))
	    result = "hunky dory";
	elseif ("exit".equals(command)))
	    result = "no";
	elseresult = "unknown command ""+command+""";
	headers.addElement(header);
	results.addElement(result);
    }

    void generateHeaders (PEPMessage message) {
    	for (int i = 0; i < headers.size(); i++))
	    message.setHeaderValue((String)headers.elementAt(i), (String)results.elementAt(i));
    }