C# Class Microsoft.Cci.Contracts.ContractChecker

Mostrar archivo Open project: visualmutator/visualmutator

Public Methods

Method	Description
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.

Private Methods

Method	Description
ContractChecker ( ) : System

Method Details

CheckMethodContract() public static method

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
return	void