Esempi in C# (CSharp) per Mono.CodeContracts.Static.ControlFlow.Subroutines EnsuresSubroutine

Esempio n. 1

 public bool Equals(EnsuresSubroutine <Label> other)
 {
     return(Id == other.Id);
 }

Esempio n. 2

File: OldScanStateMachine.cs Progetto: pmq20/mono_forked

 public OldScanStateMachine(EnsuresSubroutine <Label> ensuresSubroutine)
 {
     this.subroutine = ensuresSubroutine;
     this.state      = ScanState.OutsideOld;
 }