public void Should_Construct_Correctly() { var SubjectUnderTest = new Violation(errorMessage, property, this.o); Assert.AreEqual(errorMessage, SubjectUnderTest.ErrorMessage); Assert.AreEqual(property, SubjectUnderTest.Property); Assert.AreEqual(this.o, SubjectUnderTest.AttemptedValue); }
public void AddIncident(ulong id, string user, string violationDesc, string channel) { // it is not a violation if the message is a DM to @HassBot if (channel.Contains(user)) { return; } Violation newIncident = new Violation(); newIncident.ViolationChannel = channel; newIncident.ViolationDateTime = DateTime.Now; newIncident.ViolationDescription = violationDesc; // get current list of incidents for that user List <Violation> incidents = GetIncidentsByUser(id); if (null == incidents) { // first time violator ViolatorDTO violation = new ViolatorDTO(); violation.ViolatorId = id; violation.ViolatorName = user; violation.Violations.Add(newIncident); _violations.Add(violation); } else { incidents.Add(newIncident); } SaveViolations(); }
private void Now_Click(object sender, RoutedEventArgs e) { Grid grid = ((Grid)((TextBlock)(sender as Hyperlink).Parent).Parent); Violation violation = (grid.DataContext as Violation); violation.ViolationState = ViolationType.OPEN; }
public ActionResult Edit(ViolationViewModel vm) { if (ModelState.IsValid) { Violation existingViolation = this.eventTasks.GetViolation(vm.Name); if (existingViolation == null || (existingViolation != null && existingViolation.Id == vm.Id)) { Violation violation = this.eventTasks.GetViolation(vm.Id); violation.Name = vm.Name; violation.Keywords = vm.Keywords; violation.Description = vm.Description; violation.ConditionalityInterest = vm.ConditionalityInterest; if (vm.ParentViolationID.HasValue) { violation.ParentViolation = this.eventTasks.GetViolation(vm.ParentViolationID.Value); } else { violation.ParentViolation = null; } violation = this.eventTasks.SaveViolation(violation); return(RedirectToAction("Details", new { id = vm.Id })); } else { ViewData.ModelState.AddModelError("Name", "A violation with that name already exists."); } } return(Edit(vm.Id)); }
public ActionResult Create(ViolationViewModel vm) { if (ModelState.IsValid) { // TODO would be nice to have a unique constraint annotation we could use on the view model if (this.eventTasks.GetViolation(vm.Name) == null) { Violation violation = new Violation(); violation.Name = vm.Name; violation.Keywords = vm.Keywords; violation.Description = vm.Description; violation.ConditionalityInterest = vm.ConditionalityInterest; if (vm.ParentViolationID.HasValue) { violation.ParentViolation = this.eventTasks.GetViolation(vm.ParentViolationID.Value); } violation = this.eventTasks.SaveViolation(violation); return(RedirectToAction("Details", new { id = violation.Id })); } else { ViewData.ModelState.AddModelError("Name", "A violation with that name already exists."); } } return(Create()); }
public IEnumerable <StyleCopCodeIssue> GetCodeIssues( ISourceCode sourceCode, Func <ElementTypeFilter, IEnumerable <IElement> > enumerate, Violation violation, CsElement csElement) { CodePoint startPoint = null; CodePoint endPoint = null; bool emptyLine = true; foreach (var token in csElement.ElementTokens.Flatten().Where(x => x.LineNumber == violation.Line)) { if (startPoint == null) { startPoint = token.Location.StartPoint; endPoint = token.Location.EndPoint; emptyLine = token.CsTokenType == CsTokenType.WhiteSpace || token.CsTokenType == CsTokenType.EndOfLine; } if (token.CsTokenType != CsTokenType.WhiteSpace && token.CsTokenType != CsTokenType.EndOfLine) { if (emptyLine) { startPoint = token.Location.StartPoint; emptyLine = false; } endPoint = token.Location.EndPoint; } else if (token.CsTokenType == CsTokenType.EndOfLine) { yield return(new StyleCopCodeIssue(CodeIssueType.CodeSmell, new SourceRange(startPoint.LineNumber, startPoint.IndexOnLine + 1, endPoint.LineNumber, endPoint.IndexOnLine + 2))); } } }
public ActionResult Edit(int id) { Violation v = this.eventTasks.GetViolation(id); if (v != null) { ViolationViewModel vm = new ViolationViewModel(); vm.Id = v.Id; vm.Name = v.Name; vm.Keywords = v.Keywords; vm.Description = v.Description; vm.ConditionalityInterest = v.ConditionalityInterest; if (v.ParentViolation != null) { vm.ParentViolationID = v.ParentViolation.Id; } IList <Violation> parentCandidates = this.eventTasks.GetViolations(); parentCandidates.Remove(v); vm.PopulateDropDowns(parentCandidates); return(View(vm)); } else { return(new HttpNotFoundResult()); } }
private User GetUserBy(string userId) { var user = this.FindUserBy(userId); Fail.IfNull(user, Violation.Of("There is no user with id '{0}'", userId)); return(user !); }
public List <Target> GetTargets(Violation v) { List <Target> targets = new List <Target>(); targets.Add(new Target() { Hardware = this.Model.HardwareModel.FullyQualifiedSymbolMap["x86/x86_pae"].Clone() as Hardware, OperatingSystem = this.Model.OperatingSystemModel.FullyQualifiedSymbolMap["windows/seven/rtm/32bit"].Clone() as MSModel.OperatingSystem, Application = this.Model.ApplicationModel.FullyQualifiedSymbolMap["windows/ie/ie8/32bit"].Clone() as MSModel.Application, Violation = v }); targets.Add(new Target() { Hardware = this.Model.HardwareModel.FullyQualifiedSymbolMap["x86/x86_pae"].Clone() as Hardware, OperatingSystem = this.Model.OperatingSystemModel.FullyQualifiedSymbolMap["windows/eight/rtm/32bit"].Clone() as MSModel.OperatingSystem, Application = this.Model.ApplicationModel.FullyQualifiedSymbolMap["windows/ie/ie9/32bit"].Clone() as MSModel.Application, Violation = v }); targets.Add(new Target() { Hardware = this.Model.HardwareModel.FullyQualifiedSymbolMap["x86/x86_pae"].Clone() as Hardware, OperatingSystem = this.Model.OperatingSystemModel.FullyQualifiedSymbolMap["windows/eight/rtm/64bit"].Clone() as MSModel.OperatingSystem, Application = this.Model.ApplicationModel.FullyQualifiedSymbolMap["windows/ie/ie10/64bit"].Clone() as MSModel.Application, Violation = v }); return(targets); }
private void SetFormatViolation() { SetCellFormat("Сумма штрафа", "N0"); SetRightAligment("Сумма штрафа"); ViolationList violationList = ViolationList.getInstance(); foreach (DataGridViewRow row in _dgv.Rows) { int id; int.TryParse(row.Cells[0].Value.ToString(), out id); Violation violation = violationList.getItem(id); if (violation.Sent) { row.Cells["№ постановления"].Style.BackColor = Color.MediumPurple; } if (violation.FilePay != string.Empty) { row.Cells["Дата оплаты"].Style.BackColor = Color.MediumPurple; } } }
public IEnumerable <StyleCopCodeIssue> GetCodeIssues( ISourceCode sourceCode, Func <ElementTypeFilter, IEnumerable <IElement> > enumerate, Violation violation, CsElement csElement) { CodeLocation issueLocation = null; foreach (var token in this.getTokens(csElement).Flatten().Where(x => x.LineNumber == violation.Line)) { if (this.reportIssueFor(token, violation)) { issueLocation = token.Location; } else if (this.bannedFollowers.Contains(token.CsTokenType) && issueLocation != null) { yield return(new StyleCopCodeIssue(CodeIssueType.CodeSmell, new SourceRange(issueLocation.StartPoint.LineNumber, issueLocation.StartPoint.IndexOnLine + 1, issueLocation.EndPoint.LineNumber, issueLocation.EndPoint.IndexOnLine + 2))); issueLocation = null; } else { issueLocation = null; } } }
public IEnumerable <StyleCopCodeIssue> GetCodeIssues( ISourceCode sourceCode, Func <ElementTypeFilter, IEnumerable <IElement> > enumerate, Violation violation, CsElement csElement) { foreach (var operation in from x in enumerate(new ElementTypeFilter(LanguageElementType.LogicalOperation)) let logicalOperation = (LogicalOperation)x.ToLanguageElement() where logicalOperation.RecoveredRange.Start.Line == violation.Line && (logicalOperation.LeftSide.ElementType == LanguageElementType.LogicalOperation || logicalOperation.RightSide.ElementType == LanguageElementType.LogicalOperation) select logicalOperation) { var parentType = operators[operation.Name]; var leftChildType = operation.LeftSide.ElementType == LanguageElementType.LogicalOperation ? operators[operation.LeftSide.Name] : parentType; var rightChildType = operation.RightSide.ElementType == LanguageElementType.LogicalOperation ? operators[operation.RightSide.Name] : parentType; if (rightChildType > parentType) { yield return(new StyleCopCodeIssue(CodeIssueType.CodeSmell, operation.RightSide.RecoveredRange)); } else if (leftChildType > parentType) { yield return(new StyleCopCodeIssue(CodeIssueType.CodeSmell, operation.LeftSide.RecoveredRange)); } } }
public InitializeDestinationContentPrimitive( string name = "initialize content at destination address of write", MemoryAddress destinationAddress = null, MemoryAccessParameterState newContentState = MemoryAccessParameterState.Controlled, Expression <Func <SimulationContext, bool> > constraints = null, PrimitiveTransitionSuccessDelegate onSuccess = null ) : base(ExploitationPrimitiveType.Identity, "initialize_destination_content", name) { this.DestinationAddress = destinationAddress; this.NewContentState = newContentState; this.ConstraintList.Add( (context) => ( (context.Global.AssumeContentInitializationPossible == false) && (context.AttackerFavorsEqual(context.CurrentViolation.Method, MemoryAccessMethod.Write) == true) && ( (context.AttackerFavorsEqual(context.CurrentViolation.ContentDstState, MemoryAccessParameterState.Uninitialized) == true) || (context.AttackerFavorsEqual(context.CurrentViolation.ContentDstState, MemoryAccessParameterState.Unknown) == true) ) && (context.AttackerFavorsEqual(context.CurrentViolation.Address, this.DestinationAddress) == true) && (context.CanCorruptMemoryAtAddress(this.DestinationAddress) == true) ) ); this.NextViolationDelegate = (context) => { Violation v = context.CurrentViolation.CloneViolation(); v.ContentDstState = this.NewContentState; v.Address = this.DestinationAddress; return(v); }; this.OnSuccess += onSuccess; if (constraints != null) { this.ConstraintList.Add(constraints); } }
private void OnViolationEncountered(object sender, ViolationEventArgs e) { if (e.SourceCode != null) { var violation = new Violation(e.Violation.Rule.CheckId, e.Message, e.LineNumber); this.violations.AddViolationToFile(e.SourceCode.Path, violation); } }
public List <Contractor> GetContractorsAged(DateTime minDate, DateTime?maxDate) { Fail.IfNotDate(minDate, Violation.Of("minDate must be a midnight")); Fail.IfNotDate(maxDate, Violation.Of("maxDate must be a midnight")); // WARN: Below is sample code with no sense at all return(new List <Contractor>(0)); }
public void ToStringReturnsViolationAsLine() { var expectedResult = "Line 666: [SA666] You cannot do this."; var violation = new Violation("SA666", "You cannot do this.", 666); Assert.AreEqual(expectedResult, violation.ToString()); }
public ActionResult DeleteConfirmed(int id) { Violation violation = db.Violations.Find(id); violation.Is_Deleted = true; db.SaveChanges(); return(RedirectToAction("Index")); }
protected ThreadStaticContextScope() { // WARN: nested scopes are not supported as it it to erroneous Fail.IfNotNull(ThreadStaticContextScope <T> .Sack, Violation.Of(nameof(ThreadStaticContextScope <T>) + " was not cleared properly - are you trying to nest the scope? It is forbidden.")); ThreadStaticContextScope <T> .Sack = new SackOf <T>(); }
public IEnumerable <StyleCopCodeIssue> GetCodeIssues( ISourceCode sourceCode, Func <ElementTypeFilter, IEnumerable <IElement> > enumerate, Violation violation, CsElement csElement) { return(Enumerable.Empty <StyleCopCodeIssue>()); }
public IEnumerable <StyleCopCodeIssue> GetCodeIssues( ISourceCode sourceCode, Func <ElementTypeFilter, IEnumerable <IElement> > enumerate, Violation violation, CsElement csElement) { return(this.issueLocators.SelectMany(locator => locator.GetCodeIssues(sourceCode, enumerate, violation, csElement))); }
public ActionResult DeleteConfirmed(int id) { Violation violation = db.Violations.Find(id); db.Violations.Remove(violation); db.SaveChanges(); return(RedirectToAction("Index")); }
public void IfFalseSuccess() { // ARRANGE var someTrueValue = true; // ACT Fail.IfFalse(someTrueValue, Violation.Of("this should be true")); }
public void IfTrueSuccess() { // ARRANGE var someFalseValue = false; // ACT Fail.IfTrue(someFalseValue, Violation.Of("this should be false")); }
public void Delete(int idViolation) { Violation violation = getItem(idViolation); list.Remove(violation); violation.Delete(); }
public void IfEmptyWithMessageSuccess() { // ARRANGE Guid notEmptyGuid = Guid.NewGuid(); // ACT Fail.IfEmpty(notEmptyGuid, Violation.Of("guid is empty and it shouldn't be")); }
// data modification methods public virtual void AddViolation(Violation v) { if (this.Violations.Contains(v)) { return; } this.Violations.Add(v); }
public async Task <bool> SetViolation(ViolationDto violationDto, ClaimsPrincipal user) { Violation violation = _mapper.Map <ViolationDto, Violation>(violationDto); User policeman = await _userManager.FindByEmailFromClaimsPrincipals(user); return(await _policeService.SetViolation(violation, policeman)); }
public void OrFailIfEmptyWithMessage([CanBeNull] IEnumerable collection) { var exception = Assert.Throws <DesignByContractViolationException>( () => collection.OrFailIfCollectionEmpty(Violation.Of("collection cannot be null or empty")) ); // ASSERT Assert.That(exception.Message, Is.EqualTo("collection cannot be null or empty")); }
private static void DoError(XmlWriter writer, Violation violation, Location location) { writer.WriteStartElement("Error"); DoLocation(writer, location); DoViolation(writer, violation); writer.WriteEndElement(); }
private static void DoError(XmlWriter writer, Violation violation, Location location) { writer.WriteStartElement("Error"); DoLocation(writer, location); DoViolation(writer, violation); writer.WriteEndElement(); }
public void Add(Violation violation) { if (list.Exists(item => item.Id == violation.Id)) { return; } list.Add(violation); }
/// <summary> /// Builds a new <see cref="ListViewItem"/> for the violation. /// </summary> /// <param name="violation">The violation to use.</param> /// <returns>A new <see cref="ListViewItem"/> object.</returns> private static ListViewItem BuildListViewItem(Violation violation) { ListViewItem item = new ListViewItem(); item.Text = violation.Rule.CheckId; item.SubItems.Add(violation.Message); return(item); }
public void Should_match_the_alpha_node() { _result = null; using (Session session = _engine.CreateSession()) { session.Add(new Order {OrderId = "123", Amount = 10001.0m}); session.Run(); List<FactHandle<Violation>> violations = session.Facts<Violation>().ToList(); Assert.AreEqual(1, violations.Count); Assert.IsNotNull(_result); Assert.AreEqual("123", _result.Value); } }
private static void DoWriteViolation(TextWriter stream, int counter, Violation violation, List<Location> locations) { string countStr = DoGetCounter(counter, locations.Count); stream.WriteLine("<h2 class = \"category\">{0} {1}</h2>", countStr, violation.TypeName); HtmlHelpers.WriteSeverity(stream, "Severity", violation.Severity.ToString()); HtmlHelpers.WriteText(stream, "Breaking", violation.Breaking ? "Yes" : "No"); HtmlHelpers.WriteText(stream, "CheckId", violation.CheckID); foreach (Location loc in locations) { stream.WriteLine("<table border = \"2\" rules = \"none\" class = \"location\">"); stream.WriteLine("<tr>"); stream.WriteLine("<td>File:</td>"); stream.WriteLine("<td>"); if (loc.Line >= 0) stream.WriteLine("{0}:{1}", HtmlHelpers.Escape(loc.File), loc.Line); else if (loc.File != null && loc.File.Length > 0) stream.WriteLine(HtmlHelpers.Escape(loc.File)); else stream.WriteLine("<unknown>"); stream.WriteLine("</td>"); stream.WriteLine("</tr>"); stream.WriteLine("<tr>"); stream.WriteLine("<td>Name:</td>"); stream.WriteLine("<td>"); stream.WriteLine(HtmlHelpers.Escape(loc.Name)); stream.WriteLine("</td>"); stream.WriteLine("</tr>"); if (loc.Details != null && loc.Details.Length > 0) { stream.WriteLine("<tr>"); stream.WriteLine("<td>Details:</td>"); stream.WriteLine("<td>"); stream.WriteLine(HtmlHelpers.Escape(loc.Details)); stream.WriteLine("</td>"); stream.WriteLine("</tr>"); } stream.WriteLine("</table>"); } HtmlHelpers.WriteText(stream, "Cause", BaseReport.Expand(violation.Cause)); HtmlHelpers.WriteText(stream, "Description", BaseReport.Expand(violation.Description)); HtmlHelpers.WriteText(stream, "Fix", violation.Fix); if (violation.Csharp.Length > 0) { string code = Reformat.Code(violation.Csharp); code = HtmlHelpers.Escape(code); code = HtmlHelpers.ProcessLinks(code); code = HtmlHelpers.ColorizeCode(code); stream.WriteLine("<pre class = \"code\">{0}</pre>", code); } stream.WriteLine("<hr class = \"separator\">"); }
protected ViolationException(SerializationInfo info, StreamingContext context) : base(info, context) { Violations = new Violation[] {}; }
public ViolationException(string message, Exception innerException) : base(message, innerException) { Violations = new Violation[] {}; }
public ViolationException() { Violations = new Violation[] {}; }
public void Add(Violation violation) { violations.Add(violation); }
private static void DoViolation(XmlWriter writer, Violation violation) { writer.WriteStartElement("Violation"); writer.WriteAttributeString("checkID", violation.CheckID); writer.WriteAttributeString("typeName", violation.TypeName); writer.WriteAttributeString("category", violation.Category); writer.WriteAttributeString("severity", violation.Severity.ToString()); writer.WriteAttributeString("breaking", violation.Breaking ? "true" : "false"); writer.WriteStartElement("Cause"); writer.WriteString(BaseReport.Expand(Reformat.Text(violation.Cause))); writer.WriteEndElement(); writer.WriteStartElement("Description"); writer.WriteString(BaseReport.Expand(Reformat.Text(violation.Description))); writer.WriteEndElement(); writer.WriteStartElement("Fix"); writer.WriteString(BaseReport.Expand(Reformat.Text(violation.Fix))); writer.WriteEndElement(); writer.WriteStartElement("CSharp"); writer.WriteString(Reformat.Code(violation.Csharp)); writer.WriteEndElement(); writer.WriteEndElement(); }
private static void DoWriteViolation(TextWriter stream, Violation violation) { stream.WriteLine("<a name = \"{0}\">", violation.TypeName); stream.WriteLine("<h2 class = \"category\">{0}</h2>", violation.TypeName); stream.WriteLine("</a>"); HtmlHelpers.WriteText(stream, "CheckId", violation.CheckID); HtmlHelpers.WriteSeverity(stream, "Severity", violation.Severity.ToString()); HtmlHelpers.WriteText(stream, "Breaking", violation.Breaking ? "Yes" : "No"); HtmlHelpers.WriteText(stream, "Cause", violation.Cause); HtmlHelpers.WriteText(stream, "Description", violation.Description); HtmlHelpers.WriteText(stream, "Fix", violation.Fix); if (violation.Csharp.Length > 0) { string code = Reformat.Code(violation.Csharp); code = HtmlHelpers.Escape(code); code = HtmlHelpers.ProcessLinks(code); code = HtmlHelpers.ColorizeCode(code); stream.WriteLine("<pre class = \"code\">{0}</pre>", code); } }
private static void DoError(TextWriter writer, int counter, Violation violation, List<Location> locations) { writer.WriteLine(DoGetCounter(counter, locations.Count)); writer.WriteLine("TypeName: {0}", violation.TypeName); writer.WriteLine("CheckID: {0}", violation.CheckID); writer.WriteLine("Category: {0}", violation.Category); writer.WriteLine("Severity: {0}", violation.Severity); writer.WriteLine("Breaking: {0}", violation.Breaking ? "Yes" : "No"); writer.WriteLine(" "); foreach (Location loc in locations) { if (loc.Line >= 0) writer.WriteLine("File: {0}:{1}", loc.File, loc.Line); else if (loc.File != null && loc.File.Length > 0 && loc.File != "<unknown>") writer.WriteLine("File: {0}", loc.File); writer.WriteLine(loc.Name); if (loc.Offset >= 0 && loc.Line < 0) writer.WriteLine("Offset: {0:X4}", loc.Offset); if (loc.Details != null && loc.Details.Length > 0) writer.WriteLine(loc.Details); writer.WriteLine(" "); } writer.WriteLine("Cause:"); writer.WriteLine(DoMungeText(violation.Cause)); writer.WriteLine(" "); writer.WriteLine("Rule Description:"); writer.WriteLine(DoMungeText(violation.Description)); writer.WriteLine(" "); if (violation.Fix.Length > 0) { writer.WriteLine("How to Fix Violations:"); writer.WriteLine(DoMungeText(violation.Fix)); writer.WriteLine(" "); } if (violation.Csharp.Length > 0) { writer.WriteLine("C# Example:"); writer.WriteLine(DoMungeCode(violation.Csharp)); writer.WriteLine(" "); } }
public ViolationDto(Violation violation) { RuleCode = violation.Rule.Code; Parameters = violation.Parameters; }
internal Error(Location location, Violation violation) { Location = location; Violation = violation; }
/// <summary> /// Adds one violation to this element. /// </summary> /// <param name="violation">The violation to add.</param> /// <returns>Returns false if there is already an identical violation in the element.</returns> public bool AddViolation(Violation violation) { Param.AssertNotNull(violation, "violation"); string key = violation.Key; if (!this.violations.ContainsKey(key)) { this.violations.Add(violation.Key, violation); return true; } return false; }