// ** This file was generated with DemFGen (vers:12/15/2010)

package gen;

import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;





/** Representation of SCG_Protocol */
public class SCG_Protocol{
    protected final SCG_ProtocolName pn;
    protected final Option<ClaimSetName> claimSetName;
    protected final List<VariableDeclaration> variableDeclarations;
    protected final List<ProtocolStep> protocolSteps;
    protected final Predicate predicate;

    /** Construct a(n) SCG_Protocol Instance */
    public SCG_Protocol(SCG_ProtocolName pn, Option<ClaimSetName> claimSetName, List<VariableDeclaration> variableDeclarations, List<ProtocolStep> protocolSteps, Predicate predicate){
        this.pn = pn;
        this.claimSetName = claimSetName;
        this.variableDeclarations = variableDeclarations;
        this.protocolSteps = protocolSteps;
        this.predicate = predicate;
    }
    /** Is the given object Equal to this SCG_Protocol? */
    public boolean equals(Object o){
        if(!(o instanceof SCG_Protocol))return false;
        if(o == this)return true;
        SCG_Protocol oo = (SCG_Protocol)o;
        return (((Object)pn).equals(oo.pn))&&(((Object)claimSetName).equals(oo.claimSetName))&&(((Object)variableDeclarations).equals(oo.variableDeclarations))&&(((Object)protocolSteps).equals(oo.protocolSteps))&&(((Object)predicate).equals(oo.predicate));
    }
    /** Parse an instance of SCG_Protocol from the given String */
    public static SCG_Protocol parse(String inpt) throws gen.ParseException{
        return new gen.TheParser(new java.io.StringReader(inpt)).parse_SCG_Protocol();
    }
    /** Parse an instance of SCG_Protocol from the given Stream */
    public static SCG_Protocol parse(java.io.InputStream inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_SCG_Protocol();
    }
    /** Parse an instance of SCG_Protocol from the given Reader */
    public static SCG_Protocol parse(java.io.Reader inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_SCG_Protocol();
    }

    /** Field Class for SCG_Protocol.pn */
    public static class pn extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for SCG_Protocol.claimSetName */
    public static class claimSetName extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for SCG_Protocol.variableDeclarations */
    public static class variableDeclarations extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for SCG_Protocol.protocolSteps */
    public static class protocolSteps extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for SCG_Protocol.predicate */
    public static class predicate extends edu.neu.ccs.demeterf.Fields.any{}

    /** DGP method from Class Display */
    public String display(){ return gen.Display.DisplayM(this); }
    /** DGP method from Class Print */
    public String print(){ return gen.Print.PrintM(this); }
    /** DGP method from Class ToStr */
    public String toStr(){ return gen.ToStr.ToStrM(this); }
    /** Updater for field SCG_Protocol.pn */
    public SCG_Protocol updatePn(SCG_ProtocolName _pn){
        return new SCG_Protocol(_pn, claimSetName, variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field SCG_Protocol.claimSetName */
    public SCG_Protocol updateClaimSetName(Option<ClaimSetName> _claimSetName){
        return new SCG_Protocol(pn, _claimSetName, variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field SCG_Protocol.variableDeclarations */
    public SCG_Protocol updateVariableDeclarations(List<VariableDeclaration> _variableDeclarations){
        return new SCG_Protocol(pn, claimSetName, _variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field SCG_Protocol.protocolSteps */
    public SCG_Protocol updateProtocolSteps(List<ProtocolStep> _protocolSteps){
        return new SCG_Protocol(pn, claimSetName, variableDeclarations, _protocolSteps, predicate);
    }
    /** Updater for field SCG_Protocol.predicate */
    public SCG_Protocol updatePredicate(Predicate _predicate){
        return new SCG_Protocol(pn, claimSetName, variableDeclarations, protocolSteps, _predicate);
    }
    /** Getter for field SCG_Protocol.pn */
    public SCG_ProtocolName getPn(){ return pn; }
    /** Getter for field SCG_Protocol.claimSetName */
    public Option<ClaimSetName> getClaimSetName(){ return claimSetName; }
    /** Getter for field SCG_Protocol.variableDeclarations */
    public List<VariableDeclaration> getVariableDeclarations(){ return variableDeclarations; }
    /** Getter for field SCG_Protocol.protocolSteps */
    public List<ProtocolStep> getProtocolSteps(){ return protocolSteps; }
    /** Getter for field SCG_Protocol.predicate */
    public Predicate getPredicate(){ return predicate; }

}