public class PJLibraryNew extends OOLibrary
Constructor and Description |
---|
PJLibraryNew() |
Modifier and Type | Method and Description |
---|---|
String |
getTheory()
library theory
|
boolean |
is_iterable_1(Term method) |
boolean |
java_field_1(Term method) |
boolean |
java_get_3(Term objId,
Term fieldTerm,
Term what) |
boolean |
java_method_1(Term method) |
boolean |
java_method_call_6(Term objId,
Term method,
Term method_info,
Term idResult,
Term isProlog,
Term isReentrant) |
boolean |
java_object_prolog_3(Term className,
Term args,
Term id) |
boolean |
java_object_std_3(Term className,
Term args,
Term id) |
boolean |
java_set_3(Term objId,
Term fieldTerm,
Term what) |
boolean |
lookup_field_3(Term receiver,
Term name,
Term result) |
boolean |
lookup_method_3(Term receiver,
Term method,
Term result) |
boolean |
marshal_2(Term term,
Term marshalledTerm) |
boolean |
pj_assert_2(Term obj,
Term clause) |
boolean |
pj_retract_2(Term obj,
Term clause) |
boolean |
pj_retract_all_2(Term obj,
Term clause) |
boolean |
prolog_class_1(Term classname) |
boolean |
prolog_field_1(Term method) |
boolean |
prolog_method_1(Term method) |
boolean |
unmarshal_2(Term term,
Term unmarshalledTerm) |
boolean |
unmarshal_method_2(Term term,
Term unmarshalledTerm) |
bindDynamicObject, destroy_object_1, dismiss, dismissAll, generateFreshId, get_classpath_1, getRegisteredDynamicObject, getRegisteredObject, java_array_get_primitive_3, java_array_set_primitive_3, java_call_3, java_class_4, java_object_3, new_class_4, new_lambda_3, new_object_3, onSolveBegin, onSolveEnd, preregisterObjects, register_1, register, register, registerDynamic, registerDynamic, set_classpath_1, unregister_1, unregister, unregisterDynamic
evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveHalt, setEngine, unify
public boolean prolog_class_1(Term classname)
public boolean prolog_method_1(Term method)
public boolean prolog_field_1(Term method)
public boolean java_method_1(Term method)
public boolean is_iterable_1(Term method)
public boolean java_field_1(Term method)
public boolean java_method_call_6(Term objId, Term method, Term method_info, Term idResult, Term isProlog, Term isReentrant)