equal
deleted
inserted
replaced
77 } |
77 } |
78 |
78 |
79 public int spaceBetween(Region r2) { |
79 public int spaceBetween(Region r2) { |
80 return ((Vertex)(r2.getVertices().nextElement())).leftX()- |
80 return ((Vertex)(r2.getVertices().nextElement())).leftX()- |
81 ((Vertex)(vertices.lastElement())).rightX()- |
81 ((Vertex)(vertices.lastElement())).rightX()- |
82 gra.box_hspace+gra.box_width; |
82 20; |
83 } |
83 } |
84 |
84 |
85 public boolean touching(Region r2) { |
85 public boolean touching(Region r2) { |
86 return spaceBetween(r2)==0; |
86 return spaceBetween(r2)==0; |
87 } |
87 } |