- table - Variable in class org.jpl7.util.HashedRefs
-
The hash table data.
- tag_to_object(String) - Static method in class org.jpl7.fli.Prolog
-
- tearDown() - Method in class org.jpl7.test.TestJUnit
-
- tempCelsius - Variable in class org.jpl7.test.CelsiusConverter
-
- term() - Method in exception org.jpl7.PrologException
-
- Term - Class in org.jpl7
-
Term is the abstract base class for Compound, Atom, Variable, Integer and Float, which comprise a Java-oriented concrete syntax for Prolog.
- Term() - Constructor for class org.jpl7.Term
-
This default constructor enables subclasses to define their own default constructors
- term - Variable in class org.jpl7.test.Test
-
- term_ - Variable in class org.jpl7.Variable
-
defined between Query.open() and Query.get2()
- term_t - Class in org.jpl7.fli
-
A term_t is a simple class which mirrors the term_t type in the Prolog FLI.
- term_t() - Constructor for class org.jpl7.fli.term_t
-
- term_type(term_t) - Static method in class org.jpl7.fli.Prolog
-
- termArrayToList(Term[]) - Static method in class org.jpl7.Util
-
Converts an array of Terms to a JPL representation of a Prolog list of terms whose members correspond to the respective array elements.
- termFromConstructor - Variable in class org.jpl7.test.Test
-
- terms_equals(Term[], Term[]) - Static method in class org.jpl7.Term
-
This method is used (by Compound.equals) to determine the Terms in two Term arrays are pairwise equal, where two Terms are equal if they satisfy the equals predicate (defined differently in
each Term subclass).
- Test - Class in org.jpl7.test
-
- Test() - Constructor for class org.jpl7.test.Test
-
- Test(Term) - Constructor for class org.jpl7.test.Test
-
- Test1 - Class in org.jpl7.util
-
- Test1() - Constructor for class org.jpl7.util.Test1
-
- Test2 - Class in org.jpl7.util
-
- Test2() - Constructor for class org.jpl7.util.Test2
-
- test_jpl - Static variable in class org.jpl7.test.TestJUnit
-
- testArrayToList1() - Method in class org.jpl7.test.TestJUnit
-
- testArrayToList2() - Method in class org.jpl7.test.TestJUnit
-
- testAtom1() - Method in class org.jpl7.test.TestJUnit
-
- testAtomArity() - Method in class org.jpl7.test.TestJUnit
-
- testAtomEquality1() - Method in class org.jpl7.test.TestJUnit
-
- testAtomEquality2() - Method in class org.jpl7.test.TestJUnit
-
- testAtomEquality3() - Method in class org.jpl7.test.TestJUnit
-
- testAtomHasFunctorNameZero() - Method in class org.jpl7.test.TestJUnit
-
- testAtomHasFunctorWrongArity() - Method in class org.jpl7.test.TestJUnit
-
- testAtomHasFunctorWrongName() - Method in class org.jpl7.test.TestJUnit
-
- testAtomIdentity() - Method in class org.jpl7.test.TestJUnit
-
- testAtomName1() - Method in class org.jpl7.test.TestJUnit
-
- testAtomName2() - Method in class org.jpl7.test.TestJUnit
-
- testAtomName3() - Method in class org.jpl7.test.TestJUnit
-
- testAtomToString1() - Method in class org.jpl7.test.TestJUnit
-
- testAtomToString2() - Method in class org.jpl7.test.TestJUnit
-
- testAtomToString3() - Method in class org.jpl7.test.TestJUnit
-
- testBerhhard1() - Method in class org.jpl7.test.TestJUnit
-
- testBigInteger1() - Method in class org.jpl7.test.TestJUnit
-
- testBigInteger2() - Method in class org.jpl7.test.TestJUnit
-
- testCompoundZeroArity1() - Method in class org.jpl7.test.TestJUnit
-
- testCompoundZeroArity2() - Method in class org.jpl7.test.TestJUnit
-
- testDontTellMeMode1() - Method in class org.jpl7.test.TestJUnit
-
- testDontTellMeMode2() - Method in class org.jpl7.test.TestJUnit
-
- testEmptyParentheses() - Method in class org.jpl7.test.TestJUnit
-
- testFetchLongList0() - Method in class org.jpl7.test.TestJUnit
-
- testFetchLongList1() - Method in class org.jpl7.test.TestJUnit
-
- testFetchLongList2() - Method in class org.jpl7.test.TestJUnit
-
- testFetchLongList2c() - Method in class org.jpl7.test.TestJUnit
-
- testForeignFrame1() - Method in class org.jpl7.test.TestJUnit
-
- testGenerate1() - Method in class org.jpl7.test.TestJUnit
-
- testGetSolution1() - Method in class org.jpl7.test.TestJUnit
-
- testGetSolution2() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix1() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix2() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix3() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix4() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix5() - Method in class org.jpl7.test.TestJUnit
-
- testGoalWithModulePrefix6() - Method in class org.jpl7.test.TestJUnit
-
- testHasMoreElements1() - Method in class org.jpl7.test.TestJUnit
-
- testHasMoreSolutions1() - Method in class org.jpl7.test.TestJUnit
-
- testInfo() - Method in class org.jpl7.test.TestJUnit
-
- testInteger1() - Method in class org.jpl7.test.TestJUnit
-
- testIntegerFromByte1() - Method in class org.jpl7.test.TestJUnit
-
- testIntegerFromChar1() - Method in class org.jpl7.test.TestJUnit
-
- testIsJNull1() - Method in class org.jpl7.test.TestJUnit
-
- testIsJNull2() - Method in class org.jpl7.test.TestJUnit
-
- testIsJNull3() - Method in class org.jpl7.test.TestJUnit
-
- testIsJNull4() - Method in class org.jpl7.test.TestJUnit
-
- testIsJNull5() - Method in class org.jpl7.test.TestJUnit
-
- testIsJTrue1() - Method in class org.jpl7.test.TestJUnit
-
- testIsJTrue2() - Method in class org.jpl7.test.TestJUnit
-
- testIsJTrue3() - Method in class org.jpl7.test.TestJUnit
-
- testIsJTrue4() - Method in class org.jpl7.test.TestJUnit
-
- testIsJVoid1() - Method in class org.jpl7.test.TestJUnit
-
- testIsJVoid2() - Method in class org.jpl7.test.TestJUnit
-
- testIsJVoid3() - Method in class org.jpl7.test.TestJUnit
-
- testIterable1() - Method in class org.jpl7.test.TestJUnit
-
- testIterable2() - Method in class org.jpl7.test.TestJUnit
-
- testJRef1() - Method in class org.jpl7.test.TestJUnit
-
- testJRef2() - Method in class org.jpl7.test.TestJUnit
-
- testJRef3() - Method in class org.jpl7.test.TestJUnit
-
- testJRef4() - Method in class org.jpl7.test.TestJUnit
-
- testJRef5() - Method in class org.jpl7.test.TestJUnit
-
- TestJUnit - Class in org.jpl7.test
-
- TestJUnit(String) - Constructor for class org.jpl7.test.TestJUnit
-
- testLength1() - Method in class org.jpl7.test.TestJUnit
-
- testListCons1() - Method in class org.jpl7.test.TestJUnit
-
- testListNil1() - Method in class org.jpl7.test.TestJUnit
-
- testMap1() - Method in class org.jpl7.test.TestJUnit
-
- testMap2() - Method in class org.jpl7.test.TestJUnit
-
- testMasstest() - Method in class org.jpl7.test.TestJUnit
-
- testModulePrefix1() - Method in class org.jpl7.test.TestJUnit
-
- testMutualRecursion1() - Method in class org.jpl7.test.TestJUnit
-
- testMutualRecursion10() - Method in class org.jpl7.test.TestJUnit
-
- testMutualRecursion2() - Method in class org.jpl7.test.TestJUnit
-
- testMutualRecursion3() - Method in class org.jpl7.test.TestJUnit
-
- TestOLD - Class in org.jpl7.test
-
- TestOLD() - Constructor for class org.jpl7.test.TestOLD
-
- testOpen1() - Method in class org.jpl7.test.TestJUnit
-
- testOpen2() - Method in class org.jpl7.test.TestJUnit
-
- testOpenGetClose1() - Method in class org.jpl7.test.TestJUnit
-
- testOpenGetClose2() - Method in class org.jpl7.test.TestJUnit
-
- testPrologException1() - Method in class org.jpl7.test.TestJUnit
-
- testRef6() - Method in class org.jpl7.test.TestJUnit
-
- testRef7() - Method in class org.jpl7.test.TestJUnit
-
- testSameLibVersions1() - Method in class org.jpl7.test.TestJUnit
-
- testSameLibVersions2() - Method in class org.jpl7.test.TestJUnit
-
- testStackedQueries1() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryAllSolutions1() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryHasSolution1() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryHasSolution2() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryInvalidSourceText1() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryInvalidSourceText2() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryNSolutions1() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryNSolutions2() - Method in class org.jpl7.test.TestJUnit
-
- testStaticQueryNSolutions3() - Method in class org.jpl7.test.TestJUnit
-
- testStringXput1() - Method in class org.jpl7.test.TestJUnit
-
- testStringXput2() - Method in class org.jpl7.test.TestJUnit
-
- testSyntaxSet1() - Method in class org.jpl7.test.TestJUnit
-
- testTermToTermArray1() - Method in class org.jpl7.test.TestJUnit
-
- testTextToTerm1() - Method in class org.jpl7.test.TestJUnit
-
- testTextToTerm2() - Method in class org.jpl7.test.TestJUnit
-
- testThreadedAdds() - Method in class org.jpl7.test.JPLTest
-
- testTypeName1() - Method in class org.jpl7.test.TestJUnit
-
- testTypeName2() - Method in class org.jpl7.test.TestJUnit
-
- testTypeName3() - Method in class org.jpl7.test.TestJUnit
-
- testTypeName4() - Method in class org.jpl7.test.TestJUnit
-
- testTypeName5() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0a() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0b() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0c() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0d() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0e() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0f() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode0g() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode1() - Method in class org.jpl7.test.TestJUnit
-
- testUnicode2() - Method in class org.jpl7.test.TestJUnit
-
- testUtilListToTermArray1() - Method in class org.jpl7.test.TestJUnit
-
- testVariableBinding1() - Method in class org.jpl7.test.TestJUnit
-
- testVariableBinding2() - Method in class org.jpl7.test.TestJUnit
-
- testVariableBinding3() - Method in class org.jpl7.test.TestJUnit
-
- testVariableBinding4() - Method in class org.jpl7.test.TestJUnit
-
- testVariableBinding5() - Method in class org.jpl7.test.TestJUnit
-
- testWouter1() - Method in class org.jpl7.test.TestJUnit
-
- textParamsToTerm(String, Term[]) - Static method in class org.jpl7.Util
-
Converts a Prolog source text to a corresponding JPL Term (in which each Variable has the appropriate name from the source text), replacing successive occurrences of ?
- textToTerm(String) - Static method in class org.jpl7.Util
-
Converts a Prolog source text to a corresponding JPL Term (in which each Variable has the appropriate name from the source text).
- thread_self() - Static method in class org.jpl7.fli.Prolog
-
- toString() - Method in class org.jpl7.Atom
-
an Atom's name is quoted if it is not a simple identifier.
- toString() - Method in class org.jpl7.Compound
-
a prefix functional representation of a Compound of the form name(arg1,...), where 'name' is quoted iff necessary (to be valid Prolog soutce text) and each argument is represented according to
its toString() method.
- toString() - Method in class org.jpl7.fli.atom_t
-
The String representation of an atom_t is just the atom's name.
- toString(int, term_t) - Static method in class org.jpl7.fli.term_t
-
This static method converts a term_t, which is assumed to contain a reference to a *consecutive* list of term_t references to a String representation of a list of terms, in this case, a comma
separated list.
- toString() - Method in class org.jpl7.Float
-
Returns a Prolog source text representation of this Float
- toString() - Method in class org.jpl7.Integer
-
a Prolog source text representation of this Integer's value
- toString() - Method in class org.jpl7.JRef
-
Deprecated.
Returns a Prolog source text representation of this JRef
- toString() - Method in class org.jpl7.Query
-
Returns a crude String representation of a Query.
- toString(Term[]) - Static method in class org.jpl7.Term
-
Converts a list of Terms to a String.
- toString(Map<String, Term>) - Static method in class org.jpl7.Util
-
Converts a substitution, in the form of a Map from variable names to Terms, to a String.
- toString() - Method in class org.jpl7.Variable
-
Returns a Prolog source text representation of this Variable
- toTermArray() - Method in class org.jpl7.Term
-
returns an array of terms which are the successive members of this list, if it is a list, else throws an exception
- type - Variable in class org.jpl7.Atom
-
- type() - Method in class org.jpl7.Atom
-
returns the type of this term, as "Prolog.ATOM"
- type() - Method in class org.jpl7.Compound
-
the type of this term, as jpl.fli.Prolog.COMPOUND
- type() - Method in class org.jpl7.Float
-
- type() - Method in class org.jpl7.Integer
-
the type of this term, as "Prolog.INTEGER"
- type() - Method in class org.jpl7.JRef
-
Deprecated.
- type() - Method in class org.jpl7.Term
-
returns the type of this term, as one of org.jpl7.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc
- type() - Method in class org.jpl7.Variable
-
returns the type of this subclass of Term, i.e.
- typeName() - Method in class org.jpl7.Atom
-
returns the name of the type of this term, as "Atom"
- typeName() - Method in class org.jpl7.Compound
-
the name of the type of this term, as "Compound"
- typeName() - Method in class org.jpl7.Float
-
- typeName() - Method in class org.jpl7.Integer
-
the name of the type of this term, as "Integer"
- typeName() - Method in class org.jpl7.JRef
-
Deprecated.
- typeName() - Method in class org.jpl7.Term
-
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" etc
- typeName() - Method in class org.jpl7.Variable
-
returns the typeName of this subclass of Term, i.e.