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