jpl::test::TestJUnit Class Reference

Inheritance diagram for jpl::test::TestJUnit:
Inheritance graph
[legend]

List of all members.

Public Member Functions

void testArrayToList1 ()
void testArrayToList2 ()
void testAtom1 ()
void testAtomArity ()
void testAtomEquality1 ()
void testAtomEquality2 ()
void testAtomEquality3 ()
void testAtomHasFunctorNameZero ()
void testAtomHasFunctorWrongArity ()
void testAtomHasFunctorWrongName ()
void testAtomIdentity ()
void testAtomName1 ()
void testAtomName2 ()
void testAtomName3 ()
void testAtomToString1 ()
void testAtomToString2 ()
void testAtomToString3 ()
void testBerhhard1 ()
void testDontTellMeMode1 ()
void testDontTellMeMode2 ()
void testFetchLongList0 ()
void testFetchLongList1 ()
void testFetchLongList2 ()
void testFetchLongList2a ()
void testFetchLongList2c ()
void testForeignFrame1 ()
void testGenerate1 ()
void testGetSolution1 ()
void testGetSolution2 ()
void testGoalWithModulePrefix1 ()
void testGoalWithModulePrefix2 ()
void testGoalWithModulePrefix3 ()
void testGoalWithModulePrefix4 ()
void testGoalWithModulePrefix5 ()
void testGoalWithModulePrefix6 ()
void testHasMoreElements1 ()
void testHasMoreSolutions1 ()
void testIsJNull1 ()
void testIsJNull2 ()
void testIsJNull3 ()
void testIsJNull4 ()
void testIsJNull5 ()
void testIsJTrue1 ()
void testIsJTrue2 ()
void testIsJTrue3 ()
void testIsJTrue4 ()
void testIsJVoid1 ()
void testIsJVoid2 ()
void testIsJVoid3 ()
void testJRef1 ()
void testJRef2 ()
void testJRef3 ()
void testJRef4 ()
void testJRef5 ()
 TestJUnit (String name)
void testLength1 ()
void testMasstest ()
void testModulePrefix1 ()
void testMutualRecursion1 ()
void testMutualRecursion10 ()
void testMutualRecursion2 ()
void testMutualRecursion3 ()
void testOpen1 ()
void testOpen2 ()
void testOpenGetClose1 ()
void testOpenGetClose2 ()
void testPrologException1 ()
void testRef6 ()
void testRef7 ()
void testSameLibVersions1 ()
void testSameLibVersions2 ()
void testStackedQueries1 ()
void testStaticQueryAllSolutions1 ()
void testStaticQueryHasSolution1 ()
void testStaticQueryHasSolution2 ()
void testStaticQueryInvalidSourceText1 ()
void testStaticQueryInvalidSourceText2 ()
void testStaticQueryNSolutions1 ()
void testStaticQueryNSolutions2 ()
void testStaticQueryNSolutions3 ()
void testStringXput1 ()
void testStringXput2 ()
void testTermToTermArray1 ()
void testTextToTerm1 ()
void testTextToTerm2 ()
void testTypeName1 ()
void testTypeName2 ()
void testTypeName3 ()
void testTypeName4 ()
void testTypeName5 ()
void testUnicode0 ()
void testUnicode0a ()
void testUnicode0b ()
void testUnicode0c ()
void testUnicode0d ()
void testUnicode0e ()
void testUnicode0f ()
void testUnicode0g ()
void testUnicode1 ()
void testUnicode2 ()
void testUtilListToTermArray1 ()
void testVariableBinding1 ()
void testVariableBinding2 ()
void testVariableBinding3 ()
void testVariableBinding4 ()
void testVariableBinding5 ()

Static Public Member Functions

static long fac (long n)
static void main (String args[])
static junit.framework.Test suite ()

Protected Member Functions

void setUp ()
void tearDown ()

Private Member Functions

void testMutualRecursion (int n, long f)

Detailed Description

Definition at line 21 of file TestJUnit.java.

Constructor & Destructor Documentation

jpl::test::TestJUnit::TestJUnit ( String  name  )  [inline]

Definition at line 31 of file TestJUnit.java.

Member Function Documentation

static long jpl::test::TestJUnit::fac ( long  n  )  [inline, static]

Definition at line 22 of file TestJUnit.java.

static void jpl::test::TestJUnit::main ( String  args[]  )  [inline, static]

Definition at line 37 of file TestJUnit.java.

void jpl::test::TestJUnit::setUp (  )  [inline, protected]

Definition at line 40 of file TestJUnit.java.

static junit.framework.Test jpl::test::TestJUnit::suite (  )  [inline, static]

Definition at line 34 of file TestJUnit.java.

void jpl::test::TestJUnit::tearDown (  )  [inline, protected]

Definition at line 46 of file TestJUnit.java.

void jpl::test::TestJUnit::testArrayToList1 (  )  [inline]

Definition at line 170 of file TestJUnit.java.

void jpl::test::TestJUnit::testArrayToList2 (  )  [inline]

Definition at line 175 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtom1 (  )  [inline]

Definition at line 198 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomArity (  )  [inline]

Definition at line 96 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomEquality1 (  )  [inline]

