public void TraverseEnd(object sender, XmlEndTraverseEventArgs e) { }
public void TraverseEnd(object sender, XmlEndTraverseEventArgs e) { ConnectBlocks(CurrentBlock, _exitBlock, EdgeType.Normal); }
public void TraverseEnd(object sender, XmlEndTraverseEventArgs e) { //System.IO.File.AppendAllText("john.txt", "GOTOs: " + _gotos); }