public class PJ extends Object
Modifier and Type | Method and Description |
---|---|
static void |
assertClause(PrologObject po,
Term clause) |
static Object |
call(Object receiver,
Method method,
Object[] args,
boolean reentrant)
External interface for calling a Prolog method - if a call is reentrant (e.g.
|
static Object |
getRegisteredJavaObject(Struct t) |
Object |
invoke(Object receiver,
Method method,
Method proceed,
Object[] args) |
Object |
invokeInternal(Object receiver,
Method method,
Object[] args) |
static <T> T |
newInstance(Class<?> cl) |
static <T> T |
newInstance(Class<?> cl,
Theory init) |
static Struct |
registerJavaObject(Object o) |
static void |
retractAllClauses(PrologObject po,
Term clause) |
static void |
retractClause(PrologObject po,
Term clause) |
public static <T> T newInstance(Class<?> cl, Theory init) throws Exception
Exception
public static Object call(Object receiver, Method method, Object[] args, boolean reentrant) throws Throwable
Throwable
public Object invoke(Object receiver, Method method, Method proceed, Object[] args) throws Throwable
Throwable
public static void assertClause(PrologObject po, Term clause)
public static void retractClause(PrologObject po, Term clause)
public static void retractAllClauses(PrologObject po, Term clause)