Definition at line 100 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomEquality2 (  )  [inline]

Definition at line 157 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomEquality3 (  )  [inline]

Definition at line 161 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomHasFunctorNameZero (  )  [inline]

Definition at line 112 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomHasFunctorWrongArity (  )  [inline]

Definition at line 120 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomHasFunctorWrongName (  )  [inline]

Definition at line 117 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomIdentity (  )  [inline]

Definition at line 106 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomName1 (  )  [inline]

Definition at line 63 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomName2 (  )  [inline]

Definition at line 68 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomName3 (  )  [inline]

Definition at line 73 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomToString1 (  )  [inline]

Definition at line 78 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomToString2 (  )  [inline]

Definition at line 84 of file TestJUnit.java.

void jpl::test::TestJUnit::testAtomToString3 (  )  [inline]

Definition at line 90 of file TestJUnit.java.

void jpl::test::TestJUnit::testBerhhard1 (  )  [inline]

Definition at line 528 of file TestJUnit.java.

void jpl::test::TestJUnit::testDontTellMeMode1 (  )  [inline]

Definition at line 210 of file TestJUnit.java.

void jpl::test::TestJUnit::testDontTellMeMode2 (  )  [inline]

Definition at line 215 of file TestJUnit.java.

void jpl::test::TestJUnit::testFetchLongList0 (  )  [inline]

Definition at line 380 of file TestJUnit.java.

void jpl::test::TestJUnit::testFetchLongList1 (  )  [inline]

Definition at line 383 of file TestJUnit.java.

void jpl::test::TestJUnit::testFetchLongList2 (  )  [inline]

Definition at line 386 of file TestJUnit.java.

void jpl::test::TestJUnit::testFetchLongList2a (  )  [inline]

Definition at line 392 of file TestJUnit.java.

void jpl::test::TestJUnit::testFetchLongList2c (  )  [inline]

Definition at line 389 of file TestJUnit.java.

void jpl::test::TestJUnit::testForeignFrame1 (  )  [inline]

Definition at line 574 of file TestJUnit.java.

void jpl::test::TestJUnit::testGenerate1 (  )  [inline]

Definition at line 185 of file TestJUnit.java.

void jpl::test::TestJUnit::testGetSolution1 (  )  [inline]

Definition at line 613 of file TestJUnit.java.

void jpl::test::TestJUnit::testGetSolution2 (  )  [inline]

Definition at line 619 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix1 (  )  [inline]

Definition at line 305 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix2 (  )  [inline]

Definition at line 309 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix3 (  )  [inline]

Definition at line 313 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix4 (  )  [inline]

Definition at line 329 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix5 (  )  [inline]

Definition at line 345 of file TestJUnit.java.

void jpl::test::TestJUnit::testGoalWithModulePrefix6 (  )  [inline]

Definition at line 361 of file TestJUnit.java.

void jpl::test::TestJUnit::testHasMoreElements1 (  )  [inline]

Definition at line 649 of file TestJUnit.java.

void jpl::test::TestJUnit::testHasMoreSolutions1 (  )  [inline]

Definition at line 637 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJNull1 (  )  [inline]

Definition at line 242 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJNull2 (  )  [inline]

Definition at line 246 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJNull3 (  )  [inline]

Definition at line 250 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJNull4 (  )  [inline]

Definition at line 254 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJNull5 (  )  [inline]

Definition at line 258 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJTrue1 (  )  [inline]

Definition at line 262 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJTrue2 (  )  [inline]

Definition at line 266 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJTrue3 (  )  [inline]

Definition at line 270 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJTrue4 (  )  [inline]

Definition at line 274 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJVoid1 (  )  [inline]

Definition at line 278 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJVoid2 (  )  [inline]

Definition at line 282 of file TestJUnit.java.

void jpl::test::TestJUnit::testIsJVoid3 (  )  [inline]

Definition at line 286 of file TestJUnit.java.

void jpl::test::TestJUnit::testJRef1 (  )  [inline]

Definition at line 519 of file TestJUnit.java.

void jpl::test::TestJUnit::testJRef2 (  )  [inline]

Definition at line 531 of file TestJUnit.java.

void jpl::test::TestJUnit::testJRef3 (  )  [inline]

Definition at line 538 of file TestJUnit.java.

void jpl::test::TestJUnit::testJRef4 (  )  [inline]

Definition at line 543 of file TestJUnit.java.

void jpl::test::TestJUnit::testJRef5 (  )  [inline]

Definition at line 547 of file TestJUnit.java.

void jpl::test::TestJUnit::testLength1 (  )  [inline]

Definition at line 179 of file TestJUnit.java.

void jpl::test::TestJUnit::testMasstest (  )  [inline]

Definition at line 50 of file TestJUnit.java.

void jpl::test::TestJUnit::testModulePrefix1 (  )  [inline]

Definition at line 220 of file TestJUnit.java.

void jpl::test::TestJUnit::testMutualRecursion ( int  n,
long  f 
) [inline, private]

Definition at line 223 of file TestJUnit.java.

void jpl::test::TestJUnit::testMutualRecursion1 (  )  [inline]

