Пример #1
0
        public filter(create_match_func creator)
        {
            create_match = creator;

            var empty_match = new_match(new BitArray(0), line.empty_line(), -1, font_info.default_font.copy());

            matches_ = new match_list(empty_match);
        }
Пример #2
0
        public filter(create_match_func creator) {
            create_match = creator;

            var empty_match = new_match(new BitArray(0), line.empty_line(), -1, font_info.default_font_copy);
            matches_ = new match_list(empty_match);
        }