| /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
|