







![]() ![]() |
CuttingEdge.Conditions reference library |
PostconditionException Class |
Members See Also Send Feedback |
The exception that is thrown when a method's postcondition is not valid.
Namespace:
CuttingEdge.Conditions
Assembly:
CuttingEdge.Conditions (in CuttingEdge.Conditions.dll)
Syntax
Visual Basic (Declaration) |
---|
<SerializableAttribute> _ Public NotInheritable Class PostconditionException _ Inherits Exception |
C# |
---|
[SerializableAttribute] public sealed class PostconditionException : Exception |
Visual C++ |
---|
[SerializableAttribute] public ref class PostconditionException sealed : public Exception |
JavaScript |
---|
CuttingEdge.Conditions.PostconditionException = function(); Type.createClass( 'CuttingEdge.Conditions.PostconditionException', Exception); |