// ** 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.*; import java.lang.Integer; /** Representation of Protocol */ public class Protocol implements ProtocolInterface{ protected final State state; /** Construct a(n) Protocol Instance */ public Protocol(State state){ this.state = state; } /** Is the given object Equal to this Protocol? */ public boolean equals(Object o){ if(!(o instanceof Protocol))return false; if(o == this)return true; Protocol oo = (Protocol)o; return (((Object)state).equals(oo.state)); } /** Parse an instance of Protocol from the given String */ public static Protocol parse(String inpt) throws gen.ParseException{ return new gen.TheParser(new java.io.StringReader(inpt)).parse_Protocol(); } /** Parse an instance of Protocol from the given Stream */ public static Protocol parse(java.io.InputStream inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_Protocol(); } /** Parse an instance of Protocol from the given Reader */ public static Protocol parse(java.io.Reader inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_Protocol(); } /** Field Class for Protocol.state */ public static class state 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 Protocol.state */ public Protocol updateState(State _state){ return new Protocol(_state); } /** Getter for field Protocol.state */ public State getState(){ return state; } }