# HG changeset patch # User Ryoma SHINYA # Date 1297497159 -32400 # Node ID 92507d2696153fc34e60e0f37fd952bae6e3b3dd # Parent d591da6e29882ccc4a9c8b234548adf42197c654 modify filtering rules. diff -r d591da6e2988 -r 92507d269615 pyrect/translator/grep_translator.py --- a/pyrect/translator/grep_translator.py Sat Feb 12 16:41:25 2011 +0900 +++ b/pyrect/translator/grep_translator.py Sat Feb 12 16:52:39 2011 +0900 @@ -26,7 +26,7 @@ self.__bufsize = 1024 * 1024 self.thread_dfa = 1 self.thread_line = 1 - self.filter = "quick" + self.filter = True self.filter_only = False self.filter_prefix = False self.skip_boost = True @@ -61,7 +61,7 @@ key = None - if (self.filter == "bmh" or self.filter == "quick" or self.filter == "memchr")\ + if (self.filter == True or self.filter == "bmh" or self.filter == "quick" or self.filter == "memchr")\ and self.regexp.must_words: key = max(self.regexp.must_words, key=len) if len(self.regexp.must_words) == 1 and len(key) == self.regexp.min_len: @@ -81,10 +81,12 @@ elif self.filter == "quick": self.emit_quick_filter(key) elif self.filter: - if len(key) > 5: + if len(key) < 8: + self.filter = "memchr" + self.emit_memchr_filter(key) + else: + self.filter = "quick" self.emit_quick_filter(key) - else: - self.emit_memchr_filter(key) if self.skip_boost and not self.filter_only and \ not AnyChar() in self.regexp.chars and \