|
@@ -25,7 +25,7 @@ class FileInterval(Interval): |
|
|
self.end_offset = end_offset |
|
|
self.end_offset = end_offset |
|
|
|
|
|
|
|
|
def __setattr__(self, name, value): |
|
|
def __setattr__(self, name, value): |
|
|
|
|
|
|
|
|
|
|
|
pass |
|
|
|
|
|
|
|
|
def subset(self, start, end): |
|
|
def subset(self, start, end): |
|
|
"""Return a new Interval that is a subset of this one""" |
|
|
"""Return a new Interval that is a subset of this one""" |
|
|