C# 클래스 Mono.CodeContracts.Rewrite.ContractsRuntime

파일 보기 프로젝트 열기: kumpera/mono 1 사용 예제들

공개 메소드들

메소드	설명
ContractsRuntime ( Mono.Cecil.ModuleDefinition module, Mono.CodeContracts.Rewrite.RewriterOptions options ) : System
GetRequires ( ) : Mono.Cecil.MethodDefinition

비공개 메소드들

메소드	설명
EnsureGlobal ( ) : void
EnsureMethodReportFailure ( ) : void
EnsureMethodTriggerFailure ( ) : void
EnsureTypeContractException ( ) : void
EnsureTypeContractRuntime ( ) : void

메소드 상세

ContractsRuntime() 공개 메소드

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

GetRequires() 공개 메소드

public GetRequires ( ) : Mono.Cecil.MethodDefinition
리턴	Mono.Cecil.MethodDefinition