public static IMethodResult <Variable> HelperForRunTheArithmeticAnalysis
(
string methodName, ADomainKind adomain,
IMethodDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, ILogOptions> /*!*/ driver,
Analyzers.Arithmetic.ArithmeticOptions options,
Predicate <APC> cachePCs
)
{
return(RunTheAnalysis(methodName, driver, new ArithmeticAnalysis(methodName, driver, options, adomain, cachePCs)));
}
public ArithmeticObligations
(
IMethodDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, ILogOptions> mdriver,
Analyzers.Arithmetic.ArithmeticOptions myOptions
)
{
this.MethodDriver = mdriver;
this.myOptions = myOptions;
this.Run(this.MethodDriver.ValueLayer);
}
/// <summary>
/// The entry point for running the arithmetic analysis
/// </summary>
public static IMethodResult <Variable> RunTheArithmeticAnalysis <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable>
(
string methodName,
IMethodDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, ILogOptions> driver,
ADomainKind adomain, Analyzers.Arithmetic.ArithmeticOptions options,
Predicate <APC> cachePCs
)
where Variable : IEquatable <Variable>
where Expression : IEquatable <Expression>
where Type : IEquatable <Type>
{
return(TypeBindings <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable> .HelperForRunTheArithmeticAnalysis(methodName, adomain, driver, options, cachePCs));
}
