(JAVA::ATJ-JPRIMARR-READ-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-READ-FN-P)
(JAVA::ATJ-JPRIMARR-LENGTH-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-LENGTH-FN-P)
(JAVA::ATJ-JPRIMARR-WRITE-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-WRITE-FN-P)
(JAVA::ATJ-JPRIMARR-NEW-LEN-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-NEW-LEN-FN-P)
(JAVA::ATJ-JPRIMARR-NEW-INIT-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-NEW-INIT-FN-P)
(JAVA::ATJ-JPRIMARR-CONV-TOLIST-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-CONV-TOLIST-FN-P)
(JAVA::ATJ-JPRIMARR-CONV-FROMLIST-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-CONV-FROMLIST-FN-P)
(JAVA::ATJ-JPRIMARR-FN-P)
(JAVA::BOOLEANP-OF-ATJ-JPRIMARR-FN-P)
(JAVA::ATJ-BOOLEAN-ARRAY-READ-INPUT-ARRAY-JBOOLEAN[])
(JAVA::ATJ-BOOLEAN-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-BOOLEAN-ARRAY-READ-OUTPUT-JBOOLEAN)
(JAVA::ATJ-CHAR-ARRAY-READ-INPUT-ARRAY-JCHAR[])
(JAVA::ATJ-CHAR-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-CHAR-ARRAY-READ-OUTPUT-JCHAR)
(JAVA::ATJ-BYTE-ARRAY-READ-INPUT-ARRAY-JBYTE[])
(JAVA::ATJ-BYTE-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-BYTE-ARRAY-READ-OUTPUT-JBYTE)
(JAVA::ATJ-SHORT-ARRAY-READ-INPUT-ARRAY-JSHORT[])
(JAVA::ATJ-SHORT-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-SHORT-ARRAY-READ-OUTPUT-JSHORT)
(JAVA::ATJ-INT-ARRAY-READ-INPUT-ARRAY-JINT[])
(JAVA::ATJ-INT-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-INT-ARRAY-READ-OUTPUT-JINT)
(JAVA::ATJ-LONG-ARRAY-READ-INPUT-ARRAY-JLONG[])
(JAVA::ATJ-LONG-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-LONG-ARRAY-READ-OUTPUT-JLONG)
(JAVA::ATJ-FLOAT-ARRAY-READ-INPUT-ARRAY-JFLOAT[])
(JAVA::ATJ-FLOAT-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-FLOAT-ARRAY-READ-OUTPUT-JFLOAT)
(JAVA::ATJ-DOUBLE-ARRAY-READ-INPUT-ARRAY-JDOUBLE[])
(JAVA::ATJ-DOUBLE-ARRAY-READ-INPUT-INDEX-JINT)
(JAVA::ATJ-DOUBLE-ARRAY-READ-OUTPUT-JDOUBLE)
(JAVA::ATJ-BOOLEAN-ARRAY-LENGTH-INPUT-ARRAY-JBOOLEAN[])
(JAVA::ATJ-BOOLEAN-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-CHAR-ARRAY-LENGTH-INPUT-ARRAY-JCHAR[])
(JAVA::ATJ-CHAR-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-BYTE-ARRAY-LENGTH-INPUT-ARRAY-JBYTE[])
(JAVA::ATJ-BYTE-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-SHORT-ARRAY-LENGTH-INPUT-ARRAY-JSHORT[])
(JAVA::ATJ-SHORT-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-INT-ARRAY-LENGTH-INPUT-ARRAY-JINT[])
(JAVA::ATJ-INT-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-LONG-ARRAY-LENGTH-INPUT-ARRAY-JLONG[])
(JAVA::ATJ-LONG-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-FLOAT-ARRAY-LENGTH-INPUT-ARRAY-JFLOAT[])
(JAVA::ATJ-FLOAT-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-DOUBLE-ARRAY-LENGTH-INPUT-ARRAY-JDOUBLE[])
(JAVA::ATJ-DOUBLE-ARRAY-LENGTH-OUTPUT-JINT)
(JAVA::ATJ-BOOLEAN-ARRAY-WRITE-INPUT-ARRAY-JBOOLEAN[])
(JAVA::ATJ-BOOLEAN-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-BOOLEAN-ARRAY-WRITE-INPUT-COMPONENT-JBOOLEAN)
(JAVA::ATJ-BOOLEAN-ARRAY-WRITE-OUTPUT-JBOOLEAN[])
(JAVA::ATJ-CHAR-ARRAY-WRITE-INPUT-ARRAY-JCHAR[])
(JAVA::ATJ-CHAR-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-CHAR-ARRAY-WRITE-INPUT-COMPONENT-JCHAR)
(JAVA::ATJ-CHAR-ARRAY-WRITE-OUTPUT-JCHAR[])
(JAVA::ATJ-BYTE-ARRAY-WRITE-INPUT-ARRAY-JBYTE[])
(JAVA::ATJ-BYTE-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-BYTE-ARRAY-WRITE-INPUT-COMPONENT-JBYTE)
(JAVA::ATJ-BYTE-ARRAY-WRITE-OUTPUT-JBYTE[])
(JAVA::ATJ-SHORT-ARRAY-WRITE-INPUT-ARRAY-JSHORT[])
(JAVA::ATJ-SHORT-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-SHORT-ARRAY-WRITE-INPUT-COMPONENT-JSHORT)
(JAVA::ATJ-SHORT-ARRAY-WRITE-OUTPUT-JSHORT[])
(JAVA::ATJ-INT-ARRAY-WRITE-INPUT-ARRAY-JINT[])
(JAVA::ATJ-INT-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-INT-ARRAY-WRITE-INPUT-COMPONENT-JINT)
(JAVA::ATJ-INT-ARRAY-WRITE-OUTPUT-JINT[])
(JAVA::ATJ-LONG-ARRAY-WRITE-INPUT-ARRAY-JLONG[])
(JAVA::ATJ-LONG-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-LONG-ARRAY-WRITE-INPUT-COMPONENT-JLONG)
(JAVA::ATJ-LONG-ARRAY-WRITE-OUTPUT-JLONG[])
(JAVA::ATJ-FLOAT-ARRAY-WRITE-INPUT-ARRAY-JFLOAT[])
(JAVA::ATJ-FLOAT-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-FLOAT-ARRAY-WRITE-INPUT-COMPONENT-JFLOAT)
(JAVA::ATJ-FLOAT-ARRAY-WRITE-OUTPUT-JFLOAT[])
(JAVA::ATJ-DOUBLE-ARRAY-WRITE-INPUT-ARRAY-JDOUBLE[])
(JAVA::ATJ-DOUBLE-ARRAY-WRITE-INPUT-INDEX-JINT)
(JAVA::ATJ-DOUBLE-ARRAY-WRITE-INPUT-COMPONENT-JDOUBLE)
(JAVA::ATJ-DOUBLE-ARRAY-WRITE-OUTPUT-JDOUBLE[])
(JAVA::ATJ-BOOLEAN-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-BOOLEAN-ARRAY-NEW-LEN-OUTPUT-JBOOLEAN[])
(JAVA::ATJ-CHAR-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-CHAR-ARRAY-NEW-LEN-OUTPUT-JCHAR[])
(JAVA::ATJ-BYTE-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-BYTE-ARRAY-NEW-LEN-OUTPUT-JBYTE[])
(JAVA::ATJ-SHORT-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-SHORT-ARRAY-NEW-LEN-OUTPUT-JSHORT[])
(JAVA::ATJ-INT-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-INT-ARRAY-NEW-LEN-OUTPUT-JINT[])
(JAVA::ATJ-LONG-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-LONG-ARRAY-NEW-LEN-OUTPUT-JLONG[])
(JAVA::ATJ-FLOAT-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-FLOAT-ARRAY-NEW-LEN-OUTPUT-JFLOAT[])
(JAVA::ATJ-DOUBLE-ARRAY-NEW-LEN-INPUT-LENGTH-JINT)
(JAVA::ATJ-DOUBLE-ARRAY-NEW-LEN-OUTPUT-JDOUBLE[])
(JAVA::ATJ-BOOLEAN-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-BOOLEAN-ARRAY-NEW-INIT-OUTPUT-JBOOLEAN[])
(JAVA::ATJ-CHAR-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-CHAR-ARRAY-NEW-INIT-OUTPUT-JCHAR[])
(JAVA::ATJ-BYTE-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-BYTE-ARRAY-NEW-INIT-OUTPUT-JBYTE[])
(JAVA::ATJ-SHORT-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-SHORT-ARRAY-NEW-INIT-OUTPUT-JSHORT[])
(JAVA::ATJ-INT-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-INT-ARRAY-NEW-INIT-OUTPUT-JINT[])
(JAVA::ATJ-LONG-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-LONG-ARRAY-NEW-INIT-OUTPUT-JLONG[])
(JAVA::ATJ-FLOAT-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-FLOAT-ARRAY-NEW-INIT-OUTPUT-JFLOAT[])
(JAVA::ATJ-DOUBLE-ARRAY-NEW-INIT-INPUT-COMPS-AVALUE)
(JAVA::ATJ-DOUBLE-ARRAY-NEW-INIT-OUTPUT-JDOUBLE[])
(JAVA::ATJ-BOOLEAN-ARRAY-TO-BOOLEAN-LIST-INPUT-ARRAY-JBOOLEAN[])
(JAVA::ATJ-BOOLEAN-ARRAY-TO-BOOLEAN-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-CHAR-ARRAY-TO-UBYTE16-LIST-INPUT-ARRAY-JCHAR[])
(JAVA::ATJ-CHAR-ARRAY-TO-UBYTE16-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-BYTE-ARRAY-TO-SBYTE8-LIST-INPUT-ARRAY-JBYTE[])
(JAVA::ATJ-BYTE-ARRAY-TO-SBYTE8-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-SHORT-ARRAY-TO-SBYTE16-LIST-INPUT-ARRAY-JSHORT[])
(JAVA::ATJ-SHORT-ARRAY-TO-SBYTE16-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-INT-ARRAY-TO-SBYTE32-LIST-INPUT-ARRAY-JINT[])
(JAVA::ATJ-INT-ARRAY-TO-SBYTE32-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-LONG-ARRAY-TO-SBYTE64-LIST-INPUT-ARRAY-JLONG[])
(JAVA::ATJ-LONG-ARRAY-TO-SBYTE64-LIST-OUTPUT-AVALUE)
(JAVA::ATJ-BOOLEAN-ARRAY-FROM-BOOLEAN-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-BOOLEAN-ARRAY-FROM-BOOLEAN-LIST-OUTPUT-JBOOLEAN[])
(JAVA::ATJ-CHAR-ARRAY-FROM-UBYTE16-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-CHAR-ARRAY-FROM-UBYTE16-LIST-OUTPUT-JCHAR[])
(JAVA::ATJ-BYTE-ARRAY-FROM-SBYTE8-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-BYTE-ARRAY-FROM-SBYTE8-LIST-OUTPUT-JBYTE[])
(JAVA::ATJ-SHORT-ARRAY-FROM-SBYTE16-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-SHORT-ARRAY-FROM-SBYTE16-LIST-OUTPUT-JSHORT[])
(JAVA::ATJ-INT-ARRAY-FROM-SBYTE32-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-INT-ARRAY-FROM-SBYTE32-LIST-OUTPUT-JINT[])
(JAVA::ATJ-LONG-ARRAY-FROM-SBYTE64-LIST-INPUT-LIST-AVALUE)
(JAVA::ATJ-LONG-ARRAY-FROM-SBYTE64-LIST-OUTPUT-JLONG[])
(JAVA::ATJ-JPRIMARR-NEW-INIT-FN-TO-PTYPE
 (7 7 (:REWRITE SUBSETP-MEMBER . 4))
 (7 7 (:REWRITE SUBSETP-MEMBER . 3))
 (7 7 (:REWRITE SUBSETP-MEMBER . 2))
 (7 7 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 3))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(JAVA::PRIMITIVE-TYPEP-OF-ATJ-JPRIMARR-NEW-INIT-FN-TO-PTYPE
 (9 1 (:REWRITE JAVA::PRIMITIVE-TYPE-WHEN-NUMERIC-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-INTEGRAL-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-FLOATING-POINT-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::NUMERIC-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::INTEGRAL-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::FLOATING-POINT-TYPEP))
 )
