Kanzi Java API
Assert Class Reference

A class that can be used to analyze correctness of the program behavior. More...

Static Public Member Functions

static void NotNull (Object object, String message)
 Throw assertion error if given object is null. More...
 
static void Throw (String message)
 Assert with a message. More...
 
static void True (boolean condition, String message)
 Throw assertion error if given condition is false. More...
 

Detailed Description

A class that can be used to analyze correctness of the program behavior.

Member Function Documentation

static void NotNull ( Object  object,
String  message 
)
static

Throw assertion error if given object is null.

Parameters
objectObject to check.
messageMessage to throw if given object is null.
static void Throw ( String  message)
static

Assert with a message.

Parameters
messageMessage to throw.
static void True ( boolean  condition,
String  message 
)
static

Throw assertion error if given condition is false.

Parameters
conditionCondition to evaluate.
messageMessage to throw in condition is not valid.