/**
*
* 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());
}