Class Assertions


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

      Constructors 
      Constructor Description
      Assertions()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void productionAssertion​(boolean b)
      An assertion which does not need to be guarded by verifyAssertions.
      static void productionAssertion​(boolean b, java.lang.String string)
      An assertion which does not need to be guarded by verifyAssertions.
      static void UNREACHABLE()
      An assertion to call when reaching a point that should not be reached.
      static void UNREACHABLE​(java.lang.Object o)
      An assertion to call when reaching a point that should not be reached.
      static void UNREACHABLE​(java.lang.String string)
      An assertion to call when reaching a point that should not be reached.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Assertions

        public Assertions()
    • Method Detail

      • productionAssertion

        public static void productionAssertion​(boolean b,
                                               java.lang.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​(java.lang.String string)
        An assertion to call when reaching a point that should not be reached.
        Throws:
        UnimplementedError - unconditionally
      • UNREACHABLE

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