Open sandboxFocus
  • TOC

Metalama Documentation

Getting started

Video tutorials

Conceptual documentation

Commented examples

API documentation

Aspect API

Extensions API

Patterns API

Metalama.​Patterns.​Caching

Metalama.​Patterns.​Caching.​Aspects

Metalama.​Patterns.​Caching.​Aspects.​Configuration

Metalama.​Patterns.​Caching.​Aspects.​Helpers

Metalama.​Patterns.​Caching.​Backends

Metalama.​Patterns.​Caching.​Backends.​Azure

Metalama.​Patterns.​Caching.​Backends.​Redis

Metalama.​Patterns.​Caching.​Building

Metalama.​Patterns.​Caching.​Dependencies

Metalama.​Patterns.​Caching.​Formatters

Metalama.​Patterns.​Caching.​Implementation

Metalama.​Patterns.​Caching.​Locking

Metalama.​Patterns.​Caching.​Serializers

Metalama.​Patterns.​Caching.​Value­Adapters

Metalama.​Patterns.​Contracts

Metalama.​Patterns.​Contracts.​Numeric

Metalama.​Patterns.​Immutability

Metalama.​Patterns.​Immutability.​Configuration

Metalama.​Patterns.​Memoization

Metalama.​Patterns.​Observability

Metalama.​Patterns.​Observability.​Configuration

Metalama.​Patterns.​Observability.​Implementation

Metalama.​Patterns.​Wpf

Metalama.​Patterns.​Wpf.​Configuration

Flashtrace API

Introspection API

Advanced API

Post­Sharp API migration

  • Article

Class PostconditionViolationException

The exception that is thrown when a postcondition contract was not fulfilled by a method.

Inheritance
PostconditionViolationException
Implements
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public class PostconditionViolationException : ApplicationException, ISerializable

Constructors

Name Description
PostconditionViolationException()

Initializes a new instance of the PostconditionViolationException class.

PostconditionViolationException(SerializationInfo, StreamingContext)

Initializes a new instance of the PostconditionViolationException class with serialized data.

PostconditionViolationException(string)

Initializes a new instance of the PostconditionViolationException class with a specified error message.

PostconditionViolationException(string, Exception?)

Initializes a new instance of the PostconditionViolationException class with a specified error message and a reference to the inner exception that is the cause of this exception.

PostconditionViolationException(string, object?)

Initializes a new instance of the PostconditionViolationException class with a specified error message and actual value.

Properties

Name Description
ActualValue

Gets the value that caused this exception, when applicable.

Extension Methods