Class Assertions


  • public class Assertions
    extends Object
    WALA-specific assertion checking. This may go away in favor of Java language-level assertions.
    • Constructor Detail

      • Assertions

        public Assertions()
    • Method Detail

      • productionAssertion

        public static void productionAssertion​(boolean b,
                                               String string)
                                        throws UnimplementedError
        An assertion which does not need to be guarded by verifyAssertions. These assertions will be enabled in production!
        Throws:
        UnimplementedError - if b == false
      • productionAssertion

        public static void productionAssertion​(boolean b)
                                        throws UnimplementedError
        An assertion which does not need to be guarded by verifyAssertions. These assertions will be enabled in production!
        Throws:
        UnimplementedError - if b == false
      • UNREACHABLE

        public static void UNREACHABLE()
        An assertion to call when reaching a point that should not be reached.
        Throws:
        UnimplementedError - unconditionally
      • UNREACHABLE

        public static void UNREACHABLE​(String string)
        An assertion to call when reaching a point that should not be reached.
        Throws:
        UnimplementedError - unconditionally
      • UNREACHABLE

        public static void UNREACHABLE​(Object o)
        An assertion to call when reaching a point that should not be reached.
        Throws:
        UnimplementedError - unconditionally