// ** This file was generated with DemFGen (vers:12/15/2010) package gen; 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 AliceProvides */ public class AliceProvides extends State{ /** Construct a(n) AliceProvides Instance */ public AliceProvides(){ } /** Is the given object Equal to this AliceProvides? */ public boolean equals(Object o){ if(!(o instanceof AliceProvides))return false; if(o == this)return true; AliceProvides oo = (AliceProvides)o; return true; } /** Parse an instance of AliceProvides from the given String */ public static AliceProvides parse(String inpt) throws gen.ParseException{ return new gen.TheParser(new java.io.StringReader(inpt)).parse_AliceProvides(); } /** Parse an instance of AliceProvides from the given Stream */ public static AliceProvides parse(java.io.InputStream inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_AliceProvides(); } /** Parse an instance of AliceProvides from the given Reader */ public static AliceProvides parse(java.io.Reader inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_AliceProvides(); } /** 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); } }