(JAVA::ATJ-JPRIMARR-CONV-FROMLIST-FN-TO-PTYPE
 (7 7 (:REWRITE SUBSETP-MEMBER . 4))
 (7 7 (:REWRITE SUBSETP-MEMBER . 3))
 (7 7 (:REWRITE SUBSETP-MEMBER . 2))
 (7 7 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 3))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(JAVA::PRIMITIVE-TYPEP-OF-ATJ-JPRIMARR-CONV-FROMLIST-FN-TO-PTYPE
 (9 1 (:REWRITE JAVA::PRIMITIVE-TYPE-WHEN-NUMERIC-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-INTEGRAL-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-FLOATING-POINT-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::NUMERIC-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::INTEGRAL-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::FLOATING-POINT-TYPEP))
 )
(JAVA::ATJ-JPRIMARR-CONV-TOLIST-FN-TO-PTYPE
 (7 7 (:REWRITE SUBSETP-MEMBER . 4))
 (7 7 (:REWRITE SUBSETP-MEMBER . 3))
 (7 7 (:REWRITE SUBSETP-MEMBER . 2))
 (7 7 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 3))
 (7 7 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(JAVA::PRIMITIVE-TYPEP-OF-ATJ-JPRIMARR-CONV-TOLIST-FN-TO-PTYPE
 (9 1 (:REWRITE JAVA::PRIMITIVE-TYPE-WHEN-NUMERIC-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-INTEGRAL-TYPEP))
 (3 1 (:REWRITE JAVA::NUMERIC-TYPE-WHEN-FLOATING-POINT-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::NUMERIC-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::INTEGRAL-TYPEP))
 (2 2 (:TYPE-PRESCRIPTION JAVA::FLOATING-POINT-TYPEP))
 )
