public class TestJUnit
extends junit.framework.TestCase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
startup |
static java.lang.String |
syntax |
static java.lang.String |
test_jpl |
Constructor and Description |
---|
TestJUnit(java.lang.String name) |
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
public static final java.lang.String startup
public static final java.lang.String test_jpl
public static final java.lang.String syntax
public static junit.framework.Test suite()
public static void main(java.lang.String[] args)
protected void setUp()
setUp
in class junit.framework.TestCase
protected void tearDown()
tearDown
in class junit.framework.TestCase
public static long fac(long n)
public void testInfo()
public void testEmptyParentheses()
public void testIntegerFromByte1()
public void testIntegerFromChar1()
public void testInteger1()
public void testIterable1()
public void testIterable2()
public void testBigInteger1()
public void testBigInteger2()
public void testCompoundZeroArity1()
public void testCompoundZeroArity2()
public void testMap1()
public void testMap2()
public void testSyntaxSet1()
public void testMasstest()
public void testSameLibVersions1()
public void testSameLibVersions2()
public void testAtomName1()
public void testAtomName2()
public void testAtomName3()
public void testAtomToString1()
public void testAtomToString2()
public void testAtomToString3()
public void testAtomArity()
public void testAtomEquality1()
public void testAtomIdentity()
public void testAtomHasFunctorNameZero()
public void testAtomHasFunctorWrongName()
public void testAtomHasFunctorWrongArity()
public void testVariableBinding1()
public void testVariableBinding2()
public void testVariableBinding3()
public void testVariableBinding4()
public void testVariableBinding5()
public void testAtomEquality2()
public void testAtomEquality3()
public void testTextToTerm1()
public void testArrayToList1()
public void testArrayToList2()
public void testLength1()
public void testListNil1()
public void testListCons1()
public void testGenerate1()
public void testPrologException1()
public void testAtom1()
public void testTextToTerm2()
public void testDontTellMeMode1()
public void testDontTellMeMode2()
public void testModulePrefix1()
public void testMutualRecursion1()
public void testMutualRecursion2()
public void testMutualRecursion3()
public void testMutualRecursion10()
public void testIsJNull1()
public void testIsJNull2()
public void testIsJNull3()
public void testIsJNull4()
public void testIsJNull5()
public void testIsJTrue1()
public void testIsJTrue2()
public void testIsJTrue3()
public void testIsJTrue4()
public void testIsJVoid1()
public void testIsJVoid2()
public void testIsJVoid3()
public void testTypeName1()
public void testTypeName2()
public void testTypeName4()
public void testTypeName5()
public void testTypeName3()
public void testGoalWithModulePrefix1()
public void testGoalWithModulePrefix2()
public void testGoalWithModulePrefix3()
public void testGoalWithModulePrefix4()
public void testGoalWithModulePrefix5()
public void testGoalWithModulePrefix6()
public void testFetchLongList0()
public void testFetchLongList1()
public void testFetchLongList2()
public void testFetchLongList2c()
public void testUnicode0()
public void testUnicode0a()
public void testUnicode0b()
public void testUnicode0c()
public void testUnicode0d()
public void testUnicode0e()
public void testUnicode0f()
public void testUnicode0g()
public void testUnicode1()
public void testUnicode2()
public void testStringXput1()
public void testStringXput2()
public void testStaticQueryInvalidSourceText2()
public void testStaticQueryInvalidSourceText1()
public void testStaticQueryNSolutions1()
public void testStaticQueryNSolutions2()
public void testStaticQueryNSolutions3()
public void testStaticQueryAllSolutions1()
public void testStaticQueryHasSolution1()
public void testStaticQueryHasSolution2()
public void testUtilListToTermArray1()
public void testTermToTermArray1()
public void testJRef1()
public void testBerhhard1()
public void testWouter1()
public void testJRef2()
public void testJRef3()
public void testJRef4()
public void testJRef5()
public void testRef6()
public void testRef7()
public void testForeignFrame1()
public void testOpenGetClose1()
public void testOpenGetClose2()
public void testOpen1()
public void testOpen2()
public void testGetSolution1()
public void testGetSolution2()
public void testHasMoreSolutions1()
public void testHasMoreElements1()
public void testStackedQueries1()