public abstract bool ExecuteAbstractDomainFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Opts, Result, Data>(
IClassDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Opts, IMethodResult <Variable> > cdriver,
IResultsFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Result, Data> functor,
Data data,
out Result result)
where Variable : IEquatable <Variable>
where Expression : IEquatable <Expression>
where Type : IEquatable <Type>
where Opts : IFrameworkLogOptions;
override public bool ExecuteAbstractDomainFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Options, Result, Data>(
IClassDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Options, IMethodResult <Variable> > cdriver,
IResultsFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Result, Data> functor,
Data data,
out Result result)
//where Variable : IEquatable<Variable>
//where Expression : IEquatable<Expression>
//where Type : IEquatable<Type>
//where Options : IFrameworkLogOptions
{
var aoi = new AnalysisWrapper.TypeBindings <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable> .AbstractOperationsImplementationNumerical <Bounds.BoundsOptions>();
return(functor.Execute(aoi, data, out result));
}
override public bool ExecuteAbstractDomainFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Options, Result, Data>(
IClassDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Options, IMethodResult <Variable> > cdriver,
IResultsFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Result, Data> functor,
Data data,
out Result result)
//where Variable : IEquatable<Variable>
//where Expression : IEquatable<Expression>
//where Type : IEquatable<Type>
//where Options : IFrameworkLogOptions
{
// TODO !!!
result = default(Result);
return(false);
}
public override bool ExecuteAbstractDomainFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Opts, Result, Data>(IClassDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Opts, IMethodResult <Variable> > cdriver, IResultsFunctor <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, Result, Data> functor, Data data,
out Result result)
{
// F: TODO: implement it
result = default(Result);
return(false);
}