core: import java.lang.*; import java.io.*; import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class Party_List implements java.util.Enumeration { protected Nonempty_Party_List first; public Nonempty_Party_List get_first() {{ return first; }} public void set_first(Nonempty_Party_List new_first) {{ first = new_first; }} public constructor Party_List() {{ super(); }} public constructor Party_List(Nonempty_Party_List first) {{ super(); set_first(first); }} public static Party_List parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._Party_List(); }} public static Party_List parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._Party_List(); }} public static Party_List parse(String s) {{ try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } }} public void viewParties() {{ /* This function will print all of the parties in the list, skipping over the agreement information */ Party tempParty; java.util.Enumeration en = this.elements(); System.out.println(Main.divider); while (en.hasMoreElements()){ tempParty = (Party) en.nextElement(); tempParty.viewParty(); } }} {{ void universal_trv0_bef(UniversalVisitor _v_) { ((UniversalVisitor) _v_).before(this); } }} {{ void universal_trv0_aft(UniversalVisitor _v_) { ((UniversalVisitor) _v_).after(this); } }} {{ void universal_trv0(UniversalVisitor _v_) { universal_trv0_bef(_v_); if (first != null) { ((UniversalVisitor) _v_).before_first(this, first); first.universal_trv0(_v_); ((UniversalVisitor) _v_).after_first(this, first); } universal_trv0_aft(_v_); } }} {{ void everything_Bank_trv_bef(PrintVisitor __v0) { ((PrintVisitor) __v0).before(this); } }} {{ void everything_Bank_trv_aft(PrintVisitor __v0) { ((PrintVisitor) __v0).after(this); } }} {{ void everything_Bank_trv(PrintVisitor __v0) { everything_Bank_trv_bef(__v0); if (first != null) { ((UniversalVisitor) __v0).before_first(this, first); first.everything_Bank_trv(__v0); ((UniversalVisitor) __v0).after_first(this, first); } everything_Bank_trv_aft(__v0); } }} {{ void __trav_print_Bank_trv_bef(PrintVisitor __v0) { ((PrintVisitor) __v0).before(this); } }} {{ void __trav_print_Bank_trv_aft(PrintVisitor __v0) { ((PrintVisitor) __v0).after(this); } }} {{ void __trav_print_Bank_trv(PrintVisitor __v0) { __trav_print_Bank_trv_bef(__v0); if (first != null) { ((UniversalVisitor) __v0).before_first(this, first); first.__trav_print_Bank_trv(__v0); ((UniversalVisitor) __v0).after_first(this, first); } __trav_print_Bank_trv_aft(__v0); } }} {{ void __trav_display_Bank_trv_bef(DisplayVisitor __v0) { ((DisplayVisitor) __v0).before(this); } }} {{ void __trav_display_Bank_trv_aft(DisplayVisitor __v0) { ((DisplayVisitor) __v0).after(this); } }} {{ void __trav_display_Bank_trv(DisplayVisitor __v0) { __trav_display_Bank_trv_bef(__v0); if (first != null) { ((DisplayVisitor) __v0).before_first(this, first); first.__trav_display_Bank_trv(__v0); ((UniversalVisitor) __v0).after_first(this, first); } __trav_display_Bank_trv_aft(__v0); } }} {{ private Nonempty_Party_List tail; public void addElement(Party e) { checktail(); if (tail == null) { first = new Nonempty_Party_List(e,null); tail = first; } else { tail.set_next(new Nonempty_Party_List(e,null)); tail = tail.get_next(); } } public void push(Party e) { first = new Nonempty_Party_List(e,first); } public java.util.Enumeration elements() { return new Party_List(first); } public int size() { int i= 0; for (java.util.Enumeration e=elements(); e.hasMoreElements(); i++) e.nextElement(); return i; } public boolean isEmpty() { return (first == null); } public boolean hasMoreElements() { return (first != null); } public Object nextElement() { Party car = first.get_it(); first = first.get_next(); return (Object) car; } private void checktail() { if (tail == null && first != null) { tail = first; while (tail.get_next() != null) tail = tail.get_next(); } } public boolean contains(Party e) { java.util.Enumeration en = this.elements(); while (en.hasMoreElements()) if (e.equals((Party) en.nextElement())) return true; return false; } }} }