X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/08b6e064ab3b18bbc5a9af47418c02f0e7ebc52d..f64eb323a5798e155cc494043f5f750abf50a482:/doc/SYMBOLS diff --git a/doc/SYMBOLS b/doc/SYMBOLS index 3243197..cec9fa3 100644 --- a/doc/SYMBOLS +++ b/doc/SYMBOLS @@ -16,17 +16,50 @@ c-types-class-impl.lisp c-types-impl.lisp cl:* variable function c-type + alignas + alignas-storage-specifier class cl:array class c-type + atomic c-type + bool c-type c-array-dimensions generic c-array-type class + c-atomic-type class c-enum-type class c-function-arguments generic + c-function-keywords generic c-function-type class + c-keyword-function-type class c-pointer-type class c-struct-type class c-tagged-type-kind generic + c-type-bool variable + c-type-char variable + c-type-double variable + c-type-double-complex variable + c-type-double-imaginary variable + c-type-float variable + c-type-float-complex variable + c-type-float-imaginary variable + c-type-int variable + c-type-long variable + c-type-long-double variable + c-type-long-double-complex variable + c-type-long-double-imaginary variable + c-type-long-long variable c-type-name generic + c-type-ptrdiff-t variable + c-type-short variable + c-type-signed-char variable + c-type-size-t variable c-type-tag generic + c-type-unsigned variable + c-type-unsigned-char variable + c-type-unsigned-long variable + c-type-unsigned-long-long variable + c-type-unsigned-short variable + c-type-va-list variable + c-type-void variable + c-type-wchar-t variable c-union-type class cl:char function setf c-type parser commentify-argument-names function @@ -55,17 +88,23 @@ c-types-impl.lisp long-long c-type long-long-int c-type make-array-type function + make-atomic-type function make-c-tagged-type function make-enum-type function make-function-type function + make-keyword-function-type function make-pointer-type function make-simple-type function make-struct-type function make-union-type function + merge-keyword-lists function cl:nil constant c-type parser pointer c-type + pprint-argument-list function + pprint-c-function-type function ptr c-type ptrdiff-t c-type + reify-variable-argument-tail function cl:schar function setf c-type short c-type short-int c-type @@ -83,6 +122,7 @@ c-types-impl.lisp size-t c-type sllong c-type slong c-type + specs c-type sshort c-type cl:string function class c-type opthandler struct c-type @@ -114,29 +154,40 @@ c-types-parse.lisp c-types-proto.lisp argument class + argument-default function argument-name function argument-type function argumentp function c-name-case function + c-qualifier-keyword generic + c-storage-specifiers-type class c-type macro class c-type-alias macro c-type-equal-p generic + c-type-qualifier-keywords function c-type-qualifiers generic c-type-space function + c-type-specifiers generic c-type-subtype generic canonify-qualifiers function commentify-argument-name generic defctype macro + define-c-storage-specifier-syntax macro define-c-type-syntax macro + expand-c-storage-specifier generic + expand-c-storage-specifier-form generic expand-c-type-form generic expand-c-type-spec generic format-qualifiers function make-argument function maybe-in-parens macro + pprint-c-storage-specifier generic pprint-c-type generic + print-c-storage-specifier generic print-c-type generic qualifiable-c-type class qualify-c-type generic + wrap-c-type function class-finalize-impl.lisp c3-cpl function @@ -151,6 +202,7 @@ class-finalize-proto.lisp compute-chains generic compute-cpl generic finalize-sod-class generic + guess-metaclass generic class-layout-impl.lisp sod-class-effective-slot class @@ -183,6 +235,7 @@ class-layout-proto.lisp effective-slot-class generic effective-slot-direct-slot generic effective-slot-initializer generic + find-slot-initargs generic find-slot-initializer generic ichain class ichain-body generic @@ -214,19 +267,28 @@ class-layout-proto.lisp vtmsgs-entries generic vtmsgs-subclass generic +class-make-impl.lisp + check-method-argument-lists function + check-method-return-type function + check-method-return-type-against-message function + class-make-proto.lisp check-message-type generic check-method-type generic - define-sod-class macro - guess-metaclass generic make-sod-class function + make-sod-class-initfrag generic make-sod-class-initializer generic + make-sod-class-tearfrag generic make-sod-initializer-using-slot generic make-sod-instance-initializer generic make-sod-message generic make-sod-method generic make-sod-method-using-message generic make-sod-slot generic + make-sod-slot-initarg generic + make-sod-slot-initarg-using-slot generic + make-sod-user-initarg generic + sod-initarg-argument generic sod-message-method-class generic class-output.lisp @@ -261,6 +323,7 @@ classes.lisp sod-class-class-initializers generic setf sod-class-direct-superclasses generic sod-class-ilayout generic + sod-class-initfrags generic setf sod-class-initializer class sod-class-instance-initializers generic setf sod-class-messages generic setf @@ -271,13 +334,14 @@ classes.lisp sod-class-precedence-list generic sod-class-slots generic setf sod-class-state generic + sod-class-tearfrags generic setf sod-class-type generic sod-class-vtables generic + sod-initarg class sod-initializer class sod-initializer-class generic sod-initializer-slot generic - sod-initializer-value-form generic - sod-initializer-value-kind generic + sod-initializer-value generic sod-instance-initializer class sod-message class sod-message-class generic @@ -290,44 +354,25 @@ classes.lisp sod-method-type generic sod-slot class sod-slot-class generic + sod-slot-initarg class sod-slot-name generic sod-slot-type generic + sod-user-initarg class codegen-impl.lisp - call-inst class codegen class - do-while-inst class - if-inst class - inst-alt generic - inst-ap generic - inst-arg generic - inst-args generic - inst-body generic - inst-cond generic - inst-conseq generic - inst-from generic - inst-func generic - inst-to generic - make-call-inst function - make-do-while-inst function - make-if-inst function - make-va-copy-inst function - make-va-end-inst function - make-va-start-inst function - make-while-inst function temporary-argument class temporary-function function class temporary-variable class - va-copy-inst class - va-end-inst class - va-start-inst class - while-inst class codegen-proto.lisp + *null-pointer* variable *sod-ap* variable *sod-master-ap* variable + banner-inst class block-inst class break-inst class + call-inst class codegen-add-function generic codegen-build-function function codegen-functions generic setf @@ -335,38 +380,61 @@ codegen-proto.lisp codegen-pop-block generic codegen-pop-function generic codegen-push generic + cond-inst class continue-inst class convert-stmts function definst macro + deliver-call function deliver-expr function + do-while-inst class + emit-banner function emit-decl generic emit-decls generic emit-inst generic emit-insts generic ensure-var generic expr-inst class + for-inst class + format-banner-comment function format-compound-statement macro format-temporary-name generic function-inst class + if-inst class inst class + inst-alt generic + inst-args generic + inst-banner generic + inst-banner-args generic inst-body generic + inst-cond generic + inst-conseq generic + inst-control generic inst-decls generic inst-expr generic + inst-func generic inst-init generic inst-metric generic inst-name generic inst-op generic inst-type generic + inst-update generic inst-var generic + make-banner-inst function make-block-inst function make-break-inst function + make-call-inst function + make-cond-inst function make-continue-inst function + make-do-while-inst function make-expr-inst function + make-for-inst function make-function-inst function + make-if-inst function make-return-inst function make-set-inst function make-update-inst function make-var-inst function + make-while-inst function return-inst class set-inst class temp-tag generic @@ -375,6 +443,7 @@ codegen-proto.lisp update-inst class var-in-use-p generic setf var-inst class + while-inst class with-temporary-var macro final.lisp @@ -382,6 +451,8 @@ final.lisp *sod-version* variable exercise function test-module function + test-parse-c-type function + test-parser macro fragment-parse.lisp parse-delimited-fragment function @@ -436,6 +507,8 @@ method-proto.lisp effective-method-basic-argument-names generic effective-method-class generic effective-method-function-name generic + effective-method-keywords generic + effective-method-live-p generic effective-method-message generic ensure-ilayout-var function inst-chain-head generic @@ -443,6 +516,7 @@ method-proto.lisp inst-expr generic invoke-delegation-chain function invoke-method function + keyword-message-p function make-convert-to-ilayout-inst function make-method-entries generic make-trampoline function @@ -454,11 +528,11 @@ method-proto.lisp method-entry-function-name generic method-entry-function-type generic method-entry-slot-name generic + method-keyword-argument-lists generic primary-method-class generic simple-method-body generic sod-message-argument-tail generic sod-message-effective-method-class generic - sod-message-no-varargs-tail generic sod-method-function-name generic sod-method-function-type generic sod-method-next-method-type generic @@ -480,6 +554,7 @@ module-output.lisp banner function declare-output-type function guard-name function + one-off-output function output-module function output-type-pathname function @@ -551,10 +626,14 @@ pset-proto.lisp store-property function with-pset-iterator macro +Leaked slot names: cl:type + sod-initarg: cl:type + Classes: cl:t sb-pcl::slot-object cl:standard-object + alignas-storage-specifier base-offset sod::basic-codegen codegen @@ -563,7 +642,10 @@ cl:t c-type c-array-type c-function-type + c-keyword-function-type + c-storage-specifiers-type qualifiable-c-type + c-atomic-type c-pointer-type simple-c-type c-class-type @@ -586,21 +668,21 @@ cl:t ichain ilayout inst + banner-inst block-inst break-inst call-inst + cond-inst continue-inst convert-to-ilayout-inst do-while-inst expr-inst + for-inst function-inst if-inst return-inst set-inst update-inst - va-copy-inst - va-end-inst - va-start-inst var-inst while-inst islots @@ -615,6 +697,9 @@ cl:t cl:class [sb-pcl::definition-source-mixin sb-pcl::standard-specializer] sequencer sod-class + sod-initarg + sod-slot-initarg + sod-user-initarg sod-initializer sod-class-initializer sod-instance-initializer @@ -665,6 +750,11 @@ c-fragment-text c-fragment c-function-arguments c-function-type +c-function-keywords + c-keyword-function-type +c-qualifier-keyword + (eql :atomic) + cl:symbol c-tagged-type-kind c-enum-type c-struct-type @@ -676,9 +766,13 @@ c-type-class c-type-equal-p t t c-array-type c-array-type + c-atomic-type c-atomic-type c-class-type c-class-type c-function-type c-function-type + c-keyword-function-type c-keyword-function-type c-pointer-type c-pointer-type + c-storage-specifiers-type c-type + c-type c-storage-specifiers-type qualifiable-c-type qualifiable-c-type simple-c-type simple-c-type tagged-c-type tagged-c-type @@ -686,10 +780,14 @@ c-type-name simple-c-type c-type-qualifiers qualifiable-c-type +c-type-specifiers + c-storage-specifiers-type c-type-subtype c-array-type + c-atomic-type c-function-type c-pointer-type + c-storage-specifiers-type c-type-tag tagged-c-type chain-offset-chain-head @@ -779,6 +877,7 @@ compute-chains compute-cpl sod-class compute-effective-method-body + basic-effective-method t t simple-effective-method t t compute-effective-methods sod-class @@ -793,7 +892,7 @@ compute-islots sod-class sod-class compute-method-entry-functions basic-effective-method - simple-effective-method + effective-method compute-sod-effective-method sod-message sod-class compute-vtable @@ -825,6 +924,11 @@ effective-method-class effective-method effective-method-function-name effective-method +effective-method-keywords + effective-method +effective-method-live-p + sod::lifecycle-effective-method + simple-effective-method effective-method-message effective-method effective-slot-class @@ -846,6 +950,12 @@ ensure-sequencer-item sequencer t ensure-var sod::basic-codegen t t +expand-c-storage-specifier + cl:list + cl:symbol +expand-c-storage-specifier-form + (eql alignas) t + (eql sod-parser:lisp) t expand-c-type-form (eql cl:*) t (eql cl:array) t @@ -855,7 +965,8 @@ expand-c-type-form (eql cl:function) t (eql cl:nil) t (eql cl:union) t - (eql sod::bool) t + (eql atomic) t + (eql bool) t (eql double) t (eql double-complex) t (eql double-imaginary) t @@ -877,6 +988,7 @@ expand-c-type-form (eql short) t (eql signed-char) t (eql size-t) t + (eql specs) t (eql struct) t (eql unsigned) t (eql unsigned-char) t @@ -895,7 +1007,7 @@ expand-c-type-spec (eql cl:float) (eql cl:schar) (eql cl:string) - (eql sod::bool) + (eql bool) (eql const-string) (eql double) (eql double-complex) @@ -951,6 +1063,7 @@ sod-parser:file-location c-fragment property sod-class + sod-initarg sod-initializer sod-message sod-method @@ -959,6 +1072,8 @@ finalize-module module finalize-sod-class sod-class +find-slot-initargs + sod-class sod-slot find-slot-initializer sod-class sod-slot format-temporary-name @@ -1023,17 +1138,19 @@ ilayout-class ilayout-ichains ilayout inst-alt + cond-inst if-inst -inst-ap - va-end-inst - va-start-inst -inst-arg - va-start-inst inst-args + banner-inst call-inst +inst-banner + function-inst +inst-banner-args + function-inst inst-body block-inst do-while-inst + for-inst function-inst while-inst inst-chain-head @@ -1041,11 +1158,16 @@ inst-chain-head inst-class convert-to-ilayout-inst inst-cond + cond-inst do-while-inst + for-inst if-inst while-inst inst-conseq + cond-inst if-inst +inst-control + banner-inst inst-decls block-inst inst-expr @@ -1054,31 +1176,31 @@ inst-expr return-inst set-inst update-inst -inst-from - va-copy-inst inst-func call-inst inst-init + for-inst var-inst inst-metric cl:list cl:null t + banner-inst block-inst break-inst call-inst + cond-inst continue-inst convert-to-ilayout-inst do-while-inst expr-inst + for-inst function-inst if-inst return-inst set-inst + sod::suppliedp-struct-inst update-inst - va-copy-inst - va-end-inst - va-start-inst var-inst while-inst inst-name @@ -1086,13 +1208,14 @@ inst-name var-inst inst-op update-inst -inst-to - va-copy-inst inst-type function-inst var-inst +inst-update + for-inst inst-var set-inst + sod::suppliedp-struct-inst update-inst invoke-sequencer-items sequencer @@ -1116,12 +1239,16 @@ make-method-entries basic-effective-method sod-class sod-class sod-parser:make-scanner-stream sod-token-scanner +make-sod-class-initfrag + sod-class t t make-sod-class-initializer - sod-class t t t t t + sod-class t t t t +make-sod-class-tearfrag + sod-class t t make-sod-initializer-using-slot - sod-class sod-slot t t t t t + sod-class sod-slot t t t t make-sod-instance-initializer - sod-class t t t t t + sod-class t t t t make-sod-message sod-class t t t make-sod-method @@ -1130,6 +1257,12 @@ make-sod-method-using-message sod-message sod-class t t t t make-sod-slot sod-class t t t +make-sod-slot-initarg + sod-class t t t t +make-sod-slot-initarg-using-slot + sod-class t sod-slot t +make-sod-user-initarg + sod-class t t t method-entry-chain-head method-entry method-entry-chain-tail @@ -1142,6 +1275,9 @@ method-entry-function-type method-entry method-entry-slot-name method-entry +method-keyword-argument-lists + effective-method t + sod::initialization-effective-method t module-dependencies module (setf module-dependencies) @@ -1159,24 +1295,37 @@ module-name module module-pset module +pprint-c-storage-specifier + cl:symbol t + alignas-storage-specifier t pprint-c-type t t t c-array-type t t + c-atomic-type t t c-function-type t t + c-keyword-function-type t t c-pointer-type t t + c-storage-specifiers-type t t simple-c-type t t tagged-c-type t t primary-method-class simple-message standard-message +print-c-storage-specifier + t cl:symbol + t t + t alignas-storage-specifier print-c-type t c-array-type + t c-atomic-type t c-class-type t c-function-type t c-pointer-type + t c-storage-specifiers-type t simple-c-type t tagged-c-type cl:print-object + banner-inst t base-offset t block-inst t break-inst t @@ -1185,12 +1334,14 @@ cl:print-object call-inst t chain-offset t class-pointer t + cond-inst t continue-inst t convert-to-ilayout-inst t do-while-inst t effective-method t effective-slot t expr-inst t + for-inst t function-inst t ichain t if-inst t @@ -1208,9 +1359,6 @@ cl:print-object sod-slot t temporary-name t update-inst t - va-copy-inst t - va-end-inst t - va-start-inst t var-inst t vtable t vtable-pointer t @@ -1233,6 +1381,8 @@ cl:shared-initialize aggregating-message t basic-direct-method t c-function-type t + c-keyword-function-type t + effective-method t method-codegen t module t sequencer t @@ -1246,13 +1396,13 @@ cl:shared-initialize sod-token-scanner t simple-method-body aggregating-effective-method t t + sod::lifecycle-effective-method t t standard-effective-method t t cl:slot-unbound t basic-direct-method (eql sod::function-type) t basic-effective-method (eql sod::basic-argument-names) t basic-effective-method (eql sod::functions) t basic-message (eql sod::argument-tail) - t basic-message (eql sod::no-varargs-tail) t delegating-direct-method (eql sod::function-type) t delegating-direct-method (eql sod::next-method-type) t sod-class (eql sod::%ilayout) @@ -1274,6 +1424,10 @@ sod-class-direct-superclasses sod-class sod-class-ilayout sod-class +sod-class-initfrags + sod-class +(setf sod-class-initfrags) + t sod-class sod-class-instance-initializers sod-class (setf sod-class-instance-initializers) @@ -1300,17 +1454,21 @@ sod-class-slots t sod-class sod-class-state sod-class +sod-class-tearfrags + sod-class +(setf sod-class-tearfrags) + t sod-class sod-class-type sod-class sod-class-vtables sod-class +sod-initarg-argument + sod-initarg sod-initializer-class sod-initializer sod-initializer-slot sod-initializer -sod-initializer-value-form - sod-initializer -sod-initializer-value-kind +sod-initializer-value sod-initializer sod-message-argument-tail basic-message @@ -1320,7 +1478,9 @@ sod-message-combination aggregating-message sod-message-effective-method-class aggregating-message + sod::initialization-message standard-message + sod::teardown-message sod-message-kernel-function aggregating-message sod-message-method-class @@ -1329,8 +1489,6 @@ sod-message-method-class sod-message sod-class t sod-message-name sod-message -sod-message-no-varargs-tail - basic-message sod-message-type sod-message sod-method-body @@ -1466,6 +1624,7 @@ parser-proto.lisp cl:char function setf c-type parser character-parser-context class combine-parser-failures function + commit parser cond-parse macro define-pluggable-parser macro defparse macro @@ -1482,6 +1641,8 @@ parser-proto.lisp cl:not function parser cl:or macro parser parse + parse-empty function + parse-fail function parser macro parser-at-eof-p generic parser-capture-place generic @@ -1671,6 +1832,7 @@ expand-parser-form t (eql cl:t) t t (eql cl:when) t t (eql ?) t + t (eql commit) t t (eql expr) t t (eql label) t t (eql lisp) t @@ -1708,6 +1870,7 @@ file-location sod:c-fragment sod:property sod:sod-class + sod:sod-initarg sod:sod-initializer sod:sod-message sod:sod-method