// ** This class was generated with DemFGen (vers:11/03/2008) package gen; import java.io.FileInputStream; import edu.neu.ccs.demeterf.demfgen.lib.*; public class History{ public final List rounds; public History(List rounds){ this.rounds = rounds; } public boolean equals(Object o){ if(!(o instanceof History))return false; History oo = (History)o; return (((Object)rounds).equals(oo.rounds)); } public static History parse(String inpt) throws ParseException{ return new TheParser(new java.io.StringReader(inpt)).parse_History(); } public static History parse(java.io.InputStream inpt) throws ParseException{ return new TheParser(inpt).parse_History(); } public static History parse(java.io.Reader inpt) throws ParseException{ return new TheParser(inpt).parse_History(); } public static class rounds extends edu.neu.ccs.demeterf.control.Fields.any{} public String display(){ return gen.Display.DisplayM(this); } public String print(){ return gen.Print.PrintM(this); } public String toStr(){ return gen.ToStr.ToStrM(this); } }