public SwallowedCounterOutput(IOutputFullResults <Method, Assembly> inner) : base(inner) { Contract.Requires(inner != null); this.swallowed = new SwallowedBuckets(); }
public MaskingOutput(IOutputFullResults <Method, Assembly> output, GeneralOptions options, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder) : base(output) { Contract.Requires(output != null); Contract.Requires(options != null); Contract.Requires(mdDecoder != null); this.options = options; this.mdDecoder = mdDecoder; this.currMethod = default(Method); this.methodmask = null; this.assemblymask = null; this.swallowedCount = new SwallowedBuckets(); this.suppressWarningsManager = new SuppressWarningsManager <Method>(); this.errorsWereEmitted = false; }
public XmlBaseLineComparer(IOutputFullResults <Method, Assembly> output, GeneralOptions options, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder, CacheManager <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, ExternalExpression <APC, SymbolicValue>, SymbolicValue> cacheManager, string xmlBaseLineFile) : base(output, options, mdDecoder) { this.cacheManager = cacheManager; try { this.baseLineRoot = XElement.Load(xmlBaseLineFile); // gets pool of *all* expected outcomes (currently, does not distinguish by method) expectedAssemblyOutcomes = BaseLineOutcomes.GetOutcomes(this.GetAssemblyRoots(), this.options.baseLineStrategy); } catch (System.Xml.XmlException) { output.WriteLine("Error: baseline file {0} is corrupted", xmlBaseLineFile); Environment.Exit(-1); } this.swallowedCounter = new SwallowedBuckets(); }
public QuantitativeOutput( bool SortWarnings, bool ShowScores, bool showJustification, Func <WarningLevelOptions> WarningLevel, WarningScoresManager scoresManager, int MaxWarnings, IOutputFullResults <Method, Assembly> output) : base(output) { Contract.Requires(scoresManager != null); Contract.Requires(output != null); this.sortWarnings = SortWarnings; this.showJustification = showJustification; this.showScores = ShowScores; this.warningLevel = WarningLevel; this.maxWarnings = MaxWarnings; this.scoresManager = scoresManager; this.warnings = new SortedDictionary <double, List <Bucket> >(new InverseNaturalOrder()); this.emitCount = 0; this.outcomeCount = 0; this.swallowedCount = new SwallowedBuckets(); }