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