Examples with Term org.geotoolkit.sml.xml.v101.Term used on opensource projects

Example 6 with Term

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

the class Zahed method main.

public static void main(java.lang.String[] argv) {
    System.out.println("starting...");
    Compound goal1 = new Compound("consult", new Term[] { new Atom("zahed.pl") });
    Query q1 = new Query(goal1);
    if (!q1.hasSolution()) {
        System.out.println("consult('zahed.pl') failed");
        return;
    }
    Term t2 = new Compound("t", new Term[] { new Atom("v"), new Atom("[]"), new Atom("a") });
    Compound list2 = new Compound(".", new Term[] { t2, new Atom("[]") });
    Compound t1 = new Compound("t", new Term[] { new Atom("c"), new Atom("q"), new Atom("[]") });
    Compound list1 = new Compound(".", new Term[] { t1, list2 });
    Variable answer = new Variable("A");
    Compound goal2 = new Compound("gen", new Term[] { list1, answer });
    Query q2 = new Query(goal2);
    Map<String, Term> solution = q2.oneSolution();
    if (solution == null) {
        System.out.println("failed");
    } else {
        System.out.println(solution.get("A").toString());
    }
    System.out.println("finished");
}

Example 7 with Term

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

the class TestJUnit method testIsJVoid1.

public void testIsJVoid1() {
    Term t = Query.oneSolution("X = @(void)").get("X");
    assertTrue("@(void) . isJVoid() succeeds", t.isJVoid());
}

Example 8 with Term

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

the class TestJUnit method testIsJVoid2.

public void testIsJVoid2() {
    Term t = Query.oneSolution("X = @(3)").get("X");
    assertFalse("@(3) . isJVoid() fails", t.isJVoid());
}

Example 9 with Term

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

the class TestJUnit method testJRef4.

public void testJRef4() {
    Term jrefSB = Query.oneSolution("jpl_new('java.lang.StringBuffer',['abc'],SB)").get("SB");
    assertTrue(jrefSB.isJRef() && ((StringBuffer) jrefSB.jrefToObject()).toString().equals("abc"));
}

Example 10 with Term

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

the class TestJUnit method testIsJNull5.

public void testIsJNull5() {
    Term t = Query.oneSolution("X = @(false)").get("X");
    assertFalse("@(false) . isJNull() fails", t.isJNull());
}