Search in sources :

Example 26 with Term

use of org.geotoolkit.sml.xml.v100.Term in project packages-jpl by SWI-Prolog.

the class TestJUnit method testEmptyParentheses.

// the tests; all public void test*()
// public void testInfo() {
// Term swi = Query.oneSolution("current_prolog_flag(version_data,Swi)").get("Swi");
// System.out.println("version = " + swi.arg(1) + "." + swi.arg(2) + "." + swi.arg(3));
// System.out.println("syntax = " + Query.oneSolution("jpl:jpl_pl_syntax(Syntax)").get("Syntax"));
// System.out.println("jpl.jar = " + JPL.version_string() + " " + JPL.jarPath());
// System.out.println("jpl.dll = " + Prolog.get_c_lib_version());
// System.out.println("jpl.pl = " + Query.oneSolution("jpl:jpl_pl_lib_version(V)").get("V").name() + " "
// + Query.oneSolution("module_property(jpl, file(F))").get("F").name());
// System.out.println("home = " + Query.oneSolution("current_prolog_flag(home,Home)").get("Home").name());
// }
public void testEmptyParentheses() {
    // valid in both
    Term t = Query.oneSolution("T = a()").get("T");
    // traditional and
    // modern syntax in SWI
    // Prolog 7.x
    assertTrue("T is not bound to an atom", t.isAtom());
    assertTrue("the atom's name is not \"a\"", t.name().equals("a"));
}
Also used : Term(org.jpl7.Term)

Example 27 with Term

use of org.geotoolkit.sml.xml.v100.Term in project packages-jpl by SWI-Prolog.

the class TestJUnit method testStringXput1.

public void testStringXput1() {
    Term a = Query.oneSolution("string_concat(foo,bar,S)").get("S");
    assertEquals("foobar", a.name());
    assertEquals("string", a.atomType());
}
Also used : Term(org.jpl7.Term)

Example 28 with Term

use of org.geotoolkit.sml.xml.v100.Term in project packages-jpl by SWI-Prolog.

the class TestJUnit method testTermToTermArray1.

public void testTermToTermArray1() {
    String goal = "T = [a,b,c]";
    Term list = Query.oneSolution(goal).get("T");
    Term[] array = list.toTermArray();
    assertTrue(array[2].isAtom() && array[2].name().equals("c"));
}
Also used : Term(org.jpl7.Term)

Example 29 with Term

use of org.geotoolkit.sml.xml.v100.Term in project packages-jpl by SWI-Prolog.

the class TestJUnit method testJRef5.

public void testJRef5() {
    String token = "foobar345";
    Term a = Query.oneSolution("jpl_new('java.lang.StringBuffer',[?],A)", new Term[] { new Atom(token) }).get("A");
    assertTrue(((java.lang.StringBuffer) (a.jrefToObject())).toString().equals(token));
}
Also used : Term(org.jpl7.Term) Atom(org.jpl7.Atom)

Example 30 with Term

use of org.geotoolkit.sml.xml.v100.Term in project packages-jpl by SWI-Prolog.

the class TestJUnit method testIsJNull4.

public void testIsJNull4() {
    Term t = Query.oneSolution("X = @(true)").get("X");
    assertFalse("@(true) . isJNull() fails", t.isJNull());
}
Also used : Term(org.jpl7.Term)

Aggregations

Term (org.jpl7.Term)86 Query (org.jpl7.Query)52 Variable (org.jpl7.Variable)29 Atom (org.jpl7.Atom)23 Compound (org.jpl7.Compound)23 Map (java.util.Map)19 BigInteger (java.math.BigInteger)5 InputStream (java.io.InputStream)4 ArrayList (java.util.ArrayList)4 Integer (org.jpl7.Integer)4 Term (org.apache.cassandra.cql3.Term)3 MarshalException (org.apache.cassandra.serializers.MarshalException)3 JAXBElement (javax.xml.bind.JAXBElement)2 Unmarshaller (javax.xml.bind.Unmarshaller)2 DefaultIdentifier (org.apache.sis.metadata.iso.DefaultIdentifier)2 CodeType (org.geotoolkit.gml.xml.v311.CodeType)2 TimePositionType (org.geotoolkit.gml.xml.v311.TimePositionType)2 Capabilities (org.geotoolkit.sml.xml.v100.Capabilities)2 Classification (org.geotoolkit.sml.xml.v100.Classification)2 Classifier (org.geotoolkit.sml.xml.v100.Classifier)2