Esempi in C# (CSharp) per Mono.CodeContracts.Static.Analysis.Numerical BoxedVariable.ResetFreshVariableCounter

Esempio n. 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);
                }

Esempio n. 2

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