C# Class Mono.CodeContracts.Rewrite.ContractsRuntime

Afficher le fichier Open project: kumpera/mono Class Usage Examples

Méthodes publiques

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

Private Methods

Méthode	Description
EnsureGlobal ( ) : void
EnsureMethodReportFailure ( ) : void
EnsureMethodTriggerFailure ( ) : void
EnsureTypeContractException ( ) : void
EnsureTypeContractRuntime ( ) : void

Method Details

ContractsRuntime() public méthode

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

GetRequires() public méthode

public GetRequires ( ) : Mono.Cecil.MethodDefinition
Résultat	Mono.Cecil.MethodDefinition