public EnumFactQuery(EnumAnalysis analysis, IFixpointInfo <APC, EnumDefined <BoxedVariable <Variable>, Type, BoxedExpression> > fixpoint)
{
Contract.Requires(analysis != null);
this.analysis = analysis;
this.fixpoint = fixpoint;
}
public EnumAnalysisWrapperPlugIn(EnumAnalysis enumAnalysis, int id, string methodName,
IMethodDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, Expression, Variable, ILogOptions> mdriver,
ILogOptions options, Predicate <APC> cachePCs)
: base(id, methodName, mdriver, new PlugInAnalysisOptions(options), cachePCs)
{
Contract.Requires(enumAnalysis != null);
this.enumAnalysis = enumAnalysis;
}
