diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-07 00:52:15 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-07 00:52:15 +0000 |
commit | 05e0fb0c631ec281c283ef6afb27ee3f228c2828 (patch) | |
tree | 8ca29d39761291441b83795109c6c5fb6c5bfa5d /src | |
parent | ee659ea81f9226c98374a32852b14d5cb4bfb5b6 (diff) | |
download | open-axiom-05e0fb0c631ec281c283ef6afb27ee3f228c2828.tar.gz |
* boot/ast.boot: Support more ISO C sized integer type in FFI.
Diffstat (limited to 'src')
-rw-r--r-- | src/boot/ast.boot | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 9f799a2e..d1a70f11 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -1233,11 +1233,11 @@ genTypeAlias(head,body) == -- and GCL seems to give that guarantee at the moment. -- -- float: single precision datatype for floating poing values. --- float32: Corresponds to C type 'float'. On most architecture, +-- float32 Corresponds to C type 'float'. On most architecture, -- this is a 32-bit precision IEEE 756 data type. -- -- double: double precision datatype for floating point values. --- double32 Corresponds to C type 'double'. On most architecture, +-- float64 Corresponds to C type 'double'. On most architecture, -- this is a 64-bit precision IEEE 756 data type. -- -- string: a data type for strings of characters. The general @@ -1265,9 +1265,16 @@ genTypeAlias(head,body) == -- and `double'. It cannot be used as function return type. -- Note that the length of the array is not stored as -- part of the data being transmitted. +-- +-- pointer: A data type constructor for pointer to simple data +-- This is used to communicate pointer to foreign data +-- between native functions and OpenAxiom functions. +-- The `buffer' type constructor must be used in +-- conjunction with one of the modifiers `readonly', +-- `writeonly', or `readwrite'. $NativeSimpleDataTypes == - '(char byte int + '(char byte int int8 uint8 int16 uint16 int32 uint32 @@ -1349,6 +1356,8 @@ nativeType t == %hasFeature KEYWORD::ECL and %hasFeature KEYWORD::UINT64_-T => KEYWORD::UINT64_-T unknownNativeTypeError t + t = "float32" => nativeType "float" + t = "float64" => nativeType "double" unknownNativeTypeError t -- composite, reference type. first t = "buffer" => @@ -1357,6 +1366,12 @@ nativeType t == %hasFeature KEYWORD::SBCL => ["*",nativeType second t] %hasFeature KEYWORD::CLISP => bfColonColon("FFI","C-POINTER") unknownNativeTypeError t + first t = "buffer" => + %hasFeature KEYWORD::GCL => "fixnum" + %hasFeature KEYWORD::ECL => KEYWORD::OBJECT + %hasFeature KEYWORD::SBCL => ["*",nativeType second t] + %hasFeature KEYWORD::CLISP => bfColonColon("FFI","C-POINTER") + unknownNativeTypeError t unknownNativeTypeError t @@ -1438,11 +1453,13 @@ genGCLnativeTranslation(op,s,t,op') == x in $NativeSimpleDataTypes => SYMBOL_-NAME x x = "void" => '"void" x = "string" => '"char*" + x is [.,["pointer",.]] => "fixnum" '"object" gclArgInC(x,a) == x in $NativeSimpleDataTypes => a x = "string" => a -- GCL takes responsability for the conversion - [.,[.,y]] := x + [.,[c,y]] := x + c = "pointer" => a y = "char" => strconc(a,'"->st.st__self") y = "byte" => strconc(a,'"->ust.ust__self") y = "int" => strconc(a,'"->fixa.fixa__self") |