Prolog Cafe v1.2

jp.ac.kobe_u.cs.prolog.lang
Class JavaPredicate

java.lang.Object
  extended by jp.ac.kobe_u.cs.prolog.lang.Predicate
      extended by jp.ac.kobe_u.cs.prolog.lang.JavaPredicate
All Implemented Interfaces:
java.io.Serializable

public abstract class JavaPredicate
extends Predicate

The abstract class JavaPredicate contains methods for interoperating with Java.
For example, the following builtin predicates extends this JavaPredicate.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
cont
 
Constructor Summary
JavaPredicate()
           
 
Method Summary
protected  boolean checkParameterTypes(java.lang.Class[] paraTypes, Term[] args)
          Checks whether all terms in args are convertible to the corresponding Java types in paraTypes.
 
Methods inherited from class jp.ac.kobe_u.cs.prolog.lang.Predicate
arity, exec, setArgument
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaPredicate

public JavaPredicate()
Method Detail

checkParameterTypes

protected boolean checkParameterTypes(java.lang.Class[] paraTypes,
                                      Term[] args)
Checks whether all terms in args are convertible to the corresponding Java types in paraTypes.

Returns:
true if args[i].convertible(paraTypes[i]) succeeds for all i, otherwise false.
See Also:
Term.convertible(Class)

Prolog Cafe v1.2

Copyright (C) 1997-2008 M.BANBARA and N.TAMURA