// ** This class was generated with DemFGen (vers:09/27/2009) package gen; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.*; import edu.neu.ccs.demeterf.lib.*; /** Representation of error */ public class error extends RuntimeException{ /** Construct a(n) error Instance */ public error(){ } /** Is the given object Equal to this error? */ public boolean equals(Object o){ if(!(o instanceof error))return false; if(o == this)return true; error oo = (error)o; return true; } /** Parse an instance of error from the given String */ public static error parse(String inpt) throws ParseException{ return new TheParser(new java.io.StringReader(inpt)).parse_error(); } /** Parse an instance of error from the given Stream */ public static error parse(java.io.InputStream inpt) throws ParseException{ return new TheParser(inpt).parse_error(); } /** Parse an instance of error from the given Reader */ public static error parse(java.io.Reader inpt) throws ParseException{ return new TheParser(inpt).parse_error(); } public error(String s){ super(s); } static error nodef(ident id){ return new error("Def not found :"+id); } /** DGP method from Class Print */ public String print(){ return gen.Print.PrintM(this); } }