/** * * Construct a Scanner object, attached to a Tree and a PrefixTester object * * @param t * Tree to use * @param prefix_tester * PrefixTester to use */ public Scanner(Tree t, PrefixTester prefix_tester, PatternExpander pattern_expander, TreeLoader loader) { this.tree = t; this.prefix_tester = prefix_tester; this.pattern_expander = pattern_expander; this.loader = loader; }
public ScannerGoodUrl(TreeLoader loader) : base(new TreeUrl(), new PrefixTesterUrl(), new PatternExpanderUrl(), loader) { GetPatternExpander().setTarget(GetTree()); }
public ScannerPhrase(TreeLoader loader) : base(new TreePhrase(), new PrefixTesterUrl(), new PatternExpanderPhrase(), loader) { this.GetPatternExpander().setTarget(GetTree()); }