public void ExportException(GoalException r) { writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=onormal,label=<<B>Except</B> {2}>,fontname=""HelveticaNeue"",fontsize=7,margin=""0.1,-0.1"",center=true,fillcolor=""#ffffff""];", r.ResolvingGoal().Identifier, r.AnchorGoal().Identifier, r.Obstacle().FriendlyName); }
protected void Render(GoalException exception) { if (!shapes.ContainsKey (exception.ResolvingGoalIdentifier)) { return; } if (!shapes.ContainsKey (exception.AnchorGoalIdentifier)) { return; } var anchorGoalGraphic = shapes [exception.AnchorGoalIdentifier].First (); var resolvingGoalGraphic = shapes [exception.ResolvingGoalIdentifier].First (); var topArrow = GetArrow (anchorGoalGraphic, resolvingGoalGraphic); topArrow.Style.Stroke.Pattern = StrokePattern.Dashed; AddText (topArrow, @"\b Except \b0" + exception.Obstacle().FriendlyName); Add (exception.Identifier, topArrow); }