C# Class Mono.CodeContracts.Rewrite.ContractsRuntime

Mostra file Open project: kumpera/mono Class Usage Examples

Public Methods

Method	Description
ContractsRuntime ( Mono.Cecil.ModuleDefinition module, Mono.CodeContracts.Rewrite.RewriterOptions options ) : System
GetRequires ( ) : Mono.Cecil.MethodDefinition

Private Methods

Method	Description
EnsureGlobal ( ) : void
EnsureMethodReportFailure ( ) : void
EnsureMethodTriggerFailure ( ) : void
EnsureTypeContractException ( ) : void
EnsureTypeContractRuntime ( ) : void

Method Details

ContractsRuntime() public method

public ContractsRuntime ( Mono.Cecil.ModuleDefinition module, Mono.CodeContracts.Rewrite.RewriterOptions options ) : System
module	Mono.Cecil.ModuleDefinition
options	Mono.CodeContracts.Rewrite.RewriterOptions
return	System

GetRequires() public method

public GetRequires ( ) : Mono.Cecil.MethodDefinition
return	Mono.Cecil.MethodDefinition