source: trunk/abcl/src/org/armedbear/lisp/known-functions.lisp

Last change on this file was 15569, checked in by Mark Evenson, 2 years ago

Untabify en masse

Results of running style.org source blocks on tree
  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 13.0 KB
Line 
1;;; known-functions.lisp
2;;;
3;;; Copyright (C) 2005-2006 Peter Graves
4;;; $Id: known-functions.lisp 15569 2022-03-19 12:50:18Z mevenson $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19;;;
20;;; As a special exception, the copyright holders of this library give you
21;;; permission to link this library with independent modules to produce an
22;;; executable, regardless of the license terms of these independent
23;;; modules, and to copy and distribute the resulting executable under
24;;; terms of your choice, provided that you also meet, for each linked
25;;; independent module, the terms and conditions of the license of that
26;;; module.  An independent module is a module which is not derived from
27;;; or based on this library.  If you modify this library, you may extend
28;;; this exception to your version of the library, but you are not
29;;; obligated to do so.  If you do not wish to do so, delete this
30;;; exception statement from your version.
31
32(in-package #:system)
33
34(require '#:compiler-types)
35
36;; (declaim (ftype (function * symbol) copy-symbol gensym))
37;; (declaim (ftype (function * symbol) fdefinition-block-name))
38(defknown (copy-symbol gensym fdefinition-block-name) * symbol)
39
40;; (declaim (ftype (function (t t) t) gethash1))
41(defknown gethash1 (t t) t)
42;; (declaim (ftype (function (t) symbol) make-keyword))
43(defknown make-keyword (t) symbol)
44
45;; (declaim (ftype (function * list)
46;;                 backq-list backq-list* backq-append backq-nconc
47;;                 %class-precedence-list))
48(defknown (backq-list backq-list* backq-append backq-nconc %class-precedence-list)
49  * list)
50
51;; (declaim (ftype (function * cons) backq-cons))
52(defknown backq-cons * cons)
53
54;; (declaim (ftype (function (character) character) char-downcase char-upcase))
55(defknown (char-downcase char-upcase) (character) character)
56
57;; (declaim (ftype (function * t) finish-output force-output clear-output terpri fresh-line))
58(defknown (finish-output force-output clear-output terpri fresh-line) * t)
59
60;; (declaim (ftype (function (symbol) string) symbol-name))
61(defknown symbol-name (symbol) string)
62
63;; (declaim
64;;  (ftype (function * string)
65;;         get-output-stream-string
66;;         nstring-capitalize
67;;         nstring-downcase
68;;         nstring-upcase
69;;         string-capitalize
70;;         string-downcase
71;;         string-upcase
72;;         write-line
73;;         write-string
74;;         ))
75(defknown (get-output-stream-string
76           nstring-capitalize
77           nstring-downcase
78           nstring-upcase
79           string-capitalize
80           string-downcase
81           string-upcase
82           write-line
83           write-string) * string)
84
85(defknown (%failed-aver
86           %ldb
87           %make-structure
88           %method-function
89           put
90           %set-cddr
91           %stream-terpri
92           %stream-write-char
93           alphanumericp
94           array-has-fill-pointer-p
95           aset
96           bit-and
97           bit-andc1
98           bit-andc2
99           bit-eqv
100           bit-ior
101           bit-nand
102           bit-nor
103           bit-not
104           bit-orc1
105           bit-orc2
106           bit-xor
107           both-case-p
108           built-in-function-p
109           caadr
110           char-equal
111           characterp
112           charpos
113           close
114           coerce
115           coerce-to-function
116           compile-file-pathname
117           complex
118           conjugate
119           count
120           count-if
121           count-if-not
122           delete-file
123           directory-namestring
124           eighth
125           enough-namestring
126           every
127           fifth
128           file-directory-p
129           file-namestring
130           file-position
131           fill
132           first
133           float
134           fmakunbound
135           fourth
136           fset
137           ftype-result-type
138           get-internal-real-time
139           getf
140           hash-table-count
141           hash-table-p
142           host-namestring
143           intersection
144           ldb
145           ldb-test
146           list-all-packages
147           list-find*
148           load-compiled-function
149           lower-case-p
150           make-string-output-stream
151           make-structure
152           map
153           merge-pathnames
154           namestring
155           neq
156           nintersection
157           ninth
158           normalize-type
159           nsubst
160           nsubst-if
161           nsubst-if-not
162           nth
163           pathname-type
164           pathname-type
165           pathnamep
166           phase
167           probe-file
168           proclaimed-ftype
169           random
170           read
171           read-char
172           read-sequence
173           reduce
174           replace
175           rest
176           scale-float
177           search
178           second
179           set
180           set-char
181           set-schar
182           set-std-slot-value
183           setf-function-name-p
184           seventh
185           simple-condition-format-arguments
186           simple-condition-format-control
187           simple-search
188           sixth
189           some
190           sort
191           stable-sort
192           standard-object-p
193           std-instance-layout
194           std-slot-value
195           stream-element-type
196           stream-line-number
197           string-find
198           string<=
199           structure-object-p
200           structure-ref
201           structure-set
202           subst
203           subst-if
204           subst-if-not
205           svref
206           svset
207           tenth
208           third
209           truename
210           upper-case-p
211           vector
212           vector-find*
213           vectorp
214           write-byte
215           write-sequence
216           zerop)
217  * t)
218
219(defknown length (sequence) (integer 0 #.(1- most-positive-fixnum)))
220
221(defknown (deposit-field dpb logand logcount lognor
222                         mask-field
223                         numerator denominator
224                         boole
225                         array-dimension
226                         array-row-major-index
227                         array-rank
228                         array-total-size
229                         %dpb
230                         ash)
231  * integer)
232
233;; (declaim (ftype (function (t) (integer 0 2147483647)) sxhash))
234(defknown sxhash (t) (integer 0 2147483647))
235
236;; (declaim (ftype (function (character) (unsigned-byte 16)) char-code))
237(defknown char-code (character) (unsigned-byte 16))
238
239;; (declaim (ftype (function (simple-string index) character) schar))
240(defknown schar (simple-string index) character)
241
242;; (declaim (ftype (function * character) char write-char))
243(defknown (char write-char) * character)
244
245(defknown (char= char/= char< char> char<= char>= char-equal char-not-equal
246                 char-lessp char-greaterp char-not-greaterp char-not-lessp)
247  * t)
248
249;; (declaim
250;;  (ftype (function (real real) real)
251;;         mod rem))
252(defknown (mod rem) (real real) real)
253
254;; (declaim (ftype (function (number) rational) rational rationalize))
255(defknown (rational rationalize) (number) rational)
256
257;; (declaim (ftype (function * bit) bit sbit))
258(defknown (bit sbit) * bit)
259
260;; (declaim (ftype (function * function) make-macro))
261(defknown make-macro * function)
262
263;; (declaim (ftype (function * t) %set-arglist))
264(defknown %set-arglist * t)
265
266;; (declaim (ftype (function * t) %type-error check-sequence-bounds))
267(defknown (%type-error check-sequence-bounds) * t)
268
269;; (declaim (ftype (function * t) out-synonym-of))
270(defknown out-synonym-of * t)
271
272(defknown (error
273           compiler-style-warn
274           compiler-warn
275           compiler-error
276           compiler-unsupported)
277  * t)
278
279;; (declaim (ftype (function (symbol) function) resolve))
280(defknown resolve (symbol) function)
281
282;; (declaim (ftype (function (string fixnum character) character) %set-char))
283(defknown %set-char (string index character) character)
284
285;; (declaim (ftype (function (t t t) t) set-function-info-value))
286(defknown set-function-info-value (t t t) t)
287
288;; (declaim (ftype (function * hash-table) make-hash-table))
289(defknown make-hash-table * hash-table)
290
291(defknown %class-slots (class) t)
292(defknown set-class-slots (class list) t)
293(defknown %slot-definition-initfunction * t)
294(defknown std-slot-boundp * t)
295(defknown std-slot-value * t)
296(defknown set-std-slot-value * t)
297(defknown open * (or stream null))
298(defknown make-string-input-stream * stream)
299
300;; Boolean predicates that can return unboxed Java booleans.
301(defknown (arrayp
302           atom
303           consp
304           endp
305           evenp
306           floatp
307           integerp
308           listp
309           minusp
310           numberp
311           oddp
312           packagep
313           plusp
314           rationalp
315           readtablep
316           realp
317           simple-bit-vector-p
318           simple-vector-p
319           stringp
320           symbolp
321           zerop)
322  (t) boolean)
323
324(defknown (constantp simple-typep typep sys::%typep)
325  * boolean)
326
327;; Boolean comparison operators.
328(defknown (/=
329           <
330           <=
331           =
332           >
333           >=
334           eq
335           eql
336           equal
337           equalp)
338  * boolean)
339
340;; Boolean predicates that can not (currently) return unboxed Java booleans.
341(defknown (bit-vector-p
342           compiled-function-p
343           complexp
344           fboundp
345           functionp
346           keywordp
347           simple-string-p
348           typep)
349  (t) t)
350
351(defknown (boundp special-operator-p special-variable-p)
352  (symbol) t)
353
354;; Moved here from jvm.lisp.
355(defknown (+ - * /
356             1+ 1-
357             car cdr caar cadr cdar cddr cadar caddr cdddr cddddr
358             first second third
359             list list*
360             macro-function
361             compiler-macro-function
362             sys::%defun
363             get
364             fdefinition
365             array-dimensions array-rank array-total-size
366             array-element-type upgraded-array-element-type
367             row-major-aref
368             quote function
369             map
370             mapcar
371             find position
372             append nconc subseq adjoin
373             revappend nreconc
374             copy-seq
375             assoc assoc-if assoc-if-not acons assq assql
376             char-int digit-char-p
377             member ext:memq
378             remove remove-if remove-if-not delete delete-if delete-if-not
379             symbol-function
380             coerce
381             reverse nreverse
382             last
383             cons rplaca rplacd
384             set-car set-cdr
385             copy-list copy-tree
386             make-sequence make-list make-array make-package
387             find-package
388             pathname make-pathname pathname-name directory
389             package-used-by-list package-shadowing-symbols
390             nthcdr
391             aref elt
392             not null concatenate
393             format sys::%format
394             prin1 princ print write
395             compute-restarts find-restart restart-name
396             string
397             string=
398             setq
399             multiple-value-list push pop
400             type-of class-of
401             abs
402             float-radix
403             logand logandc1 logandc2 logeqv logior lognand
404             lognot logorc1 logorc2 logxor
405             logbitp
406             slot-boundp slot-value slot-exists-p
407             allocate-instance
408             find-class
409             class-name
410             constantly
411             exp expt log
412             min max
413             realpart imagpart
414             integer-length
415             sqrt isqrt gcd lcm signum
416             open
417             svref
418             fill-pointer
419             symbol-value symbol-package package-name
420             fourth
421             vector-push vector-push-extend
422             union nunion
423             remove-duplicates delete-duplicates
424             read-byte
425             fresh-line terpri
426             lambda
427             ext:classp
428             ext:fixnump
429             ext:memql
430             sys::puthash
431             precompiler::precompile1
432             declare
433             go
434             inst
435             emit
436             label
437             maybe-emit-clear-values
438             single-valued-p
439             sys:read-8-bits
440             sys:write-8-bits
441             sys::require-type
442             sys::arg-count-error
443             sys:subclassp
444             sys:cache-emf
445             sys:get-cached-emf
446             ext:autoloadp
447             sys::proclaim-ftype-1
448             sys::proclaim-ftype
449             )
450  * t)
451
452(defknown make-string * simple-string)
453(defknown concatenate-to-string * simple-string)
454
455(defknown code-char * (or character null))
456
457(defknown lookup-known-symbol (symbol) t)
458(defknown %class-name (class) symbol)
459
460(defknown adjoin-eql (t t) list)
461
462(provide '#:known-functions)
Note: See TracBrowser for help on using the repository browser.