public SwallowedCounterOutput(IOutputFullResults <Method, Assembly> inner) : base(inner) { Contract.Requires(inner != null); this.swallowed = new SwallowedBuckets(); }
public RegressionOutput(IOutputFullResults <Method, Assembly> output, GeneralOptions options, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder) : base(output) { this.options = options; this.mdDecoder = mdDecoder; this.methodAnalysisCount = new Dictionary <Method, int>(); }
public WarningSuggestionLinkOutput(IOutputFullResults <Method, Assembly> inner) : base(inner) { Contract.Requires(inner != null); this.suppressWarningManager = new SuppressWarningsManager <Method>(); this.DB = null; }
public ExternallyVisibleMethodsOnlyOutput(IOutputFullResults <Method, Assembly> inner, Predicate <Method> IsVisibleOutsideTheAssembly) : base(inner) { Contract.Requires(inner != null); Contract.Requires(IsVisibleOutsideTheAssembly != null); this.IsVisibleOutsideTheAssembly = IsVisibleOutsideTheAssembly; this.isMethodOk = false; }
public MaskingSuggestions(string methodName, IOutputFullResults <Method, Assembly> inner) : base(inner) { Contract.Requires(methodName != null); Contract.Requires(inner != null); this.methodName = methodName; this.ok = false; }
public XmlBaseLineWriter(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 targetFileName) : base(output, options, mdDecoder) { this.targetFileName = targetFileName; this.cacheManager = cacheManager; var settings = new XmlWriterSettings(); settings.Indent = true; this.xmlWriter = XmlWriter.Create(targetFileName, settings); this.xmlWriter.WriteStartElement("Assembly"); }
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(); }
public MaskVerifiedRepairsSuggestions(IOutputFullResults <Method, Assembly> inner) : base(inner) { Contract.Requires(inner != null); }
public XmlBaseLine(IOutputFullResults <Method, Assembly> output, GeneralOptions options, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder) { this.output = output; this.options = options; this.mdDecoder = mdDecoder; }