C# 클래스 Microsoft.Cci.Contracts.ContractChecker

파일 보기 프로젝트 열기: visualmutator/visualmutator

공개 메소드들

메소드	설명
CheckMethodContract ( IMetadataHost host, IMethodDefinition method, MethodContract methodContract ) : void	Mutates the methodContract by removing any contracts that violate any of the rules about contracts, e.g., preconditions mentioning a member that is more restrictive than the method containing the precondition. TODO: Return a list of errors.

비공개 메소드들

메소드	설명
ContractChecker ( ) : System

메소드 상세

CheckMethodContract() 공개 정적인 메소드

Mutates the methodContract by removing any contracts that violate any of the rules about contracts, e.g., preconditions mentioning a member that is more restrictive than the method containing the precondition. TODO: Return a list of errors.

public static CheckMethodContract ( IMetadataHost host, IMethodDefinition method, MethodContract methodContract ) : void
host	IMetadataHost
method	IMethodDefinition
methodContract	Microsoft.Cci.MutableContracts.MethodContract
리턴	void