1 ! Copyright (C) 2008 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: functors sequences sequences.private prettyprint.custom
4 kernel words classes math math.vectors.specialization parser
5 alien.c-types byte-arrays accessors summary ;
6 IN: specialized-arrays.functor
8 ERROR: bad-byte-array-length byte-array type ;
10 M: bad-byte-array-length summary
11 drop "Byte array length doesn't divide type width" ;
13 : (c-array) ( n c-type -- array )
14 heap-size * (byte-array) ; inline
16 FUNCTOR: define-array ( T -- )
18 A DEFINES-CLASS ${T}-array
19 S DEFINES-CLASS ${T}-sequence
23 byte-array>A DEFINES byte-array>${A}
26 NTH [ T dup c-type-getter-boxer array-accessor ]
27 SET-NTH [ T dup c-setter array-accessor ]
34 { length array-capacity read-only }
35 { underlying byte-array read-only } ;
39 : <A> ( n -- specialized-array ) dup T <c-array> A boa ; inline
41 : (A) ( n -- specialized-array ) dup T (c-array) A boa ; inline
43 : byte-array>A ( byte-array -- specialized-array )
44 dup length T heap-size /mod 0 = [ drop T bad-byte-array-length ] unless
47 M: A clone [ length>> ] [ underlying>> clone ] bi A boa ; inline
49 M: A length length>> ; inline
51 M: A nth-unsafe underlying>> NTH call ; inline
53 M: A set-nth-unsafe underlying>> SET-NTH call ; inline
55 : >A ( seq -- specialized-array ) A new clone-like ;
57 M: A like drop dup A instance? [ >A ] unless ; inline
59 M: A new-sequence drop (A) ; inline
61 M: A equal? over A instance? [ sequence= ] [ 2drop f ] if ;
65 [ T heap-size * ] [ underlying>> ] bi*
70 M: A byte-length underlying>> length ; inline
72 M: A pprint-delims drop \ A{ \ } ;
74 M: A >pprint-sequence ;
76 M: A pprint* pprint-object ;
78 SYNTAX: A{ \ } [ >A ] parse-literal ;
82 A T c-type-boxed-class specialize-vector-words