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;
}
