package EDU.neu.ccs.demeter.tools.apstudio.graphedit; import java.awt.*; import java.io.*; import java.util.*; import EDU.neu.ccs.demeter.*; import EDU.neu.ccs.demeter.common.tg.*; import EDU.neu.ccs.demeter.*; class Coordinates { protected X x; public X get_x() { return x; } public void set_x(X new_x) { x = new_x; } protected Y y; public Y get_y() { return y; } public void set_y(Y new_y) { y = new_y; } Coordinates() { super(); } public Coordinates(X x, Y y) { super(); set_x(x); set_y(y); } public static Coordinates parse(java.io.InputStream in) throws ParseException { return new Parser(in)._Coordinates(); } public static Coordinates parse(String s) { try { return parse(new java.io.ByteArrayInputStream(s.getBytes())); } catch (ParseException e) { throw new RuntimeException(e.toString()); } } Coordinates (int _x , int _y) { set_x(new X(new Integer(_x))); set_y(new Y(new Integer(_y))); } int get_xvalue() { return x.get_x().intValue(); } int get_yvalue() { return y.get_y().intValue(); } void universal_trv0_bef(UniversalVisitor _v_) { _v_.before(this); } void universal_trv0_aft(UniversalVisitor _v_) { _v_.after(this); } void universal_trv0(UniversalVisitor _v_) { universal_trv0_bef(_v_); _v_.before_x(this, x); x.universal_trv0(_v_); _v_.after_x(this, x); _v_.before_y(this, y); y.universal_trv0(_v_); _v_.after_y(this, y); universal_trv0_aft(_v_); } void saveGraph_UGraph_trv_bef(SaveGraphVisitor sgv) { sgv.before(this); } void saveGraph_UGraph_trv_aft(SaveGraphVisitor sgv) { sgv.after(this); } void saveGraph_UGraph_trv(SaveGraphVisitor sgv) { saveGraph_UGraph_trv_bef(sgv); x.saveGraph_UGraph_trv(sgv); y.saveGraph_UGraph_trv(sgv); saveGraph_UGraph_trv_aft(sgv); } void saveMarkedGraph_UGraph_trv_bef(SelectMarkedVisitor v) { } void saveMarkedGraph_UGraph_trv_aft(SelectMarkedVisitor v) { v.after(this); } void saveMarkedGraph_UGraph_trv_aro_Coordinates(SelectMarkedVisitor v) { x.saveMarkedGraph_UGraph_trv(v); y.saveMarkedGraph_UGraph_trv(v); } static java.lang.reflect.Method saveMarkedGraph_UGraph_trv_aro_Coordinates; static { try { saveMarkedGraph_UGraph_trv_aro_Coordinates = Coordinates.class.getDeclaredMethod("saveMarkedGraph_UGraph_trv_aro_Coordinates", new Class[] { SelectMarkedVisitor.class }); } catch (NoSuchMethodException e) { throw new RuntimeException(e.toString()); } } void saveMarkedGraph_UGraph_trv(SelectMarkedVisitor v) { saveMarkedGraph_UGraph_trv_bef(v); v.around(new __Subtraversal(saveMarkedGraph_UGraph_trv_aro_Coordinates, this, new Object[] { v }), this); saveMarkedGraph_UGraph_trv_aft(v); } void toallCdString_UVertex_trv_bef(cdStringVisitor __v0) { } void toallCdString_UVertex_trv_aft(cdStringVisitor __v0) { } void toallCdString_UVertex_trv(cdStringVisitor __v0) { toallCdString_UVertex_trv_bef(__v0); x.toallCdString_UVertex_trv(__v0); y.toallCdString_UVertex_trv(__v0); toallCdString_UVertex_trv_aft(__v0); } }