Class PostconditionViolation

    • Constructor Detail

      • 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)