Event args used after the Xml traversal is finished.
Inheritance: System.EventArgs
XmlEndTraverseEventArgs Class Documentation
コード例 #1
0
ファイル: CFGASTNodeVisitor.cs プロジェクト: jtvn/Eir-CTLLTL 
 public void TraverseEnd(object sender, XmlEndTraverseEventArgs e)
 {
 }
コード例 #2
0
ファイル: CFGCreator.cs プロジェクト: jtvn/Eir-CTLLTL 
 public void TraverseEnd(object sender, XmlEndTraverseEventArgs e)
 {
     ConnectBlocks(CurrentBlock, _exitBlock, EdgeType.Normal);
 }
コード例 #3
0
ファイル: GotoCounter.cs プロジェクト: jtvn/Eir-CTLLTL 
 public void TraverseEnd(object sender, XmlEndTraverseEventArgs e)
 {
     //System.IO.File.AppendAllText("john.txt", "GOTOs: " + _gotos);
 }
コード例 #4
0
 public void TraverseEnd(object sender, XmlEndTraverseEventArgs e)
 {
 }