BlockSeq: farewell

3 files changed, 8 insertions, 8 deletions

diff --git a/Source/Doomed/DoomedLoopUnrolling.cs b/Source/Doomed/DoomedLoopUnrolling.cs
index 2b83da37..38fa99ac 100644
--- a/Source/Doomed/DoomedLoopUnrolling.cs
+++ b/Source/Doomed/DoomedLoopUnrolling.cs
@@ -338,11 +338,11 @@ namespace VC
                 Block b = kvp.Key;

                 if (UncheckableNodes.Contains(GraphMap[b])) uncheckables.Add(b);

                 blocks.Add(b);

-                b.Predecessors = new BlockSeq();

+                b.Predecessors = new List<Block>();

                 foreach (GraphNode p in kvp.Value.Pre) b.Predecessors.Add(p.Label);

                 if (kvp.Value.Suc.Count > 0)

                 {

-                    BlockSeq bs = new BlockSeq();                    

+                    List<Block> bs = new List<Block>();                    

                     foreach (GraphNode s in kvp.Value.Suc) bs.Add(s.Label);                    

                     b.TransferCmd = new GotoCmd(b.tok, bs);

                 }

diff --git a/Source/Doomed/HasseDiagram.cs b/Source/Doomed/HasseDiagram.cs
index b2ece2df..ad3d487e 100644
--- a/Source/Doomed/HasseDiagram.cs
+++ b/Source/Doomed/HasseDiagram.cs
@@ -335,7 +335,7 @@ namespace VC
             {

                 current = todo[0];

                 todo.Remove(current);

-                BlockSeq pre = m_Predecessors(current, forward);

+                List<Block> pre = m_Predecessors(current, forward);

                 bool ready = true;

                 if (pre != null)

                 {

@@ -356,7 +356,7 @@ namespace VC
                 done.Add(current);

                 unavoidableBlocks[current].Add(current);

 

-                BlockSeq suc = m_Succecessors(current, forward);

+                List<Block> suc = m_Succecessors(current, forward);

                 if (suc == null) continue;

                 foreach (Block bsuc in suc)

                 {

@@ -402,7 +402,7 @@ namespace VC
             return ret;

         }

 

-        private BlockSeq m_Predecessors(Block b, bool forward)

+        private List<Block> m_Predecessors(Block b, bool forward)

         {

             if (forward) return b.Predecessors;

             GotoCmd gc = b.TransferCmd as GotoCmd;

@@ -413,7 +413,7 @@ namespace VC
             return null;

         }

 

-        private BlockSeq m_Succecessors(Block b, bool forward)

+        private List<Block> m_Succecessors(Block b, bool forward)

         {

             return m_Predecessors(b, !forward);

         }

diff --git a/Source/Doomed/VCDoomed.cs b/Source/Doomed/VCDoomed.cs
index ca282b0a..9f1d8290 100644
--- a/Source/Doomed/VCDoomed.cs
+++ b/Source/Doomed/VCDoomed.cs
@@ -791,7 +791,7 @@ namespace VC {
         // update the successors and predecessors

         foreach (Block b in lb)

         {

-            BlockSeq newpreds = new BlockSeq();

+            List<Block> newpreds = new List<Block>();

             foreach (Block b_ in b.Predecessors)

             {

                 newpreds.Add(clonemap[b_]);

@@ -802,7 +802,7 @@ namespace VC {
             if (gc != null)

             {

                 List<String> lseq = new List<String>();

-                BlockSeq bseq = new BlockSeq();

+                List<Block> bseq = new List<Block>();

                 foreach (string s in gc.labelNames) lseq.Add(s);

                 foreach (Block b_ in gc.labelTargets) bseq.Add(clonemap[b_]);

                 GotoCmd tcmd = new GotoCmd(gc.tok, lseq, bseq);