Minor fixes in tools/draw-diagram dev
authorDmitriy Morozov <dmitriy@mrzv.org>
Fri, 06 May 2011 10:38:06 -0700
branchdev
changeset 243 c9b8c98187a8
parent 242 a06b4b515476
child 244 66235db8d8b7
Minor fixes in tools/draw-diagram
tools/draw-diagram/draw.py
tools/draw-diagram/pd.py
--- a/tools/draw-diagram/draw.py	Tue Apr 05 18:29:50 2011 -0700
+++ b/tools/draw-diagram/draw.py	Fri May 06 10:38:06 2011 -0700
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 
 import  pd
 from    sys         import argv, exit
--- a/tools/draw-diagram/pd.py	Tue Apr 05 18:29:50 2011 -0700
+++ b/tools/draw-diagram/pd.py	Fri May 06 10:38:06 2011 -0700
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python2
 
 # Author: Dmitriy Morozov <morozov@cs.duke.edu>
 # (2004-2008) Department of Computer Science, Duke University
@@ -14,7 +14,7 @@
             ymin = math.floor(min(self.ymin,-1) - radius - 1)
         else:
             xmin,ymin,xmax,ymax = dimensions
-        
+
         minmax = min([xmax, ymax])
         maxmin = max([xmin, ymin])
         for i in xrange(int(math.floor(xmin)),int(math.ceil(xmax)), spacing):
@@ -65,7 +65,7 @@
             self.drawAxes(c, radius, axes, dimensions)
             self.drawCanvas(c, self.points[d], color, filled, radius)
             c.writePDFfile(filename + str(d))
-    
+
     def add(self, d, p, filter):
         x,y = p
         p = filter(x,y)
@@ -82,16 +82,16 @@
         if abs(y) != float('inf'):
             self.ymax = max(y,self.ymax)
             self.ymin = min(y,self.ymin)
-    
+
     def load(self,filename, filter):
         self.xmax = self.ymax = 0
         self.xmin = self.ymin = 0
         f = file(filename, 'r')
         for line in f:
             if line.strip().startswith('#'): continue
-            dim,xstr,ystr = string.split(line)
+            dim,xstr,ystr = string.split(line)[:3]
             self.add(dim, (float(xstr),float(ystr)), filter)
-    
+
     def __init__(self, filename, filter = lambda x,y: (x,y)):
         self.points = {}
         self.load(filename, filter)