FileDocCategorySizeDatePackage
AssertionMain.javaAPI DocApache Ant 1.701105Wed Dec 13 06:16:20 GMT 2006None

AssertionMain

public class AssertionMain extends Object
this is an assertion tester It has a main() entry

Fields Summary
Constructors Summary
Methods Summary
public static voidmain(java.lang.String[] args)

		assert true == false : "there exist no facts that are both true and false";
		System.out.println("Assertions are disabled");