Class PostconditionViolation

All Implemented Interfaces:
Serializable

public class PostconditionViolation extends AssertionViolation

Thrown whenever a postcondition violation occurs.

See Also:
  • Constructor Details

    • PostconditionViolation

      public PostconditionViolation()
    • PostconditionViolation

      public PostconditionViolation(Object o)
    • PostconditionViolation

      public PostconditionViolation(boolean b)
    • PostconditionViolation

      public PostconditionViolation(char c)
    • PostconditionViolation

      public PostconditionViolation(int i)
    • PostconditionViolation

      public PostconditionViolation(long l)
    • PostconditionViolation

      public PostconditionViolation(float v)
    • PostconditionViolation

      public PostconditionViolation(double v)