core: import edu.neu.ccs.demeter.*; add: class BasicGameStep { protected RelationSelection relationselection; public RelationSelection get_relationselection() {{ return relationselection; }} public void set_relationselection(RelationSelection new_relationselection) {{ relationselection = new_relationselection; }} protected FirstPlayer firstplayer; public FirstPlayer get_firstplayer() {{ return firstplayer; }} public void set_firstplayer(FirstPlayer new_firstplayer) {{ firstplayer = new_firstplayer; }} protected SecondPlayer secondplayer; public SecondPlayer get_secondplayer() {{ return secondplayer; }} public void set_secondplayer(SecondPlayer new_secondplayer) {{ secondplayer = new_secondplayer; }} protected NegOp negop; public NegOp get_negop() {{ return negop; }} public void set_negop(NegOp new_negop) {{ negop = new_negop; }} protected float payment; public float get_payment() {{ return payment; }} public void set_payment(float new_payment) {{ payment = new_payment; }} public constructor BasicGameStep() {{ super(); }} public constructor BasicGameStep(RelationSelection relationselection, FirstPlayer firstplayer, SecondPlayer secondplayer, NegOp negop, float payment) {{ super(); set_relationselection(relationselection); set_firstplayer(firstplayer); set_secondplayer(secondplayer); set_negop(negop); set_payment(payment); }} public static BasicGameStep parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._BasicGameStep(); }} public static BasicGameStep parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._BasicGameStep(); }} public static BasicGameStep parse(String s) {{ try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } }} {{ 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_relationselection(this, relationselection); relationselection.universal_trv0(_v_); ((UniversalVisitor) _v_).after_relationselection(this, relationselection); ((UniversalVisitor) _v_).before_firstplayer(this, firstplayer); firstplayer.universal_trv0(_v_); ((UniversalVisitor) _v_).after_firstplayer(this, firstplayer); ((UniversalVisitor) _v_).before_secondplayer(this, secondplayer); secondplayer.universal_trv0(_v_); ((UniversalVisitor) _v_).after_secondplayer(this, secondplayer); if (negop != null) { ((UniversalVisitor) _v_).before_negop(this, negop); negop.universal_trv0(_v_); ((UniversalVisitor) _v_).after_negop(this, negop); } ((UniversalVisitor) _v_).before_payment(this, payment); ((UniversalVisitor) _v_).after_payment(this, payment); universal_trv0_aft(_v_); } }} }