/**
*
* 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 void Load(System.IO.TextReader reader, PatternExpander pattern_expander, String prefix, TreeFlag flag)
{
String line;
while ((line = reader.ReadLine()) != null)
{
if (line.Length > 4)
{
pattern_expander.add(prefix, line, flag);
}
}
}