public XMLReader()
{
trace = new List <List <string> >();
graph = new Processor();
builder = null;
idLabel = new Dictionary <string, string>();
labelId = new Dictionary <string, string>();
}
private void Build(bool optimize)
{
builder = new XMLBuilder(graph, trace, idLabel, labelId);
builder.Build();
if (optimize)
{
builder.Optimize();
}
}