% (self.rx1, self.ry1, self.rx2, self.ry2, self.thickness)
)
+class ElementBox (object):
+ def __init__ (self, rx1, ry1, rx2, ry2, thickness):
+ self.rx1 = rx1
+ self.ry1 = ry1
+ self.rx2 = rx2
+ self.ry2 = ry2
+ self.thickness = thickness
+
+ def write (self, f):
+ ElementLine(self.rx1, self.ry1, self.rx1, self.ry2, self.thickness).write(f)
+ ElementLine(self.rx1, self.ry2, self.rx2, self.ry2, self.thickness).write(f)
+ ElementLine(self.rx2, self.ry2, self.rx2, self.ry1, self.thickness).write(f)
+ ElementLine(self.rx2, self.ry1, self.rx1, self.ry1, self.thickness).write(f)
+
class ElementArc (object):
def __init__ (self, rx, ry, width, height, start_angle, delta_angle, thickness):
self.rx = rx