def read_matches(self):
# Now read the common-segment stuff
+ if self.cliques:
+ return
self.files = {}
locations = []
while 1:
def extract_text(self, clique):
"Return text corresponding to the given clique."
- if self.matches and not self.cliques:
- self.read_matches()
+ self.read_matches()
text = None
if self.dir:
olddir = os.getcwd()
def filter_by_size(self, minsize):
"Throw out all common segments below a specified size."
- if self.matches and not self.cliques:
- self.read_matches()
+ self.read_matches()
filtered = []
for clique in self.cliques:
for (file, start, end) in clique: