C# (CSharp) Mono.CodeContracts.Static.Analysis.Numerical BoxedVariable.ResetFreshVariableCounter示例

示例#1

                protected GenericValueAnalysis(string methodName,
                                               IMethodDriver <TExpr, TVar> methodDriver)
                {
                    ThresholdDB.Reset();
                    BoxedVariable <TVar> .ResetFreshVariableCounter();

                    //        method_name = methodName;
                    method_driver = methodDriver;

                    EvaluatorOfConstants = new ConstantEvaluator(ContextProvider,
                                                                 MetaDataProvider);
                }

示例#2

 public void ResetFreshVariableCounter()
 {
     BoxedVariable <TVar> .ResetFreshVariableCounter();
 }