/*
Copyright (C) 1989, 1991 Free Software Foundation, Inc.  
51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA

author: Yuan yongfu  lijin   liyong   lib 511,the College of Mathematics and Computer Science,HuNan Normal University,China

Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.

*/
package edu.hunnu.webjetchecker.convert_interface;

import org.w3c.dom.Node;

import edu.hunnu.webjetchecker.Agent;

/**
 * @author ly
 * 
 * TODO To change the template for this generated type comment go to Window -
 * Preferences - Java - Code Style - Code Templates
 */
public interface Bpel2Pi_inter {
    public String getResult();

    public String getAgentHead();

    public Agent ParseActivity(Node node, Agent agent, String afterInfo);

    public Agent ParseNode(Node node, Agent agent, String afterInfo);

    public Agent ParseSequence(Node node, Agent agent, String afterInfo);

    public Agent ParseWhile(Node node, Agent agent, String afterInfo);

    public Agent ParsePick(Node node, Agent agent, String afterInfo);

    public Agent ParseSwitch(Node node, Agent agent, String afterInfo);

    public Agent ParseFlow(Node node, Agent agent, String afterInfo);

    public Agent ParseInvoke(Node node, Agent agent, String afterInfo);

    public Agent ParseReceive(Node node, Agent agent, String afterInfo);

    public Agent ParseReply(Node node, Agent agent, String afterInfo);

    public Agent ParseAssign(Node node, Agent agent, String afterInfo);

    public Agent ParseWait(Node node, Agent agent, String afterInfo);

    public String ParseLinkSource(Node node, Agent agent);

    public String ParseLinkTarget(Node node, Agent agent);

}