186 lines
		
	
	
		
			9.4 KiB
		
	
	
	
		
			Scheme
		
	
	
	
			
		
		
	
	
			186 lines
		
	
	
		
			9.4 KiB
		
	
	
	
		
			Scheme
		
	
	
	
 | 
						|
(define arena (invoke-static java.lang.foreign.Arena 'global))
 | 
						|
 | 
						|
(define value->object
 | 
						|
  (lambda (value type)
 | 
						|
    (cond ((equal? type 'byte)
 | 
						|
           (java.lang.Byte value))
 | 
						|
          ((equal? type 'short)
 | 
						|
           (java.lang.Short value))
 | 
						|
          ((equal? type 'int)
 | 
						|
           (java.lang.Integer value))
 | 
						|
          ((equal? type 'long)
 | 
						|
           (java.lang.Long value))
 | 
						|
          ((equal? type 'float)
 | 
						|
           (java.lang.Float value))
 | 
						|
          ((equal? type 'double)
 | 
						|
           (java.lang.Double value))
 | 
						|
          ((equal? type 'char)
 | 
						|
           (java.lang.Char value))
 | 
						|
          (else value))))
 | 
						|
 | 
						|
 | 
						|
(define pffi-type->native-type
 | 
						|
  (lambda (type)
 | 
						|
    (cond
 | 
						|
      ((equal? type 'int8) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 1))
 | 
						|
      ((equal? type 'uint8) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 1))
 | 
						|
      ((equal? type 'int16) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 2))
 | 
						|
      ((equal? type 'uint16) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 2))
 | 
						|
      ((equal? type 'int32) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 4))
 | 
						|
      ((equal? type 'uint32) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 4))
 | 
						|
      ((equal? type 'int64) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'uint64) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'char) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_CHAR) 'withByteAlignment 1))
 | 
						|
      ((equal? type 'unsigned-char) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_CHAR) 'withByteAlignment 1))
 | 
						|
      ((equal? type 'short) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_SHORT) 'withByteAlignment 2))
 | 
						|
      ((equal? type 'unsigned-short) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_SHORT) 'withByteAlignment 2))
 | 
						|
      ((equal? type 'int) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 4))
 | 
						|
      ((equal? type 'unsigned-int) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_INT) 'withByteAlignment 4))
 | 
						|
      ((equal? type 'long) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_LONG) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'unsigned-long) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_LONG) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'float) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_FLOAT) 'withByteAlignment 4))
 | 
						|
      ((equal? type 'double) (invoke (static-field java.lang.foreign.ValueLayout 'JAVA_DOUBLE) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'pointer) (invoke (static-field java.lang.foreign.ValueLayout 'ADDRESS) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'string) (invoke (static-field java.lang.foreign.ValueLayout 'ADDRESS) 'withByteAlignment 8))
 | 
						|
      ((equal? type 'void) (invoke (static-field java.lang.foreign.ValueLayout 'ADDRESS) 'withByteAlignment 1))
 | 
						|
      (else (error "pffi-type->native-type -- No such pffi type" type)))))
 | 
						|
 | 
						|
(define pffi-type->native-type-old
 | 
						|
  (lambda (type)
 | 
						|
    (cond
 | 
						|
      ((equal? type 'int8) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'uint8) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'int16) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'uint16) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'int32) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'uint32) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'int64) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'uint64) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'char) (static-field java.lang.foreign.ValueLayout 'JAVA_CHAR))
 | 
						|
      ((equal? type 'unsigned-char) (static-field java.lang.foreign.ValueLayout 'JAVA_CHAR))
 | 
						|
      ((equal? type 'short) (static-field java.lang.foreign.ValueLayout 'JAVA_SHORT))
 | 
						|
      ((equal? type 'unsigned-short) (static-field java.lang.foreign.ValueLayout 'JAVA_SHORT))
 | 
						|
      ((equal? type 'int) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'unsigned-int) (static-field java.lang.foreign.ValueLayout 'JAVA_INT))
 | 
						|
      ((equal? type 'long) (static-field java.lang.foreign.ValueLayout 'JAVA_LONG))
 | 
						|
      ((equal? type 'unsigned-long) (static-field java.lang.foreign.ValueLayout 'JAVA_LONG))
 | 
						|
      ((equal? type 'float) (static-field java.lang.foreign.ValueLayout 'JAVA_FLOAT))
 | 
						|
      ((equal? type 'double) (static-field java.lang.foreign.ValueLayout 'JAVA_DOUBLE))
 | 
						|
      ((equal? type 'pointer) (static-field java.lang.foreign.ValueLayout 'ADDRESS))
 | 
						|
      ((equal? type 'string) (static-field java.lang.foreign.ValueLayout 'ADDRESS))
 | 
						|
      ((equal? type 'void) (static-field java.lang.foreign.ValueLayout 'ADDRESS))
 | 
						|
      (else (error "pffi-type->function-argument-type -- No such pffi type" type)))))
 | 
						|
 | 
						|
(define pffi-pointer?
 | 
						|
  (lambda (object)
 | 
						|
    (string=? (invoke (invoke object 'getClass) 'getName)
 | 
						|
              "jdk.internal.foreign.NativeMemorySegmentImpl")))
 | 
						|
 | 
						|
(define-syntax pffi-define
 | 
						|
  (syntax-rules ()
 | 
						|
    ((pffi-define scheme-name shared-object c-name return-type argument-types)
 | 
						|
     (define scheme-name
 | 
						|
       (lambda vals
 | 
						|
         (invoke (invoke (cdr (assoc 'linker shared-object))
 | 
						|
                         'downcallHandle
 | 
						|
                         (invoke (invoke (cdr (assoc 'lookup shared-object))
 | 
						|
                                         'find
 | 
						|
                                         (symbol->string c-name))
 | 
						|
                                 'orElseThrow)
 | 
						|
                         (if (equal? return-type 'void)
 | 
						|
                           (apply (class-methods java.lang.foreign.FunctionDescriptor 'ofVoid)
 | 
						|
                                  (map pffi-type->native-type argument-types))
 | 
						|
                           (apply (class-methods java.lang.foreign.FunctionDescriptor 'of)
 | 
						|
                                  (pffi-type->native-type return-type)
 | 
						|
                                  (map pffi-type->native-type argument-types))))
 | 
						|
                 'invokeWithArguments
 | 
						|
                 (map value->object vals argument-types)))))))
 | 
						|
 | 
						|
 | 
						|
 | 
						|
(define pffi-size-of
 | 
						|
  (lambda (type)
 | 
						|
    (invoke (pffi-type->native-type type) 'byteAlignment)))
 | 
						|
 | 
						|
(define pffi-pointer-allocate
 | 
						|
  (lambda (size)
 | 
						|
    (invoke (invoke arena 'allocate size 1) 'reinterpret (static-field java.lang.Integer 'MAX_VALUE))))
 | 
						|
 | 
						|
(define pffi-pointer-null
 | 
						|
  (lambda ()
 | 
						|
    (static-field java.lang.foreign.MemorySegment 'NULL)))
 | 
						|
 | 
						|
(define pffi-string->pointer
 | 
						|
  (lambda (string-content)
 | 
						|
    (invoke (invoke arena 'allocateFrom string-content) 'reinterpret (static-field java.lang.Integer 'MAX_VALUE))))
 | 
						|
 | 
						|
(define pffi-pointer->string
 | 
						|
  (lambda (pointer)
 | 
						|
    (invoke (invoke pointer 'reinterpret (static-field java.lang.Integer 'MAX_VALUE)) 'getString 0)))
 | 
						|
 | 
						|
(define pffi-shared-object-load
 | 
						|
  (lambda (header path)
 | 
						|
    (let* ((library-file (make java.io.File path))
 | 
						|
           (file-name (invoke library-file 'getName))
 | 
						|
           (library-parent-folder (make java.io.File (invoke library-file 'getParent)))
 | 
						|
           (absolute-path (string-append (invoke library-parent-folder 'getCanonicalPath)
 | 
						|
                                         "/"
 | 
						|
                                         file-name))
 | 
						|
           (linker (invoke-static java.lang.foreign.Linker 'nativeLinker))
 | 
						|
           (lookup (invoke-static java.lang.foreign.SymbolLookup
 | 
						|
                                  'libraryLookup
 | 
						|
                                  absolute-path
 | 
						|
                                  arena)))
 | 
						|
      (list (cons 'linker linker)
 | 
						|
            (cons 'lookup lookup)))))
 | 
						|
 | 
						|
(define pffi-pointer-free
 | 
						|
  (lambda (pointer)
 | 
						|
    #t))
 | 
						|
 | 
						|
(define pffi-pointer-null?
 | 
						|
  (lambda (pointer)
 | 
						|
    (invoke pointer 'equals (pffi-pointer-null))))
 | 
						|
 | 
						|
(define pffi-pointer-set!
 | 
						|
  (lambda (pointer type offset value)
 | 
						|
    (cond ((equal? type 'string)
 | 
						|
           (invoke (invoke pointer
 | 
						|
                           'reinterpret
 | 
						|
                           (static-field java.lang.Integer 'MAX_VALUE))
 | 
						|
                   'setString
 | 
						|
                   offset
 | 
						|
                   value))
 | 
						|
          (else
 | 
						|
            (invoke (invoke pointer
 | 
						|
                            'reinterpret
 | 
						|
                            (static-field java.lang.Integer 'MAX_VALUE))
 | 
						|
                    'set
 | 
						|
                    (invoke (pffi-type->native-type type) 'withByteAlignment 1)
 | 
						|
                    offset
 | 
						|
                    value)))))
 | 
						|
 | 
						|
(define pffi-pointer-get
 | 
						|
  (lambda (pointer type offset)
 | 
						|
    (cond ((equal? type 'string)
 | 
						|
           (invoke (invoke pointer
 | 
						|
                           'reinterpret
 | 
						|
                           (static-field java.lang.Integer 'MAX_VALUE))
 | 
						|
                   'getString
 | 
						|
                   offset))
 | 
						|
          (else (invoke (invoke pointer
 | 
						|
                                'reinterpret
 | 
						|
                                (static-field java.lang.Integer 'MAX_VALUE))
 | 
						|
                        'get
 | 
						|
                        (invoke (pffi-type->native-type type) 'withByteAlignment 1)
 | 
						|
                        offset)))))
 | 
						|
 | 
						|
(define pffi-pointer-deref
 | 
						|
  (lambda (pointer)
 | 
						|
    (invoke pointer 'get (invoke (static-field java.lang.foreign.ValueLayout 'ADDRESS) 'withByteAlignment 1) 0)))
 | 
						|
 | 
						|
(define pffi-define-callback
 | 
						|
  (lambda (scheme-name return-type argument-types procedure)
 | 
						|
    (error "pffi-define-callback not yet implemented for Kawa")))
 |