コード例 #1
0
ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie
 public StandardVisitor(Visitor callingVisitor) {
   this.callingVisitor = callingVisitor;
 }
コード例 #2
0
ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie
 public ReadOnlyVisitor(Visitor callingVisitor)
 {
     this.callingVisitor = callingVisitor;
 }
コード例 #3
0
ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie
 /// <summary>
 /// Transfers the state from one visitor to another. This enables separate visitor instances to cooperative process a single IR.
 /// </summary>
 public virtual void TransferStateTo(Visitor targetVisitor) {
 }