Class DbC


  • public final class DbC
    extends java.lang.Object
    The Class DbC.
    Author:
    oliver
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void ensure​(boolean postcondition)
      Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
      static void ensure​(boolean postcondition, java.lang.Object message)
      Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
      static void require​(boolean precondition)
      Use this method to describe the condition which must be true when your method is called.
      static void require​(boolean precondition, java.lang.Object message)
      Use this method to describe the condition which must be true when your method is called.
      • Methods inherited from class java.lang.Object

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

      • require

        public static void require​(boolean precondition)
        Use this method to describe the condition which must be true when your method is called.
        Parameters:
        precondition - e.g. (arg0 != null)
      • require

        public static void require​(boolean precondition,
                                   java.lang.Object message)
        Use this method to describe the condition which must be true when your method is called.
        Parameters:
        precondition - e.g. (arg0 != null)
        message - e.g. "null argument is not allowed"
      • ensure

        public static void ensure​(boolean postcondition)
        Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
        Parameters:
        postcondition - e.g. (value > 0)
      • ensure

        public static void ensure​(boolean postcondition,
                                  java.lang.Object message)
        Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
        Parameters:
        postcondition - e.g. (value > 0)
        message - e.g. "value must be positive"