import java.lang.*; import java.io.*; import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; class CompanyName { protected String string; public String get_string() { return string; } public void set_string(String new_string) { string = new_string; } public CompanyName() { super(); } public CompanyName(String string) { super(); set_string(string); } public static CompanyName parse(java.io.Reader in) throws ParseException { return new Parser(in)._CompanyName(); } public static CompanyName parse(java.io.InputStream in) throws ParseException { return new Parser(in)._CompanyName(); } public static CompanyName parse(String s) { try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } } public static CompanyName prompt(String prompt) { /* This function will get a company name entered by the user input: prompt - a string to prompt the user output: a new CompanyName object */ String name = Main.promptString(prompt); CompanyName returnName = new CompanyName(name); return returnName; } 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_); ((UniversalVisitor) _v_).before_string(this, string); ((UniversalVisitor) _v_).after_string(this, string); universal_trv0_aft(_v_); } void everything_Bank_trv_bef(PrintVisitor __v0) { ((UniversalVisitor) __v0).before(this); } void everything_Bank_trv_aft(PrintVisitor __v0) { ((UniversalVisitor) __v0).after(this); } void everything_Bank_trv(PrintVisitor __v0) { everything_Bank_trv_bef(__v0); ((PrintVisitor) __v0).before_string(this, string); ((UniversalVisitor) __v0).after_string(this, string); everything_Bank_trv_aft(__v0); } void __trav_print_Bank_trv_bef(PrintVisitor __v0) { ((UniversalVisitor) __v0).before(this); } void __trav_print_Bank_trv_aft(PrintVisitor __v0) { ((UniversalVisitor) __v0).after(this); } void __trav_print_Bank_trv(PrintVisitor __v0) { __trav_print_Bank_trv_bef(__v0); ((PrintVisitor) __v0).before_string(this, string); ((UniversalVisitor) __v0).after_string(this, string); __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); ((DisplayVisitor) __v0).before_string(this, string); ((UniversalVisitor) __v0).after_string(this, string); __trav_display_Bank_trv_aft(__v0); } void __trav_viewParty_Party_trv_bef(PrintVisitor __v0) { ((UniversalVisitor) __v0).before(this); } void __trav_viewParty_Party_trv_aft(PrintVisitor __v0) { ((UniversalVisitor) __v0).after(this); } void __trav_viewParty_Party_trv(PrintVisitor __v0) { __trav_viewParty_Party_trv_bef(__v0); ((PrintVisitor) __v0).before_string(this, string); ((UniversalVisitor) __v0).after_string(this, string); __trav_viewParty_Party_trv_aft(__v0); } }