Add DominatorTreeNodeAdorner, change ControlFlowRegion.Parent propert…

…y type to IScopeControlFlowRegion

src/Core/Echo.ControlFlow/Analysis/Domination/DominatorTreeNodeAdorner.cs

@@ -0,0 +1,28 @@
+using System.Collections.Generic;
+using Echo.ControlFlow.Serialization.Dot;
+using Echo.Graphing;
+using Echo.Graphing.Serialization.Dot;
+
+namespace Echo.ControlFlow.Analysis.Domination;
+
+public class DominatorTreeNodeAdorner<TInstruction> : IDotNodeAdorner 
+    where TInstruction : notnull
+{
+    public DominatorTreeNodeAdorner()
+        : this(new ControlFlowNodeAdorner<TInstruction>())
+    {
+    }
+
+    public DominatorTreeNodeAdorner(IDotNodeAdorner nodeAdorner)
+    {
+        NodeAdorner = nodeAdorner;
+    }
+
+    public IDotNodeAdorner NodeAdorner { get; set; }
+
+    /// <inheritdoc />
+    public IDictionary<string, string>? GetNodeAttributes(INode node, long id)
+    {
+        return NodeAdorner.GetNodeAttributes(((DominatorTreeNode<TInstruction>) node).OriginalNode, id);
+    }
+}

src/Core/Echo.ControlFlow/Collections/RegionNodeCollection.cs

@@ -8,20 +8,20 @@
 namespace Echo.ControlFlow.Collections
 {
     /// <summary>
-    /// Represents a collection of nodes that are put into  a control flow region.
+    /// Represents a collection of nodes that are put into a control flow region.
     /// </summary>
     /// <typeparam name="TInstruction">The type of data that each node in the graph stores.</typeparam>
     [DebuggerDisplay("Count = {" + nameof(Count) + "}")]
     public class RegionNodeCollection<TInstruction> : Collection<ControlFlowNode<TInstruction>>
         where TInstruction : notnull
     {
-        private readonly IControlFlowRegion<TInstruction> _owner;
+        private readonly IScopeControlFlowRegion<TInstruction> _owner;
 
         /// <summary>
         /// Creates a new instance of the <see cref="RegionNodeCollection{TInstruction}"/> class.
         /// </summary>
         /// <param name="owner">The region owning the collection of nodes.</param>
-        public RegionNodeCollection(IControlFlowRegion<TInstruction> owner)
+        public RegionNodeCollection(IScopeControlFlowRegion<TInstruction> owner)
         {
             _owner = owner ?? throw new ArgumentNullException(nameof(owner));
         }

src/Core/Echo.ControlFlow/ControlFlowNode.cs

@@ -71,7 +71,7 @@ public ControlFlowGraph<TInstruction>? ParentGraph
         {
             get
             {
-                var region = ParentRegion;
+                var region = (IControlFlowRegion<TInstruction>?) ParentRegion;
                 while (true)
                 {
                     switch (region)
@@ -91,7 +91,7 @@ public ControlFlowGraph<TInstruction>? ParentGraph
         /// <summary>
         /// Gets the graph region that contains this node, or <c>null</c> if the node is not added to any graph yet.  
         /// </summary>
-        public IControlFlowRegion<TInstruction>? ParentRegion
+        public IScopeControlFlowRegion<TInstruction>? ParentRegion
         {
             get;
             internal set;
@@ -517,8 +517,8 @@ public void MoveToRegion(ScopeRegion<TInstruction> region)
         /// <returns>The regions this node is situated in, starting with the inner-most regions.</returns>
         public IEnumerable<IControlFlowRegion<TInstruction>> GetSituatedRegions()
         {
-            var parentRegion = ParentRegion;
-            while (parentRegion is {})
+            var parentRegion = (IControlFlowRegion<TInstruction>?) ParentRegion;
+            while (parentRegion is not null)
             {
                 yield return parentRegion;
                 parentRegion = parentRegion.ParentRegion;

src/Core/Echo/Graphing/Serialization/Dot/DotWriter.cs

@@ -12,10 +12,10 @@ public class DotWriter
     {
         private static readonly IDictionary<char, string> EscapedCharacters = new Dictionary<char, string>
         {
-            ['\r'] = "\\\r",
-            ['\n'] = "\\\n",
+            ['\r'] = "\\r",
+            ['\n'] = "\\n",
             ['"'] = "\\\"",
-            ['\t'] = "\\\t",
+            ['\t'] = "\\t",
         };
 
         /// <summary>