1 using Mono.CodeContracts.Static.AST.Visitors;
3 namespace Mono.CodeContracts.Static.Providers {
4 interface ICodeProvider<Label> {
5 Result Decode<CodeVisitor, Data, Result> (Label pc, CodeVisitor visitor, Data data)
6 where CodeVisitor : IAggregateVisitor<Label, Data, Result>;
8 bool Next (Label current, out Label nextLabel);
9 int GetILOffset (Label current);