|
@@ -0,0 +1,28 @@
|
|
|
|
|
+
|
|
|
|
|
+from time import time
|
|
|
|
|
+
|
|
|
|
|
+class DeltaProfiler:
|
|
|
|
|
+ """
|
|
|
|
|
+ This is a Python specific ProfileTimer.cxx.
|
|
|
|
|
+ It's not related directly to the ProfileTimer code, it just
|
|
|
|
|
+ shares some concepts.
|
|
|
|
|
+ """
|
|
|
|
|
+ def __init__(self, name=""):
|
|
|
|
|
+ self.name=name
|
|
|
|
|
+ self.priorLabel = ""
|
|
|
|
|
+ self.priorTime = 0
|
|
|
|
|
+ self.active=0
|
|
|
|
|
+
|
|
|
|
|
+ def printDeltaTime(self, label):
|
|
|
|
|
+ if self.active:
|
|
|
|
|
+ deltaTime=time()-self.priorTime
|
|
|
|
|
+ print "%s DeltaTime %-25s to %-25s: %3.5f"%(
|
|
|
|
|
+ self.name,
|
|
|
|
|
+ self.priorLabel,
|
|
|
|
|
+ label,
|
|
|
|
|
+ deltaTime)
|
|
|
|
|
+ self.priorLabel=label
|
|
|
|
|
+ # The printing time is not included in the timing.
|
|
|
|
|
+ # This is intentional.
|
|
|
|
|
+ self.priorTime=time()
|
|
|
|
|
+
|