org.opencastproject.util.data

Class Prelude

java.lang.Object

org.opencastproject.util.data.Prelude

public final class Prelude
extends Object

The prelude contains general purpose functions.

Method Summary

Modifier and Type	Method and Description
static <A> A	notYetImplemented()
static boolean	sleep(long ms) Sleep for a while.
static <A> A	unexhaustiveMatch() Java is not able to determine the exhaustiveness of a match.
static Error	unexhaustiveMatchError() Java is not able to determine the exhaustiveness of a match.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

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.

unexhaustiveMatchError

public static Error unexhaustiveMatchError()

Java is not able to determine the exhaustiveness of a match. Use this function to throw a defined error and to improve readability.

notYetImplemented

public static <A> A notYetImplemented()

sleep

public static boolean sleep(long ms)

Sleep for a while. Returns false if interrupted.