C# (CSharp) Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders SimpleSubroutineBuilder Examples

Example #1

File: EnsuresFactory.cs Project: pmq20/mono_forked

 protected override Subroutine Factory <Label> (SimpleSubroutineBuilder <Label> builder, Label entry, Pair <Method, IImmutableSet <Subroutine> > data)
 {
     return(new EnsuresSubroutine <Label> (this.SubroutineFacade, data.Key, builder, entry, data.Value));
 }

Example #2

File: SubroutineFactory.cs Project: raj581/Marvin

 protected abstract Subroutine Factory <Label> (SimpleSubroutineBuilder <Label> builder, Label entry, Data data);