Definition at line 230 of file TestJUnit.java.

void jpl::test::TestJUnit::testMutualRecursion10 (  )  [inline]

Definition at line 239 of file TestJUnit.java.

void jpl::test::TestJUnit::testMutualRecursion2 (  )  [inline]

Definition at line 233 of file TestJUnit.java.

void jpl::test::TestJUnit::testMutualRecursion3 (  )  [inline]

Definition at line 236 of file TestJUnit.java.

void jpl::test::TestJUnit::testOpen1 (  )  [inline]

Definition at line 604 of file TestJUnit.java.

void jpl::test::TestJUnit::testOpen2 (  )  [inline]

Definition at line 608 of file TestJUnit.java.

void jpl::test::TestJUnit::testOpenGetClose1 (  )  [inline]

Definition at line 579 of file TestJUnit.java.

void jpl::test::TestJUnit::testOpenGetClose2 (  )  [inline]

Definition at line 590 of file TestJUnit.java.

void jpl::test::TestJUnit::testPrologException1 (  )  [inline]

Definition at line 189 of file TestJUnit.java.

void jpl::test::TestJUnit::testRef6 (  )  [inline]

Definition at line 552 of file TestJUnit.java.

void jpl::test::TestJUnit::testRef7 (  )  [inline]

Definition at line 557 of file TestJUnit.java.

void jpl::test::TestJUnit::testSameLibVersions1 (  )  [inline]

Definition at line 53 of file TestJUnit.java.

void jpl::test::TestJUnit::testSameLibVersions2 (  )  [inline]

Definition at line 58 of file TestJUnit.java.

void jpl::test::TestJUnit::testStackedQueries1 (  )  [inline]

Definition at line 661 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryAllSolutions1 (  )  [inline]

Definition at line 493 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryHasSolution1 (  )  [inline]

Definition at line 497 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryHasSolution2 (  )  [inline]

Definition at line 502 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryInvalidSourceText1 (  )  [inline]

Definition at line 464 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryInvalidSourceText2 (  )  [inline]

Definition at line 450 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryNSolutions1 (  )  [inline]

Definition at line 478 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryNSolutions2 (  )  [inline]

Definition at line 483 of file TestJUnit.java.

void jpl::test::TestJUnit::testStaticQueryNSolutions3 (  )  [inline]

Definition at line 488 of file TestJUnit.java.

void jpl::test::TestJUnit::testStringXput1 (  )  [inline]

Definition at line 431 of file TestJUnit.java.

void jpl::test::TestJUnit::testStringXput2 (  )  [inline]

Definition at line 435 of file TestJUnit.java.

void jpl::test::TestJUnit::testTermToTermArray1 (  )  [inline]

Definition at line 513 of file TestJUnit.java.

void jpl::test::TestJUnit::testTextToTerm1 (  )  [inline]

Definition at line 164 of file TestJUnit.java.

void jpl::test::TestJUnit::testTextToTerm2 (  )  [inline]

Definition at line 201 of file TestJUnit.java.

void jpl::test::TestJUnit::testTypeName1 (  )  [inline]

Definition at line 290 of file TestJUnit.java.

void jpl::test::TestJUnit::testTypeName2 (  )  [inline]

Definition at line 293 of file TestJUnit.java.

void jpl::test::TestJUnit::testTypeName3 (  )  [inline]

Definition at line 302 of file TestJUnit.java.

void jpl::test::TestJUnit::testTypeName4 (  )  [inline]

Definition at line 296 of file TestJUnit.java.

void jpl::test::TestJUnit::testTypeName5 (  )  [inline]

Definition at line 299 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0 (  )  [inline]

Definition at line 401 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0a (  )  [inline]

Definition at line 404 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0b (  )  [inline]

Definition at line 407 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0c (  )  [inline]

Definition at line 410 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0d (  )  [inline]

Definition at line 413 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0e (  )  [inline]

Definition at line 416 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0f (  )  [inline]

Definition at line 419 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode0g (  )  [inline]

Definition at line 422 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode1 (  )  [inline]

Definition at line 425 of file TestJUnit.java.

void jpl::test::TestJUnit::testUnicode2 (  )  [inline]

Definition at line 428 of file TestJUnit.java.

void jpl::test::TestJUnit::testUtilListToTermArray1 (  )  [inline]

Definition at line 507 of file TestJUnit.java.

void jpl::test::TestJUnit::testVariableBinding1 (  )  [inline]

Definition at line 124 of file TestJUnit.java.

void jpl::test::TestJUnit::testVariableBinding2 (  )  [inline]

Definition at line 131 of file TestJUnit.java.

void jpl::test::TestJUnit::testVariableBinding3 (  )  [inline]

Definition at line 137 of file TestJUnit.java.

void jpl::test::TestJUnit::testVariableBinding4 (  )  [inline]

Definition at line 144 of file TestJUnit.java.

void jpl::test::TestJUnit::testVariableBinding5 (  )  [inline]

Definition at line 150 of file TestJUnit.java.

The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Defines

jpl
Author(s): Lorenz Moesenlechner
autogenerated on Fri Jan 11 09:40:32 2013