Class Assertions

java.lang.Object
com.ibm.wala.util.debug.Assertions

public class Assertions extends Object
WALA-specific assertion checking.

This may go away in favor of Java language-level assertions.

  • Constructor Details

    • Assertions

      public Assertions()
  • Method Details

    • 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