PostSharp.ILContractsCustomizing Contract Exceptions
Open sandboxFocusImprove this doc

Customizing Contract Exceptions

Although PostSharp Contracts raise standard .NET exceptions like ArgumentNullException, there are cases where you may want the contracts to raise different different types of exceptions. For instance, you may have to cope with existing code that expect different exception types. In this scenario, it is possible to override the mechanism by which PostSharp Contracts instantiate exceptions.

Overriding exception types for built-in contracts

Built-in contracts use the ContractExceptionFactory class exposed by the ExceptionFactory property to instantiate their exceptions. You can override this property with your own implementation of the ContractExceptionFactory class.

This class has a single method of interest named CreateException(ContractExceptionInfo). It should instantiate and return an <xref:System.Exception> based on the instance of the ContractExceptionInfo struct passed by the aspect.

To override exception types for built-in contracts:

  1. Create a class that inherits from ContractExceptionFactory.

  2. Override the CreateException(ContractExceptionInfo) method. For the cases your exception factory is designed to handle, instantiate and return an <xref:System.Exception>. For cases you don't want to handle, call base.CreateException() to invoke the next node in the chain of responsibility.

  3. Put an instance of the factory into the ExceptionFactory property on application start. When constructing the new instance, pass the previous value of the ExceptionFactory property.

Example

The following example overrides the default behavior of the RequiredAttribute. This program fails with a CustomException.

public class MyContractExceptionFactory : ContractExceptionFactory
{
  public MyContractExceptionFactory(ContractExceptionFactory next)
    : base(next)
  {
  }

    public override Exception CreateException( ContractExceptionInfo exceptionInfo )
    {
        if ( exceptionInfo.ExceptionType == typeof(ArgumentNullException) )
        {
            return new CustomException( $"Argument {exceptionInfo.LocationName} was null, but with a custom exception." );
        }
        else
        {
          // Call the next node in the chain of invocation.
          return base.CreateException( exceptionInfo );
        }
    }
}

public static class Program
{
    public static void Main()
    {
    ContractServices.ExceptionFactory = new MyContractExceptionFactory(ContractServices.ExceptionFactory);

    Oops( null );  // Throws CustomException.
    }

    private static void Oops( [Required] string p )
    {
    }
}

Using the localization service in custom exception factories

The default exception factory uses the localization service to render human-readable error messages. You can use the same facility in your own exception factories. It is exposed on the LocalizedTextProvider

For details about localization, see Localizing Contract Error Messages

Example

As the previous example, this example overrides the exception type raised in case of violation of a [Required] contract, but it uses the standard contract localization service to format the error message.

public class MyContractExceptionFactory : ContractExceptionFactory
{
  public MyContractExceptionFactory(ContractExceptionFactory next)
    : base(next)
  {
  }

    public override Exception CreateException( ContractExceptionInfo exceptionInfo )
    {
        if ( exceptionInfo.ExceptionType == typeof(ArgumentNullException) )
        {
          string errorMessage = ContractServices.LocalizedTextProvider.GetFormattedMessage( exceptionInfo );

            return new CustomException( errorMessage );
        }
        else
        {
            return base.CreateException( exceptionInfo );
        }
    }
}

Using the exception factory from custom contracts

If you want other developers to be able to customize the behavior of your custom contracts, it is a good idea to use the same pattern as for built-in contracts, i.e. to use both the ContractExceptionFactory and ContractLocalizedTextProvider facilities.

If your custom contracts throw different exceptions types or use different error messages than the built-in contracts, you will need to inject your own implementations of these classes in the chain of responsibility. Otherwise, you can just use the default implementations.

Example

The following contract uses the built-in exception factory to create a standard <xref:System.ArgumentOutOfRangeException> when a value is zero. Note that if you want a custom message shown, you need to use a custom messageId and then implement localization as described in Localizing Contract Error Messages.

public class NonZeroAttribute : LocationContractAttribute, ILocationValidationAspect<int>
{
  public NonZeroAttribute()
  {
  }

  public Exception ValidateValue(int value, string locationName, LocationKind locationKind, LocationValidationContext context)
  {
    if (value == 0)
    {
      object[] additionalArguments = Array.Empty<object>();
      const string messageId = ContractLocalizedTextProvider.LocationContractErrorMessage;
      ContractExceptionInfo exceptionInfo = new ContractExceptionInfo( typeof(ArgumentOutOfRangeException), this, value, locationName,
                                                                       locationKind, context, messageId, additionalArguments );
      return ContractServices.ExceptionFactory.CreateException( exceptionInfo );
    }
    else
    {
      return null;
    }
  }
}
Note

You need to pass a message id that is known by the localization service or an exception will be thrown. If the message identified by messageId needs to format any additional arguments into the error message, put them in the additionalArguments array. If you want to pass a message id of a built-in contract, they are defined as public const fields of ContractLocalizedTextProvider.

See Also

Other Resources

Localizing Contract Error Messages
Reference

ContractExceptionFactory
ContractExceptionInfo
ContractLocalizedTextProvider