Merge pull request #409 from Alkarex/patch-1

[mono.git] / mcs / class / Mono.CodeContracts / Mono.CodeContracts.Static.Analysis.StackAnalysis / StackDecoder.cs

diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.StackAnalysis/StackDecoder.cs b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.StackAnalysis/StackDecoder.cs
index 5d0853f3a6395357be0eda34d800b479f6ac0223..f7427ddea2a1dadb6658986bfc75e181046b73d2 100644 (file)
--- a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.StackAnalysis/StackDecoder.cs
+++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.StackAnalysis/StackDecoder.cs
@@ -93,7 +93,7 @@ namespace Mono.CodeContracts.Static.Analysis.StackAnalysis {
                                isLoadResult = false;
                                isOld = false;
                                lookupPC = pc;
-                               for (LispList<Edge<CFGBlock, EdgeTag>> list = pc.SubroutineContext; list != null; list = list.Tail) {
+                               for (Sequence<Edge<CFGBlock, EdgeTag>> list = pc.SubroutineContext; list != null; list = list.Tail) {
                                        EdgeTag edgeTag = list.Head.Tag;
                                        if (edgeTag == EdgeTag.Entry) {
                                                param = RemapParameter (param, list.Head.From, pc.Block);
@@ -111,7 +111,7 @@ namespace Mono.CodeContracts.Static.Analysis.StackAnalysis {
 
                        if (pc.Block.Subroutine.IsEnsuresOrOldValue) {
                                isOld = true;
-                               for (LispList<Edge<CFGBlock, EdgeTag>> ctx = pc.SubroutineContext; ctx != null; ctx = ctx.Tail) {
+                               for (Sequence<Edge<CFGBlock, EdgeTag>> ctx = pc.SubroutineContext; ctx != null; ctx = ctx.Tail) {
                                        EdgeTag tag = ctx.Head.Tag;
                                        if (tag == EdgeTag.Exit) {
                                                param = RemapParameter (param, ctx.Head.From, pc.Block);
@@ -155,7 +155,7 @@ namespace Mono.CodeContracts.Static.Analysis.StackAnalysis {
                        }
 
                        if (pc.Block.Subroutine.IsInvariant) {
-                               for (LispList<Edge<CFGBlock, EdgeTag>> list = pc.SubroutineContext; list != null; list = list.Tail) {
+                               for (Sequence<Edge<CFGBlock, EdgeTag>> list = pc.SubroutineContext; list != null; list = list.Tail) {
                                        EdgeTag tag = list.Head.Tag;
                                        if (tag == EdgeTag.Entry || tag == EdgeTag.Exit) {
                                                Method method;