Generate all the Java primitive array conversion methods.
(atj-gen-shallow-all-jprimarr-conv-methods fns-to-translate) → methods
We only generate methods that are in the list of functions to translate to Java.
Function:
(defun atj-gen-shallow-all-jprimarr-conv-methods (fns-to-translate) (declare (xargs :guard (symbol-listp fns-to-translate))) (let ((__function__ 'atj-gen-shallow-all-jprimarr-conv-methods)) (declare (ignorable __function__)) (append (atj-gen-shallow-jprimarr-tolist-methods (intersection-eq *atj-jprimarr-conv-tolist-fns* fns-to-translate)) (atj-gen-shallow-jprimarr-fromlist-methods (intersection-eq *atj-jprimarr-conv-fromlist-fns* fns-to-translate)))))
Theorem:
(defthm jmethod-listp-of-atj-gen-shallow-all-jprimarr-conv-methods (b* ((methods (atj-gen-shallow-all-jprimarr-conv-methods fns-to-translate))) (jmethod-listp methods)) :rule-classes :rewrite)