Merge pull request #409 from Alkarex/patch-1

[mono.git] / mcs / class / Mono.CodeContracts / Mono.CodeContracts.Static.ControlFlow / ICFG.cs

diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/ICFG.cs b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/ICFG.cs
index 89869ce9bc9f5cf4373ab057482602f3c8cf57ac..e3e648d9189fa307e6ca06b8ff40d857ad256a6e 100644 (file)
--- a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/ICFG.cs
+++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/ICFG.cs
@@ -58,7 +58,10 @@ namespace Mono.CodeContracts.Static.ControlFlow {
                IILDecoder<APC, Dummy, Dummy, IMethodContextProvider, Dummy> GetDecoder (IMetaDataProvider metaDataProvider);
 
                void Print (TextWriter tw, ILPrinter<APC> printer,
-                           Func<CFGBlock, IEnumerable<LispList<Edge<CFGBlock, EdgeTag>>>> contextLookup,
-                           LispList<Edge<CFGBlock, EdgeTag>> context);
+                           Func<CFGBlock, IEnumerable<Sequence<Edge<CFGBlock, EdgeTag>>>> contextLookup,
+                           Sequence<Edge<CFGBlock, EdgeTag>> context);
+
+           bool IsForwardBackEdge (APC @from, APC to);
+               APC Post (APC pc);
        }
 }