/[gcl]/gcl/ansi-tests/string.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/string.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.6 by pfdietz, Fri Oct 18 11:58:46 2002 UTC revision 1.7 by pfdietz, Wed Jun 18 11:55:24 2003 UTC
# Line 38  Line 38 
38                               (type-error () :caught)))                               (type-error () :caught)))
39    t)    t)
40    
41    (deftest string.8
42      (subtypep* '(array nil (*)) 'string)
43      t t)
44    
45    (deftest string.9
46      (subtypep* '(array nil 1) 'string)
47      t t)
48    
49    (deftest string.10
50      (string (make-array '(0) :element-type nil))
51      "")
52    
53    (deftest string.11
54      (typep* "abcd" 'string)
55      t)
56    
57    (deftest string.12
58      (typep* (make-array '(17) :element-type nil) 'string)
59      t)
60    
61    (deftest string.13
62      (typep* (make-array '(0) :element-type nil) 'string)
63      t)
64    
65  ;;; Tests of base-string  ;;; Tests of base-string
66    
67  (deftest base-string.1  (deftest base-string.1
# Line 56  Line 80 
80    (subtypep* 'base-string 'sequence)    (subtypep* 'base-string 'sequence)
81    t t)    t t)
82    
83    (deftest base-string.5
84      (subtypep* '(array nil (*)) 'base-string)
85      nil t)
86    
87    (deftest base-string.6
88      (subtypep* 'string 'base-string)
89      nil t)
90    
91  ;;; Tests of simple-string  ;;; Tests of simple-string
92    
93  (deftest simple-string.1  (deftest simple-string.1
# Line 78  Line 110 
110    (subtypep* 'simple-string 'sequence)    (subtypep* 'simple-string 'sequence)
111    t t)    t t)
112    
113    (deftest simple-string.6
114      (subtypep* 'simple-string '(simple-array * (*)))
115      t t)
116    
117    (deftest simple-string.7
118      (subtypep* 'simple-string '(simple-array * 1))
119      t t)
120    
121    (deftest simple-string.8
122      (subtypep* 'simple-string '(simple-array character (*)))
123      nil t)
124    
125    (deftest simple-string.9
126      (subtypep* 'simple-string '(simple-array base-char (*)))
127      nil t)
128    
129    (deftest simple-string.10
130      (subtypep* 'simple-string 'simple-base-string)
131      nil t)
132    
133    (deftest simple-string.11
134      (subtypep* '(simple-array nil (*)) 'simple-string)
135      t t)
136    
137    (deftest simple-string.12
138      (typep* (make-array '(0) :element-type nil) 'simple-string)
139      t)
140    
141    (deftest simple-string.13
142      (typep* (make-array '(12) :element-type nil) 'simple-string)
143      t)
144    
145  ;;; Tests for simple-base-string  ;;; Tests for simple-base-string
146    
147  (deftest simple-base-string.1  (deftest simple-base-string.1
# Line 112  Line 176 
176    (subtypep* 'simple-base-string 'simple-vector)    (subtypep* 'simple-base-string 'simple-vector)
177    nil t)    nil t)
178    
179    (deftest simple-base-string.9
180      (subtypep* '(simple-array nil (*)) 'simple-base-string)
181      nil t)
182    
183    (deftest simple-base-string.10
184      (typep* (make-array '(0) :element-type nil) 'simple-base-string)
185      nil)
186    
187    (deftest simple-base-string.11
188      (typep* (make-array '(12) :element-type nil) 'simple-base-string)
189      nil)
190    
191  ;;; Tests for simple-string-p  ;;; Tests for simple-string-p
192    
193  (deftest simple-string-p.1  (deftest simple-string-p.1
# Line 122  Line 198 
198    t)    t)
199    
200  (deftest simple-string-p.2  (deftest simple-string-p.2
201    (notnot (simple-string-p "ancd"))    (notnot-mv (simple-string-p "ancd"))
202    t)    t)
203    
204  (deftest simple-string-p.3  (deftest simple-string-p.3
# Line 136  Line 212 
212    nil)    nil)
213    
214  (deftest simple-string-p.5  (deftest simple-string-p.5
215    (notnot (simple-string-p (make-array    (notnot-mv
216                              4 :element-type 'base-char     (simple-string-p (make-array
217                              :initial-contents '(#\a #\a #\a #\b))))                       4 :element-type 'base-char
218                         :initial-contents '(#\a #\a #\a #\b))))
219    t)    t)
220    
221  (deftest simple-string-p.6  (deftest simple-string-p.6
222    (notnot (simple-string-p (make-array    (notnot-mv
223                              4 :element-type 'standard-char     (simple-string-p (make-array
224                              :initial-contents '(#\a #\a #\a #\b))))                       4 :element-type 'standard-char
225                         :initial-contents '(#\a #\a #\a #\b))))
226    t)    t)
227    
228  (deftest simple-string-p.7  (deftest simple-string-p.7
# Line 156  Line 234 
234      (simple-string-p s2))      (simple-string-p s2))
235    nil)    nil)
236    
237    (deftest simple-string-p.8
238      (notnot-mv (simple-string-p (make-array '(0) :element-type nil)))
239      t)
240    
241    (deftest simple-string-p.9
242      (notnot-mv (simple-string-p (make-array '(37) :element-type nil)))
243      t)
244    
245  ;;; Tests of stringp  ;;; Tests of stringp
246    
247  (deftest stringp.1  (deftest stringp.1
# Line 200  Line 286 
286                           :displaced-index-offset 2)))                           :displaced-index-offset 2)))
287      (notnot (stringp s2)))      (notnot (stringp s2)))
288    t)    t)
289    
290    (deftest stringp.9
291      (notnot-mv (stringp (make-array '(0) :element-type nil)))
292      t)
293    
294    (deftest stringp.10
295      (notnot-mv (stringp (make-array '(37) :element-type nil)))
296      t)

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26