public bool TryInferPrecondition(ProofObligation obl, ICodeFixesManager codefixesManager, out InferredPreconditions preConditions) { DateTime now = DateTime.Now; bool flag = this.inner.TryInferPrecondition(obl, codefixesManager, out preConditions); PreconditionInferenceProfiler.inferenceTime += DateTime.Now - now; if (preConditions == null) return false; if (flag) PreconditionInferenceProfiler.inferred += Enumerable.Count<IInferredPrecond>((IEnumerable<IInferredPrecond>) preConditions); return flag; }
public bool TryInferPrecondition(ProofObligation obl, ICodeFixesManager codefixesManager, out InferredPreconditions preConditions) { preConditions = (InferredPreconditions) null; foreach (IPreconditionInference preconditionInference in this.inferencers) { InferredPreconditions preConditions1; if (preconditionInference != null && preconditionInference.TryInferPrecondition(obl, codefixesManager, out preConditions1)) { if (preConditions == null) preConditions = preConditions1; else preConditions.AddRange((IEnumerable<IInferredPrecond>) preConditions1); } } return preConditions != null; }
public bool TryInferPrecondition(ProofObligation obl, ICodeFixesManager codefixesManager, out InferredPreconditions preConditions) { preConditions = (InferredPreconditions)null; return false; }