// ** 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 ProtocolDefinition */
public class ProtocolDefinition{
    protected final ProtocolName pn;
    protected final Option<ClaimSetName> claimSetName;
    protected final List<VariableDeclaration> variableDeclarations;
    protected final List<ProtocolStep> protocolSteps;
    protected final Predicate predicate;

    /** Construct a(n) ProtocolDefinition Instance */
    public ProtocolDefinition(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 ProtocolDefinition? */
    public boolean equals(Object o){
        if(!(o instanceof ProtocolDefinition))return false;
        if(o == this)return true;
        ProtocolDefinition oo = (ProtocolDefinition)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 ProtocolDefinition from the given String */
    public static ProtocolDefinition parse(String inpt) throws gen.ParseException{
        return new gen.TheParser(new java.io.StringReader(inpt)).parse_ProtocolDefinition();
    }
    /** Parse an instance of ProtocolDefinition from the given Stream */
    public static ProtocolDefinition parse(java.io.InputStream inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_ProtocolDefinition();
    }
    /** Parse an instance of ProtocolDefinition from the given Reader */
    public static ProtocolDefinition parse(java.io.Reader inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_ProtocolDefinition();
    }

    /** Field Class for ProtocolDefinition.pn */
    public static class pn extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for ProtocolDefinition.claimSetName */
    public static class claimSetName extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for ProtocolDefinition.variableDeclarations */
    public static class variableDeclarations extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for ProtocolDefinition.protocolSteps */
    public static class protocolSteps extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for ProtocolDefinition.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 ProtocolDefinition.pn */
    public ProtocolDefinition updatePn(ProtocolName _pn){
        return new ProtocolDefinition(_pn, claimSetName, variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field ProtocolDefinition.claimSetName */
    public ProtocolDefinition updateClaimSetName(Option<ClaimSetName> _claimSetName){
        return new ProtocolDefinition(pn, _claimSetName, variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field ProtocolDefinition.variableDeclarations */
    public ProtocolDefinition updateVariableDeclarations(List<VariableDeclaration> _variableDeclarations){
        return new ProtocolDefinition(pn, claimSetName, _variableDeclarations, protocolSteps, predicate);
    }
    /** Updater for field ProtocolDefinition.protocolSteps */
    public ProtocolDefinition updateProtocolSteps(List<ProtocolStep> _protocolSteps){
        return new ProtocolDefinition(pn, claimSetName, variableDeclarations, _protocolSteps, predicate);
    }
    /** Updater for field ProtocolDefinition.predicate */
    public ProtocolDefinition updatePredicate(Predicate _predicate){
        return new ProtocolDefinition(pn, claimSetName, variableDeclarations, protocolSteps, _predicate);
    }
    /** Getter for field ProtocolDefinition.pn */
    public ProtocolName getPn(){ return pn; }
    /** Getter for field ProtocolDefinition.claimSetName */
    public Option<ClaimSetName> getClaimSetName(){ return claimSetName; }
    /** Getter for field ProtocolDefinition.variableDeclarations */
    public List<VariableDeclaration> getVariableDeclarations(){ return variableDeclarations; }
    /** Getter for field ProtocolDefinition.protocolSteps */
    public List<ProtocolStep> getProtocolSteps(){ return protocolSteps; }
    /** Getter for field ProtocolDefinition.predicate */
    public Predicate getPredicate(){ return predicate; }

}