C# (CSharp) ISSE.SafetyChecking.Formula FormulaVisitor示例

示例#1

文件： Formula.cs 项目： pascalpfeil/ssharp

 /// <summary>
 ///   Executes the <paramref name="visitor" /> for this formula.
 /// </summary>
 /// <param name="visitor">The visitor that should be executed.</param>
 internal abstract void Visit(FormulaVisitor visitor);

示例#2

文件： RewardFormula.cs 项目： pascalpfeil/ssharp

 /// <summary>
 ///   Executes the <paramref name="visitor" /> for this formula.
 /// </summary>
 /// <param name="visitor">The visitor that should be executed.</param>
 internal override void Visit(FormulaVisitor visitor)
 {
     visitor.VisitRewardFormula(this);
 }

示例#3

文件： UnaryFormula.cs 项目： pascalpfeil/ssharp

 /// <summary>
 ///   Executes the <paramref name="visitor" /> for this formula.
 /// </summary>
 /// <param name="visitor">The visitor that should be executed.</param>
 internal override void Visit(FormulaVisitor visitor)
 {
     visitor.VisitUnaryFormula(this);
 }