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