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

package gen;

import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;





/** Representation of TestER */
public class TestER{
    protected final List<Expectation2> es;
    protected final List<Reply> ss;
    protected final Domain d;

    /** Construct a(n) TestER Instance */
    public TestER(List<Expectation2> es, List<Reply> ss, Domain d){
        this.es = es;
        this.ss = ss;
        this.d = d;
    }
    /** Is the given object Equal to this TestER? */
    public boolean equals(Object o){
        if(!(o instanceof TestER))return false;
        if(o == this)return true;
        TestER oo = (TestER)o;
        return (((Object)es).equals(oo.es))&&(((Object)ss).equals(oo.ss))&&(((Object)d).equals(oo.d));
    }
    /** Parse an instance of TestER from the given String */
    public static TestER parse(String inpt) throws gen.ParseException{
        return new gen.TheParser(new java.io.StringReader(inpt)).parse_TestER();
    }
    /** Parse an instance of TestER from the given Stream */
    public static TestER parse(java.io.InputStream inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_TestER();
    }
    /** Parse an instance of TestER from the given Reader */
    public static TestER parse(java.io.Reader inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_TestER();
    }

    /** Field Class for TestER.es */
    public static class es extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for TestER.ss */
    public static class ss extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for TestER.d */
    public static class d 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 TestER.es */
    public TestER updateEs(List<Expectation2> _es){
        return new TestER(_es, ss, d);
    }
    /** Updater for field TestER.ss */
    public TestER updateSs(List<Reply> _ss){
        return new TestER(es, _ss, d);
    }
    /** Updater for field TestER.d */
    public TestER updateD(Domain _d){
        return new TestER(es, ss, _d);
    }
    /** Getter for field TestER.es */
    public List<Expectation2> getEs(){ return es; }
    /** Getter for field TestER.ss */
    public List<Reply> getSs(){ return ss; }
    /** Getter for field TestER.d */
    public Domain getD(){ return d; }

}