Class Prelude

java.lang.Object
org.opencastproject.util.data.Prelude

public final class Prelude extends Object
The prelude contains general purpose functions.
  • Method Details

    • unexhaustiveMatch

      public static <A> A unexhaustiveMatch()
      Java is not able to determine the exhaustiveness of a match. Use this function to throw a defined error and to improve readability.
    • sleep

      public static boolean sleep(long ms)
      Sleep for a while. Returns false if interrupted.