Searched refs:newdfa (Results 1 – 1 of 1) sorted by relevance
187 def push(self, type, newdfa, newstate, context): argument192 self.stack.append((newdfa, 0, newnode))