X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=blobdiff_plain;f=basis%2Falien%2Fc-types%2Fc-types-docs.factor;h=c425d290edcc173bbcc4ec40f40e5f58043899aa;hp=3d3dc1797860d16b850e7017e0ed8b486dbbd659;hb=98e31346d3ddd0f54d622e6ec489bdb48e090355;hpb=216f2332bee9005a3a16b3d457918660f93c5cf4 diff --git a/basis/alien/c-types/c-types-docs.factor b/basis/alien/c-types/c-types-docs.factor index 3d3dc17978..c425d290ed 100644 --- a/basis/alien/c-types/c-types-docs.factor +++ b/basis/alien/c-types/c-types-docs.factor @@ -1,9 +1,5 @@ -USING: alien alien.complex help.syntax help.markup libc kernel.private -byte-arrays strings hashtables alien.syntax alien.strings sequences -io.encodings.string debugger destructors vocabs.loader -classes.struct math kernel ; -QUALIFIED: math -QUALIFIED: sequences +USING: alien alien.syntax byte-arrays classes.struct help.markup +help.syntax kernel math sequences ; IN: alien.c-types HELP: heap-size @@ -23,7 +19,7 @@ HELP: no-c-type { $description "Throws a " { $link no-c-type } " error." } { $error-description "Thrown by " { $link c-type } " if a given word is not a C type." } ; -HELP: c-type +HELP: lookup-c-type { $values { "name" c-type-name } { "c-type" c-type } } { $description "Looks up a C type by name." } { $errors "Throws a " { $link no-c-type } " error if the type does not exist, or the word is not a C type." } ; @@ -76,10 +72,6 @@ HELP: float { $description "This C type represents a single-precision IEEE 754 floating-point type. Input values will be converted to Factor " { $link math:float } "s and demoted to single-precision; output values will be returned as Factor " { $link math:float } "s." } ; HELP: double { $description "This C type represents a double-precision IEEE 754 floating-point type. Input values will be converted to Factor " { $link math:float } "s; output values will be returned as Factor " { $link math:float } "s." } ; -HELP: complex-float -{ $description "This C type represents a single-precision IEEE 754 floating-point complex type. Input values will be converted from Factor " { $link math:complex } " objects into a single-precision complex float type; output values will be returned as Factor " { $link math:complex } " objects." } ; -HELP: complex-double -{ $description "This C type represents a double-precision IEEE 754 floating-point complex type. Input values will be converted from Factor " { $link math:complex } " objects into a double-precision complex float type; output values will be returned as Factor " { $link math:complex } " objects." } ; HELP: pointer: { $syntax "pointer: c-type" } @@ -91,9 +83,9 @@ $nl "Pointer output values are represented in Factor as " { $link alien } "s. If the pointed-to type is a struct, the alien will automatically be wrapped in a struct object if it is not null." $nl "In " { $link POSTPONE: TYPEDEF: } ", " { $link POSTPONE: FUNCTION: } ", " { $link POSTPONE: CALLBACK: } ", and " { $link POSTPONE: STRUCT: } " definitions, pointer types can be created by suffixing " { $snippet "*" } " to a C type name. Outside of FFI definitions, a pointer C type can be created using the " { $link POSTPONE: pointer: } " syntax word:" -{ $unchecked-example "FUNCTION: int* foo ( char* bar ) ;" } -{ $unchecked-example """: foo ( bar -- int* ) - pointer: int f \"foo\" { pointer: char } alien-invoke ;""" } } ; +{ $unchecked-example "FUNCTION: int* foo ( char* bar )" } +{ $unchecked-example ": foo ( bar -- int* ) + pointer: int f \"foo\" { pointer: char } f alien-invoke ;" } } ; ARTICLE: "byte-arrays-gc" "Byte arrays and the garbage collector" "The Factor garbage collector can move byte arrays around, and it is only safe to pass byte arrays to C functions if the garbage collector will not run while C code still has a reference to the data." @@ -111,7 +103,7 @@ $nl ARTICLE: "c-types.primitives" "Primitive C types" "The following numerical types are defined in the " { $vocab-link "alien.c-types" } " vocabulary; a " { $snippet "u" } " prefix denotes an unsigned type:" { $table - { "C type" "Notes" } + { { $strong "C type" } { $strong "Notes" } } { { $link char } "always 1 byte" } { { $link uchar } { } } { { $link short } "always 2 bytes" } @@ -125,11 +117,8 @@ ARTICLE: "c-types.primitives" "Primitive C types" { { $link float } { "single-precision float (not the same as Factor's " { $link math:float } " class!)" } } { { $link double } { "double-precision float (the same format as Factor's " { $link math:float } " objects)" } } } -"The following C99 complex number types are defined in the " { $vocab-link "alien.complex" } " vocabulary:" -{ $table - { { $link complex-float } { "C99 or Fortran " { $snippet "complex float" } " type, converted to and from Factor " { $link math:complex } " values" } } - { { $link complex-double } { "C99 or Fortran " { $snippet "complex double" } " type, converted to and from Factor " { $link math:complex } " values" } } -} +"C99 complex number types are defined in the " { $vocab-link "alien.complex" } " vocabulary." +$nl "When making alien calls, Factor numbers are converted to and from the above types in a canonical way. Converting a Factor number to a C value may result in a loss of precision." ; ARTICLE: "c-types.pointers" "Pointer and array types" @@ -142,26 +131,25 @@ $nl ARTICLE: "c-types.ambiguity" "Word name clashes with C types" "Note that some of the C type word names clash with commonly-used Factor words:" { $list - { { $link short } " clashes with the " { $link sequences:short } " word in the " { $vocab-link "sequences" } " vocabulary" } { { $link float } " clashes with the " { $link math:float } " word in the " { $vocab-link "math" } " vocabulary" } } "If you use the wrong vocabulary, you will see a " { $link no-c-type } " error. For example, the following is " { $strong "not" } " valid, and will raise an error because the " { $link math:float } " word from the " { $vocab-link "math" } " vocabulary is not a C type:" { $code "USING: alien.syntax math prettyprint ;" - "FUNCTION: float magic_number ( ) ;" + "FUNCTION: float magic_number ( )" "magic_number 3.0 + ." } "The following won't work either; now the problem is that there are two vocabularies in the search path that define a word named " { $snippet "float" } ":" { $code "USING: alien.c-types alien.syntax math prettyprint ;" - "FUNCTION: float magic_number ( ) ;" + "FUNCTION: float magic_number ( )" "magic_number 3.0 + ." } "The correct solution is to use one of " { $link POSTPONE: FROM: } ", " { $link POSTPONE: QUALIFIED: } " or " { $link POSTPONE: QUALIFIED-WITH: } " to disambiguate word lookup:" { $code "USING: alien.syntax math prettyprint ;" "QUALIFIED-WITH: alien.c-types c" - "FUNCTION: c:float magic_number ( ) ;" + "FUNCTION: c:float magic_number ( )" "magic_number 3.0 + ." } "See " { $link "word-search-semantics" } " for details." ; @@ -179,6 +167,8 @@ $nl POSTPONE: CALLBACK: POSTPONE: TYPEDEF: } +"Getting the c-type of a class:" +{ $subsections lookup-c-type } { $heading "Related articles" } { $subsections "c-types.primitives"