Method | Description | |
---|---|---|
CheckMethodContract ( IMetadataHost host, IMethodDefinition 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.
|
Method | Description | |
---|---|---|
ContractChecker ( ) : System |
public static CheckMethodContract ( IMetadataHost host, IMethodDefinition method, |
||
host | IMetadataHost | |
method | IMethodDefinition | |
methodContract | ||
return | void |