com.atlassian.clover

Class Contract

java.lang.Object

com.atlassian.clover.Contract

public class Contract
extends Object

Method Summary

Modifier and Type	Method and Description
static void	check(boolean cond, String desc)
static void	post(boolean cond)
static void	pre(boolean cond)

Methods inherited from class java.lang.Object

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

Method Detail

check

public static void check(boolean cond,
                         String desc)

pre

public static void pre(boolean cond)

post

public static void post(boolean cond)