/dports/lang/swi-pl/swipl-8.2.3/packages/jpl/src/main/java/org/jpl7/ |
H A D | JRef.java | 42 public class JRef extends Term { class 55 public JRef(Object object) { in JRef() method in JRef 79 if (o == null || !(o instanceof JRef)) return false; in equals() 80 JRef jRef = (JRef) o; in equals()
|
H A D | JPL.java | 341 return new JRef(object); in newJRef()
|
H A D | Term.java | 359 return new JRef(hObject.value); in getTerm() 567 return this instanceof JRef; in isJRef()
|
/dports/lang/yap/yap-6.2.2/packages/jpl/src/java/jpl/ |
H A D | JRef.java | 64 public class JRef extends Term { class 85 public JRef(Object ref) { in JRef() method in JRef 117 return this == obj || (obj instanceof JRef && ref == ((JRef) obj).ref); in equals()
|
/dports/lang/swi-pl/swipl-8.2.3/packages/jpl/docs/ |
H A D | PrologApiReference.md | 21 ?- jpl_new(array(byte), 4, JRef), jpl_array_to_list(JRef, Ds). 22 JRef = <jref>(0x12345678), 32 ?- jpl_new(array(byte), [1,1,2,3,5,8], JRef), jpl_array_to_list(JRef, Ds). 33 JRef = <jref>(0x12345678), 201 ### jpl_array_to_length(+JRef, -Length) 203 *JRef* should be a JPL reference to a Java array. 207 ### jpl_array_to_list(+JRef, -Datums) 209 *JRef* should be a JPL reference to a Java array (of any base type). 213 ### jpl_datums_to_array(+Datums, -JRef) 217 *JRef* is a JPL reference to a newly created Java array of corresponding objects or values.
|
H A D | ReleaseNotes740.md | 55 (`Atom`, `Compound`, `Integer`, `Float`, `Variable` and `JRef`) are supported in JPL7 by all these … 58 method | Atom | Compound | Float | Integer | Variable | JRef 90 typeName() | "Atom" | "Compound" | "Float" | "Integer" | "Variable" | "JRef"
|
H A D | PrologApiOverview.md | 161 To create an instance of a Java class from within Prolog, call `jpl_new(+Class, +Params, -JRef)` wi… 164 jpl_new('javax.swing.JFrame', ['frame with dialog'], JRef) 167 which binds `JRef` to a new object reference, e.g.`<jref>(0x12345678)`. 176 jpl_call(+JRef, +Method, +Params, -Result) 182 jpl_call(JRef, setVisible, [@(true)], _) 185 which calls the `setVisible()` method of the object to which `JRef` refers, effectively passing it … 201 If the `JRef` argument represents a class, then the named static method of that class is called. 214 jpl_new('java.util.GregorianCalendar', [], JRef), 215 jpl_get(JRef, time, Ms)
|
H A D | JavaApiOverview.md | 30 | +-- JRef 46 …* `org.jpl7.Term.JRef` is a has a (non-null, non-String) Object field, representing JPL 7.4's Prol… 392 A JVM object is either a `Compound`, `Atom`, or `JRef`: 396 * Any other JVM objects is a `JRef` term which stores the object in question. 403 * `JPL.newJRef(object)` yields `JPL.JNULL` (if the object is `null`) or a `JRef` (if the object is … 404 * `JRef(object)` constructor. 410 …2. If it is a reference to a JVM non-null object, that is the term is an instnce of `JRef` , then …
|
H A D | ReleaseNotes302.md | 28 Added support for new jpl.JRef type.
|
/dports/lang/swi-pl/swipl-8.2.3/packages/jpl/ |
H A D | test_jpl.pl | 99 E = error(java_exception(JRef), 'java.lang.IllegalArgumentException'), 100 blob(JRef, jref) 114 jpl_terms_to_array(Terms1, JRef), 115 jpl_array_to_terms(JRef, Terms2). 1307 jpl:jni_term_to_jref(Term1, JRef), 1308 jpl:jni_jref_to_term(JRef, Term2). 1317 jpl:jni_term_to_jref(Term1, JRef), 1318 jpl:jni_jref_to_term(JRef, Term2).
|
H A D | jpl.pl | 147 -> ( jni_jref_to_term(Vx, TermX) % fails if Vx is not a JRef to a org.jpl7.Term 3479 %! jpl_array_to_terms(+JRef:jref, -Terms:list(term)) 3481 % JRef should be a JPL reference to a Java array of org.jpl7.Term 3485 jpl_array_to_terms(JRef, Terms) :- 3486 jpl_call('org.jpl7.Util', termArrayToList, [JRef], {Terms}).
|
/dports/lang/yap/yap-6.2.2/packages/jpl/src/java/ |
H A D | Makefile.mak | 19 jpl\JRef.java \
|
H A D | Makefile.in | 25 $(srcdir)/jpl/JRef.java \
|
/dports/lang/yap/yap-6.2.2/packages/jpl/ |
H A D | ChangeLog | 26 * FIXED: JRef handling on 64-bit non-Windows platforms.
|
H A D | test_jpl.pl | 1206 jpl:jni_term_to_jref(Term1, JRef), 1207 jpl:jni_jref_to_term(JRef, Term2).
|
H A D | jpl.pl | 219 -> ( jni_jref_to_term( Rx, TermX) % fails if Rx isn't a JRef to a jpl.Term 494 -> ( jni_jref_to_term( Vx, TermX) % fails if Rx is not a JRef to a jpl.Term 820 -> ( jni_jref_to_term( Vx, TermX) % fails if Rx is not a JRef to a jpl.Term
|