Method test_11

src/examples/java/test/Test.java:264–305

()

	}

	static void test_11() {
		System.out.print("test 11...");
		Term tuple = new Compound("t", new Term[] { new Atom("a"), new Atom("b"), new Atom("c"), new Atom("d"), new Atom("e") });
		try {
			Variable X = new Variable("X");
			Query q11 = new Query("tuple", new Term[] { X });
			Term result = q11.oneSolution().get("X");
			if (result == null || !result.equals(tuple)) {
				System.out.println("failed:");
				System.out.println("\tresult: " + result);
				System.out.println("\ttuple:  " + tuple);
				// System.exit(1);
			}
			if (result.arg(1) == null || !result.arg(1).equals(new Atom("a"))) {
				System.out.println("failed:");
				System.out.println("\tresult.arg(1): " + result.arg(1));
				// System.exit(1);
			}
			if (result.arg(2) == null || !result.arg(2).equals(new Atom("b"))) {
				System.out.println("failed:");
				System.out.println("\tresult.arg(2): " + result.arg(2));
				// System.exit(1);
			}
			if (result.arg(5) == null || !result.arg(5).equals(new Atom("e"))) {
				System.out.println("failed:");
				System.out.println("\tresult.arg(5): " + result.arg(5));
				// System.exit(1);
			}
			// arg0(6) throws an exception, as I'd expect it to...
			// if ( ((Compound)result).arg( 7 ) != null ){
			// System.out.println( "failed:" );
			// System.out.println( "\t((Compound)result).arg( 7 ): " + ((Compound)result).arg( 7 ) );
			// System.out.println( "\tshould be null" );
			// System.exit( 1 );
			// }
		} catch (PrologException e) {
			System.out.println("failed");
			e.printStackTrace();
			// System.exit(1);
		}
		System.out.println("passed");
	}

	static void test_101() {
		System.out.print("test 101...");