Uses of Class
edu.tum.cs.commons.assertion.PreconditionException

Packages that use PreconditionException

edu.tum.cs.commons.assertion

This package provides support for precondition checking and assertions.

Uses of PreconditionException in edu.tum.cs.commons.assertion

Methods in edu.tum.cs.commons.assertion that throw PreconditionException

static void	CCSMPre.fail(String message) Throws a PreconditionException with the provided message.
static void	CCSMPre.isFalse(boolean condition, String message) Checks if a condition is false.
static void	CCSMPre.isTrue(boolean condition, String message) Checks if a condition is true.