-USING: alien alien.syntax alien.c-types alien.parser
-kernel tools.test sequences system libc alien.strings
-io.encodings.utf8 math.constants classes.struct ;
+USING: accessors alien.c-types alien.syntax classes
+classes.struct compiler.units eval io.encodings.ascii kernel
+math.constants tools.test ;
IN: alien.c-types.tests
CONSTANT: xyz 123
-[ 492 ] [ { int xyz } heap-size ] unit-test
-
-[ -1 ] [ -1 <char> *char ] unit-test
-[ -1 ] [ -1 <short> *short ] unit-test
-[ -1 ] [ -1 <int> *int ] unit-test
+{ 492 } [ { int xyz } heap-size ] unit-test
UNION-STRUCT: foo
{ a int }
{ b int } ;
-[ f ] [ "char*" parse-c-type c-type void* c-type eq? ] unit-test
-[ t ] [ "char**" parse-c-type c-type void* c-type eq? ] unit-test
+{ t } [ pointer: void lookup-c-type void* lookup-c-type = ] unit-test
+{ t } [ pointer: int lookup-c-type void* lookup-c-type = ] unit-test
+{ t } [ pointer: int* lookup-c-type void* lookup-c-type = ] unit-test
+{ f } [ pointer: foo lookup-c-type void* lookup-c-type = ] unit-test
+{ t } [ pointer: foo* lookup-c-type void* lookup-c-type = ] unit-test
+
+{ t } [ c-string lookup-c-type c-string lookup-c-type = ] unit-test
-[ t ] [ foo heap-size int heap-size = ] unit-test
+{ t } [ foo heap-size int heap-size = ] unit-test
TYPEDEF: int MyInt
-[ t ] [ int c-type MyInt c-type eq? ] unit-test
-[ t ] [ void* c-type "MyInt*" parse-c-type c-type eq? ] unit-test
+{ t } [ int lookup-c-type MyInt lookup-c-type = ] unit-test
+{ t } [ void* lookup-c-type pointer: MyInt lookup-c-type = ] unit-test
+
+{ 32 } [ { int 8 } heap-size ] unit-test
+
+{ } [ pointer: { int 8 } heap-size pointer: void heap-size assert= ] unit-test
TYPEDEF: char MyChar
-[ t ] [ char c-type MyChar c-type eq? ] unit-test
-[ f ] [ void* c-type "MyChar*" parse-c-type c-type eq? ] unit-test
-[ t ] [ "char*" parse-c-type c-type "MyChar*" parse-c-type c-type eq? ] unit-test
+{ t } [ pointer: void lookup-c-type pointer: MyChar lookup-c-type = ] unit-test
-[ 32 ] [ { int 8 } heap-size ] unit-test
+TYPEDEF: { c-string ascii } MyFunkyString
-TYPEDEF: char* MyString
+{ { c-string ascii } } [ MyFunkyString lookup-c-type ] unit-test
-[ t ] [ char* c-type MyString c-type eq? ] unit-test
-[ t ] [ void* c-type "MyString*" parse-c-type c-type eq? ] unit-test
+TYPEDEF: c-string MyString
+
+{ t } [ c-string lookup-c-type MyString lookup-c-type = ] unit-test
+{ t } [ void* lookup-c-type pointer: MyString lookup-c-type = ] unit-test
TYPEDEF: int* MyIntArray
-[ t ] [ void* c-type MyIntArray c-type eq? ] unit-test
+{ t } [ void* lookup-c-type MyIntArray lookup-c-type = ] unit-test
+
+{ 0 } [ -10 uchar c-type-clamp ] unit-test
+{ 12 } [ 12 uchar c-type-clamp ] unit-test
+{ -10 } [ -10 char c-type-clamp ] unit-test
+{ 127 } [ 230 char c-type-clamp ] unit-test
+{ t } [ pi dup float c-type-clamp = ] unit-test
+
+C-TYPE: opaque
+
+{ t } [ void* lookup-c-type pointer: opaque lookup-c-type = ] unit-test
+[ opaque lookup-c-type ] [ no-c-type? ] must-fail-with
+
+! c-type-string
+{
+ "c-string[ascii]"
+ "foo*"
+ "int[5]"
+ "int**"
+ "MyFunkyString*"
+ "opaque*"
+} [
+ { c-string ascii } c-type-string
+ pointer: foo c-type-string
+ { int 5 } c-type-string
+ pointer: pointer: int c-type-string
+ pointer: MyFunkyString c-type-string
+ pointer: opaque c-type-string
+] unit-test
+
+[ "
+ USING: alien.syntax ;
+ IN: alien.c-types.tests
+ FUNCTION: opaque return_opaque ( ) ;
+" eval( -- ) ] [ no-c-type? ] must-fail-with
+
+C-TYPE: forward
+STRUCT: backward { x forward* } ;
+STRUCT: forward { x backward* } ;
+
+{ t } [ forward lookup-c-type struct-c-type? ] unit-test
+{ t } [ backward lookup-c-type struct-c-type? ] unit-test
+
+DEFER: struct-redefined
+
+{ f }
+[
+
+ "
+ USING: alien.c-types classes.struct ;
+ IN: alien.c-types.tests
-TYPEDEF: uchar* MyLPBYTE
+ STRUCT: struct-redefined { x int } ;
+ " eval( -- )
-[ t ] [ { char* utf8 } c-type MyLPBYTE c-type = ] unit-test
+ "
+ USING: alien.syntax ;
+ IN: alien.c-types.tests
+
+ C-TYPE: struct-redefined
+ " eval( -- )
+
+ \ struct-redefined class?
+] unit-test
+
+[
+ "IN: alien.c-types.tests
+ USE: alien.syntax
+ USE: alien.c-types
+ TYPEDEF: int type-redefinition-test
+ TYPEDEF: int type-redefinition-test" eval( -- )
+]
+[ error>> error>> redefine-error? ]
+must-fail-with
+
+[
+ "IN: alien.c-types.tests
+ USE: alien.syntax
+ USE: alien.c-types
+ CALLBACK: void cb987 ( )
+ CALLBACK: void cb987 ( )" eval( -- )
+]
+[ error>> error>> redefine-error? ]
+must-fail-with
[
- 0 B{ 1 2 3 4 } <displaced-alien> <void*>
-] must-fail
-
-os windows? cpu x86.64? and [
- [ -2147467259 ] [ 2147500037 <long> *long ] unit-test
-] when
-
-[ 0 ] [ -10 uchar c-type-clamp ] unit-test
-[ 12 ] [ 12 uchar c-type-clamp ] unit-test
-[ -10 ] [ -10 char c-type-clamp ] unit-test
-[ 127 ] [ 230 char c-type-clamp ] unit-test
-[ t ] [ pi dup float c-type-clamp = ] unit-test
+ "IN: alien.c-types.tests
+ USE: alien.syntax
+ USE: alien.c-types
+ FUNCTION: void func987 ( )
+ FUNCTION: void func987 ( )" eval( -- )
+]
+[ error>> error>> redefine-error? ]
+must-fail-with
+
+! generic -> callback
+"IN: alien.c-types.tests
+USE: alien.syntax
+USE: alien.c-types
+GENERIC: foo-func ( x -- )
+" eval( -- )
+
+"IN: alien.c-types.tests
+USE: alien.syntax
+USE: alien.c-types
+CALLBACK: void foo-func ( )
+" eval( -- )
+
+! generic -> typedef
+"IN: alien.c-types.tests
+USE: alien.syntax
+USE: alien.c-types
+GENERIC: foo-func ( x -- )
+" eval( -- )
+
+"IN: alien.c-types.tests
+USE: alien.syntax
+USE: alien.c-types
+TYPEDEF: void* foo-func
+" eval( -- )