Package ch.usi.si.codelounge.jsicko

Class Contract.ContractConditionViolation

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

Contract.InvariantViolation, Contract.PostconditionViolation, Contract.PreconditionViolation

Enclosing interface:

Contract

public abstract static class Contract.ContractConditionViolation
extends AssertionError

Abstract class representing generic contract condition violations.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
ContractConditionViolation(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

ContractConditionViolation

public ContractConditionViolation(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()