MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsContract­TemplatesOn­Not­Empty­Contract­Violated
Open sandboxFocus

ContractTemplates.OnNotEmptyContractViolated Method

OnNotEmptyContractViolated(dynamic?, ContractContext)

Template used by the NotEmptyAttribute contract.

Declaration
[Template]
public virtual void OnNotEmptyContractViolated(dynamic? value, ContractContext context)
Parameters
Type Name Description
dynamic value
ContractContext context