X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/2b8759bf0239b0a98ac830952ed69572580826c1..b8eeeb378980ebf06cd5b57fe0e967c23955cf5f:/doc/SYMBOLS diff --git a/doc/SYMBOLS b/doc/SYMBOLS index 9df1bd9..0d41e6b 100644 --- a/doc/SYMBOLS +++ b/doc/SYMBOLS @@ -16,13 +16,19 @@ 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 @@ -82,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 @@ -110,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 @@ -141,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 @@ -211,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 @@ -242,17 +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 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 @@ -287,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 @@ -297,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 @@ -316,8 +354,10 @@ 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 codegen class @@ -329,6 +369,7 @@ 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 @@ -339,18 +380,22 @@ 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 @@ -358,9 +403,12 @@ codegen-proto.lisp 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 @@ -369,13 +417,17 @@ codegen-proto.lisp 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 @@ -399,6 +451,7 @@ final.lisp *sod-version* variable exercise function test-module function + test-parse-c-type function test-parser macro fragment-parse.lisp @@ -454,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 @@ -461,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 @@ -472,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 @@ -573,7 +629,11 @@ pset-proto.lisp Classes: cl:t sb-pcl::slot-object + cl:condition + cl:serious-condition + cl:error cl:standard-object + alignas-storage-specifier base-offset sod::basic-codegen codegen @@ -582,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 @@ -605,13 +668,16 @@ 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 @@ -631,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 @@ -681,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 @@ -690,22 +764,30 @@ c-type-class (setf c-type-class) t c-class-type c-type-equal-p - t t - c-array-type c-array-type - c-class-type c-class-type - c-function-type c-function-type - c-pointer-type c-pointer-type - qualifiable-c-type qualifiable-c-type - simple-c-type simple-c-type - tagged-c-type tagged-c-type + t t [and] + c-array-type c-array-type [and] + c-atomic-type c-atomic-type [and] + c-class-type c-class-type [and] + c-function-type c-function-type [and] + c-keyword-function-type c-keyword-function-type [and] + c-pointer-type c-pointer-type [and] + c-storage-specifiers-type c-type [:around] + c-type c-storage-specifiers-type [:around] + qualifiable-c-type qualifiable-c-type [and] + simple-c-type simple-c-type [and] + tagged-c-type tagged-c-type [and] 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 @@ -795,6 +877,7 @@ compute-chains compute-cpl sod-class compute-effective-method-body + basic-effective-method t t [:around] simple-effective-method t t compute-effective-methods sod-class @@ -809,7 +892,7 @@ compute-islots sod-class sod-class compute-method-entry-functions basic-effective-method - simple-effective-method + effective-method [:around] compute-sod-effective-method sod-message sod-class compute-vtable @@ -841,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 @@ -862,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 @@ -871,6 +965,7 @@ expand-c-type-form (eql cl:function) t (eql cl:nil) t (eql cl:union) t + (eql atomic) t (eql bool) t (eql double) t (eql double-complex) t @@ -893,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 @@ -967,6 +1063,7 @@ sod-parser:file-location c-fragment property sod-class + sod-initarg sod-initializer sod-message sod-method @@ -975,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 @@ -985,47 +1084,47 @@ format-temporary-name guess-metaclass sod-class hook-output - t t t - base-offset (eql :c) t - base-offset (eql :h) t - basic-effective-method (eql :c) t - chain-offset (eql :c) t - chain-offset (eql :h) t - class-pointer (eql :c) t - class-pointer (eql :h) t - code-fragment-item t t - delegating-direct-method (eql :c) t - effective-slot (eql cl:class) t - ichain (eql :h) t - ichain (eql cl:class) t - ichain (eql ilayout) t - ichain t t - ilayout (eql :h) t - ilayout t t - islots (eql :h) t - islots (eql cl:class) t - islots t t - method-entry (eql :c) t - method-entry (eql vtmsgs) t - module (eql :c) t - module (eql :h) t - module t t - sod-class (eql :c) t - sod-class (eql :h) t - sod-class t t - sod-class-effective-slot (eql cl:class) t - sod-method (eql :c) t - sod-method (eql :h) t - sod-slot (eql islots) t - vtable (eql :c) t - vtable (eql :h) t - vtable t t - vtable-pointer (eql :h) t - vtable-pointer (eql cl:class) t - vtmsgs (eql :c) t - vtmsgs (eql :h) t - vtmsgs (eql vtmsgs) t - vtmsgs t t + t t t [progn] + base-offset (eql :c) t [progn] + base-offset (eql :h) t [progn] + basic-effective-method (eql :c) t [progn] + chain-offset (eql :c) t [progn] + chain-offset (eql :h) t [progn] + class-pointer (eql :c) t [progn] + class-pointer (eql :h) t [progn] + code-fragment-item t t [progn] + delegating-direct-method (eql :c) t [progn] + effective-slot (eql cl:class) t [progn] + ichain (eql :h) t [progn] + ichain (eql cl:class) t [progn] + ichain (eql ilayout) t [progn] + ichain t t [progn] + ilayout (eql :h) t [progn] + ilayout t t [progn] + islots (eql :h) t [progn] + islots (eql cl:class) t [progn] + islots t t [progn] + method-entry (eql :c) t [progn] + method-entry (eql vtmsgs) t [progn] + module (eql :c) t [progn] + module (eql :h) t [progn] + module t t [progn] + sod-class (eql :c) t [progn] + sod-class (eql :h) t [progn] + sod-class t t [progn] + sod-class-effective-slot (eql cl:class) t [progn] + sod-method (eql :c) t [progn] + sod-method (eql :h) t [progn] + sod-slot (eql islots) t [progn] + vtable (eql :c) t [progn] + vtable (eql :h) t [progn] + vtable t t [progn] + vtable-pointer (eql :h) t [progn] + vtable-pointer (eql cl:class) t [progn] + vtmsgs (eql :c) t [progn] + vtmsgs (eql :h) t [progn] + vtmsgs (eql vtmsgs) t [progn] + vtmsgs t t [progn] ichain-body ichain ichain-class @@ -1039,12 +1138,19 @@ ilayout-class ilayout-ichains ilayout inst-alt + cond-inst if-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 @@ -1052,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 @@ -1068,22 +1179,27 @@ inst-expr 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 var-inst while-inst @@ -1095,8 +1211,11 @@ inst-op inst-type function-inst var-inst +inst-update + for-inst inst-var set-inst + sod::suppliedp-struct-inst update-inst invoke-sequencer-items sequencer @@ -1120,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 @@ -1134,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 @@ -1146,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) @@ -1163,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 + t t t [:around] 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 @@ -1189,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 @@ -1231,29 +1378,31 @@ sequencer-constraints sequencer-table sequencer cl:shared-initialize - aggregating-message t - basic-direct-method t - c-function-type t - method-codegen t - module t + aggregating-message t [:before] + basic-direct-method t [:after] + c-function-type t [:after] + c-keyword-function-type t [:after] + effective-method t [:after] + method-codegen t [:after] + module t [:after] sequencer t - simple-effective-method t - sod-class t - sod-class-slot t - sod-initializer t - sod-message t - sod-method t - sod-slot t - sod-token-scanner t + simple-effective-method t [:after] + sod-class t [:after] + sod-class-slot t [:after] + sod-initializer t [:after] + sod-message t [:after] + sod-method t [:after] + sod-slot t [:after] + sod-token-scanner t [:after] 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) @@ -1275,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) @@ -1301,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 @@ -1321,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 @@ -1330,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 @@ -1484,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 @@ -1561,6 +1720,39 @@ streams-proto.lisp Classes: cl:t sb-pcl::slot-object + cl:condition + condition-with-location + enclosing-condition-with-location [enclosing-condition] + enclosing-error-with-location [cl:error] + enclosing-warning-with-location [cl:warning] + error-with-location [cl:error] + simple-error-with-location [cl:simple-error] + simple-condition-with-location [cl:simple-condition] + warning-with-location [cl:warning] + simple-warning-with-location [cl:simple-warning] + enclosing-condition + enclosing-condition-with-location [condition-with-location] + enclosing-error-with-location [cl:error] + enclosing-warning-with-location [cl:warning] + cl:serious-condition + cl:error + enclosing-error-with-location [enclosing-condition-with-location] + error-with-location [condition-with-location] + simple-error-with-location [cl:simple-error] + cl:simple-error [cl:simple-condition] + simple-error-with-location [error-with-location] + cl:simple-condition + simple-condition-with-location [condition-with-location] + cl:simple-error [cl:error] + simple-error-with-location [error-with-location] + cl:simple-warning [cl:warning] + simple-warning-with-location [warning-with-location] + cl:warning + enclosing-warning-with-location [enclosing-condition-with-location] + cl:simple-warning [cl:simple-condition] + simple-warning-with-location [warning-with-location] + warning-with-location [condition-with-location] + simple-warning-with-location [cl:simple-warning] cl:standard-object character-parser-context character-scanner-context [scanner-context] @@ -1711,6 +1903,7 @@ file-location sod:c-fragment sod:property sod:sod-class + sod:sod-initarg sod:sod-initializer sod:sod-message sod:sod-method @@ -1789,7 +1982,7 @@ cl:print-object push-operator t sod-parser::expression-parse-state close-parenthesis sod-parser::expression-parse-state - open-parenthesis sod-parser::expression-parse-state + open-parenthesis sod-parser::expression-parse-state [:after] prefix-operator sod-parser::expression-parse-state push-value t sod-parser::expression-parse-state @@ -1845,9 +2038,9 @@ scanner-token scanner-unread charbuf-scanner t cl:shared-initialize - charbuf-scanner t - simple-binary-operator t - token-scanner t + charbuf-scanner t [:after] + simple-binary-operator t [:after] + token-scanner t [:after] sb-gray:stream-line-column position-aware-output-stream stream-pathname @@ -1952,13 +2145,15 @@ optparse.lisp cl:string function class c-type opthandler with-unix-error-reporting macro -Leaked slot names: cl:documentation, options - option: cl:documentation - option-parser: options - Classes: cl:t sb-pcl::slot-object + cl:condition + cl:serious-condition + cl:error + option-parse-error [cl:simple-condition] + cl:simple-condition + option-parse-error [cl:error] cl:structure-object option option-parser @@ -2020,6 +2215,10 @@ utilities.lisp Classes: cl:t sb-pcl::slot-object + cl:condition + cl:serious-condition + cl:error + inconsistent-merge-error cl:standard-object sb-mop:metaobject sb-mop:specializer