Contract.PostconditionViolation (jSicko 1.0.0-M5 API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Error
  - - java.lang.AssertionError
    - - ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation
      - ch.usi.si.codelounge.jsicko.Contract.PostconditionViolation

All Implemented Interfaces:: Serializable

Enclosing interface:: Contract

public static final class Contract.PostconditionViolation
extends Contract.ContractConditionViolation

See Also:: Serialized Form

Constructor Summary

Constructors
Constructor	Description
`PostconditionViolation(Object detailMessage)`	Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.

Method Summary
- Methods inherited from class java.lang.Throwable
  addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - PostconditionViolation
```
public PostconditionViolation(Object detailMessage)
```
    Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.
    If the specified object is an instance of Throwable, it becomes the cause of the newly constructed assertion error.
    
    Parameters:
    
    detailMessage - value to be used in constructing detail message
    
    See Also:
    
    Throwable.getCause()