Class ViolationTracker


  • public class ViolationTracker
    extends Object

    A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order. This is necessary to evaluate all parts of a pre- or postcondition, and still being able to rethrow assertion errors.

    • Constructor Detail

      • ViolationTracker

        public ViolationTracker()
    • Method Detail

      • init

        public static void init()
      • deinit

        public static void deinit()
      • violationsOccurred

        public static boolean violationsOccurred()
      • rethrowFirst

        public static void rethrowFirst()
      • rethrowLast

        public static void rethrowLast()
      • hasViolations

        public boolean hasViolations()