/// <summary>
/// Run the analysis for the arithmetic checking
/// </summary>
public override IMethodResult <Variable> Analyze <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable>
(
string methodFullName,
IMethodDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, ILogOptions> methodDriver,
Predicate <APC> cachePCs
)
//where Variable : IEquatable<Variable>
//where Expression : IEquatable<Expression>
//where Type : IEquatable<Type>
{
// F: For the moment we do not have iterative application of the analysis for those
var result = AnalysisWrapper.RunTheArithmeticAnalysis(methodFullName, methodDriver, options[0].Type, options[0], cachePCs);
return(result);
}
