3 %%% Class layout and method combination protocols
5 %%% (c) 2015 Straylight/Edgeware
8 %%%----- Licensing notice ---------------------------------------------------
10 %%% This file is part of the Sensble Object Design, an object system for C.
12 %%% SOD is free software; you can redistribute it and/or modify
13 %%% it under the terms of the GNU General Public License as published by
14 %%% the Free Software Foundation; either version 2 of the License, or
15 %%% (at your option) any later version.
17 %%% SOD is distributed in the hope that it will be useful,
18 %%% but WITHOUT ANY WARRANTY; without even the implied warranty of
19 %%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 %%% GNU General Public License for more details.
22 %%% You should have received a copy of the GNU General Public License
23 %%% along with SOD; if not, write to the Free Software Foundation,
24 %%% Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
26 \chapter{Class layout and method combination
}
28 %%%--------------------------------------------------------------------------
29 \section{Class layout protocol
} \label{sec:layout.instance
}
31 \begin{describe
}{fun
}{islots-struct-tag @<class> @> @<string>
}
34 \begin{describe
}{fun
}{ichain-struct-tag @<class> @<chain-head> @> @<string>
}
37 \begin{describe
}{fun
}{ichain-union-tag @<class> @<chain-head> @> @<string>
}
40 \begin{describe
}{fun
}{ilayout-struct-tag @<class> @> @<string>
}
43 \begin{describe
}{fun
}{vtmsgs-struct-tag @<class> @<super> @> @<string>
}
46 \begin{describe
}{fun
}{vtable-union-tag @<class> @<chain-head> @> @<string>
}
49 \begin{describe
}{fun
}{vtable-struct-tag @<class> @<chain-head> @> @<string>
}
52 \begin{describe
}{fun
}{vtable-name @<class> @<chain-head> @> @<string>
}
55 \begin{describe
}{fun
}{message-macro-name @<class> @<entry> @> @<string>
}
58 \begin{describe
}{cls
}{effective-slot () \&key :class :slot :initializer
}
62 {\dhead{gf
}{effective-slot-class @<slot> @> @<class>
}
63 \dhead{gf
}{effective-slot-direct-slot @<slot> @> @<direct-slot>
}
64 \dhead{gf
}{effective-slot-initializer @<slot> @> @<init-or-nil>
}}
68 {find-slot-initializer @<class> @<slot> @> @<init-or-nil>
}
72 {compute-effective-slot @<class> @<slot> @> @<effective-slot>
}
76 {sod-class-effective-slot (effective-slot) \\
\ind
77 \&key :class :slot :initializer-function :prepare-function
}
81 {\dhead{gf
}{effective-slot-initializer-function @<slot> @> @<function>
}
82 \dhead{gf
}{effective-slot-prepare-function @<slot> @> @<function>
}}
85 \begin{describe
}{cls
}{islots () \&key :class :subclass :slots
}
89 {\dhead{gf
}{islots-class @<islots> @> @<class>
}
90 \dhead{gf
}{islots-subclass @<islots> @> @<class>
}
91 \dhead{gf
}{islots-slots @<islots> @> @<list>
}}
94 \begin{describe
}{gf
}{compute-islots @<class> @<subclass> @> @<islots>
}
97 \begin{describe
}{gf
}{vtable-pointer () \&key :class :chain-head :chain-tail
}
101 {\dhead{gf
}{vtable-pointer-class @<vtable-pointer> @> @<class>
}
102 \dhead{gf
}{vtable-pointer-chain-head @<vtable-pointer> @> @<class>
}
103 \dhead{gf
}{vtable-pointer-chain-tail @<vtable-pointer> @> @<class>
}}
106 \begin{describe
}{gf
}{ichain () \&key :class :chain-head :chain-tail :body
}
110 {\dhead{gf
}{ichain-class @<ichain> @> @<class>
}
111 \dhead{gf
}{ichain-chain-head @<ichain> @> @<class>
}
112 \dhead{gf
}{ichain-chain-tail @<ichain> @> @<class>
}
113 \dhead{gf
}{ichain-body @<ichain> @> @<list>
}}
116 \begin{describe
}{gf
}{compute-ichain @<class> @<chain> @> @<ichain>
}
119 \begin{describe
}{gf
}{ilayout () \&key :class :ichains
}
123 {\dhead{gf
}{ilayout-class @<ilayout> @> @<class>
}
124 \dhead{gf
}{ilayout-ichains @<ilayout> @> @<list>
}}
127 \begin{describe
}{gf
}{compute-ilayout @<class> @> @<ilayout>
}
130 \begin{describe
}{cls
}
131 {vtmsgs () \&key :class :subclass :chain-head :chain-tail :entries
}
135 {\dhead{gf
}{vtmsgs-class @<vtmsgs> @> @<class>
}
136 \dhead{gf
}{vtmsgs-subclass @<vtmsgs> @> @<class>
}
137 \dhead{gf
}{vtmsgs-chain-head @<vtmsgs> @> @<class>
}
138 \dhead{gf
}{vtmsgs-chain-tail @<vtmsgs> @> @<class>
}
139 \dhead{gf
}{vtmsgs-entries @<vtmsgs> @> @<list>
}}
142 \begin{describe
}{cls
}
143 {class-pointer () \&key :class :chain-head :metaclass :meta-chain-head
}
147 {\dhead{gf
}{class-pointer-class @<class-pointer> @> @<class>
}
148 \dhead{gf
}{class-pointer-chain-head @<class-pointer> @> @<class>
}
149 \dhead{gf
}{class-pointer-metaclass @<class-pointer> @> @<class>
}
150 \dhead{gf
}{class-pointer-meta-chain-head @<class-pointer> @> @<class>
}}
153 \begin{describe
}{fun
}
154 {make-class-pointer @<class> @<chain-head>
155 @<metaclass> @<meta-chain-head>
159 \begin{describe
}{cls
}{base-offset () \&key :class :chain-head
}
163 {\dhead{gf
}{base-offset-class @<base-offset> @> @<class>
}
164 \dhead{gf
}{base-offset-chain-head @<base-offset> @> @<class>
}}
167 \begin{describe
}{fun
}
168 {make-base-offset @<class> @<chain-head> @> @<base-offset>
}
171 \begin{describe
}{cls
}{chain-offset () \&key :class :chain-head :target-head
}
175 {\dhead{gf
}{chain-offset-class @<chain-offset> @> @<class>
}
176 \dhead{gf
}{chain-offset-chain-head @<chain-offset> @> @<class>
}
177 \dhead{gf
}{chain-offset-target-head @<chain-offset> @> @<class>
}}
180 \begin{describe
}{fun
}
181 {make-chain-offset @<class> @<chain-head> @<target-head>
185 \begin{describe
}{gf
}{vtable () \&key :class :chain-head :chain-tail :body
}
189 {\dhead{gf
}{vtable-class @<vtable> @> @<class>
}
190 \dhead{gf
}{vtable-chain-head @<vtable> @> @<class>
}
191 \dhead{gf
}{vtable-chain-tail @<vtable> @> @<class>
}
192 \dhead{gf
}{vtable-body @<vtable> @> @<list>
}}
196 {compute-vtable-items @<class> @<super>
197 @<chain-head> @<chain-tail>
201 \begin{describe
}{gf
}{compute-vtable @<class> @<chain> @> @<vtable>
}
204 \begin{describe
}{gf
}{compute-vtables @<class> @> @<list>
}
207 %%%--------------------------------------------------------------------------
208 \section{Method combination
} \label{sec:layout.methods
}
210 \begin{describe
}{cls
}{effective-method () \&key :message :class
}
214 {\dhead{gf
}{effective-method-message @<method> @> @<message>
}
215 \dhead{gf
}{effective-method-class @<method> @> @<class>
}}
218 \begin{describe
}{gf
}{message-effective-method-class @<message> @> @<class>
}
221 \begin{describe
}{gf
}{primary-method-class @<message> @> @<class>
}
225 {compute-sod-effective-method @<message> @<class> @> @<method>
}
228 \begin{describe
}{gf
}{compute-effective-methods @<class> @> @<list>
}
231 \begin{describe
}{cls
}
232 {method-entry () \&key :method :chain-head :chain-tail :role
}
236 {\dhead{gf
}{method-entry-effective-method @<method-entry> @> @<method>
}
237 \dhead{gf
}{method-entry-chain-head @<method-entry> @> @<class>
}
238 \dhead{gf
}{method-entry-chain-tail @<method-entry> @> @<class>
}
239 \dhead{gf
}{method-entry-role @<method-entry> @> @<role>
}}
243 {make-method-entries @<effective-method> @<chain-head> @<chain-tail>
248 \begin{describe
}{gf
}{sod-message-argument-tail @<message> @> @<list>
}
251 \begin{describe
}{gf
}{sod-message-no-varargs-tail @<message> @> @<list>
}
254 \begin{describe
}{gf
}{sod-method-function-type @<method> @> @<c-type>
}
257 \begin{describe
}{gf
}{sod-method-next-method-type @<method> @> @<c-type>
}
260 \begin{describe
}{gf
}{sod-method-function-name @<method> @> @<string>
}
263 \begin{describe
}{fun
}{varargs-message-p @<message> @> @<generalized-boolean>
}
266 \begin{describe
}{gf
}{method-entry-function-type @<entry> @> @<c-type>
}
269 \begin{describe
}{gf
}{method-entry-slot-name @<entry> @> @<string>
}
273 {method-entry-slot-name-by-role @<entry> @<role> @<name> @> @<string>
}
277 {effective-method-basic-argument-names @<method> @> @<list>
}
282 \begin{describe
}{cls
}
283 {method-codegen (codegen) \\
\ind
284 \&key :vars :insts :temp-index
285 :message :class :method :target
}
289 {\dhead{gf
}{codegen-message @<codegen> @> @<message>
}
290 \dhead{gf
}{codegen-class @<codegen> @> @<class>
}
291 \dhead{gf
}{codegen-method @<codegen> @> @<method>
}
292 \dhead{gf
}{codegen-target @<codegen> @> @<target>
}}
296 {\dhead{cls
}{convert-to-ilayout-inst (inst)
}
298 {make-convert-to-ilayout-inst @<class> @<chain-head> @<expr>
}}
300 SOD_ILAYOUT(@<class>, @<chain-head-nick>, @<expr>)
306 {compute-effective-method-body @<method> @<codegen> @<target>
}
309 \begin{describe
}{gf
}{simple-method-body @<method> @<codegen> @<target>
}
312 \begin{describe
}{fun
}
313 {invoke-method @<codegen> @<target> @<arguments-tail> @<direct-method>
}
316 \begin{describe
}{fun
}{ensure-ilayout-var @<codegen> @<super>
}
319 \begin{describe
}{fun
}{make-trampoline @<codegen> @<super> @<body-func>
}
322 \begin{describe
}{gf
}{effective-method-function-name @<method> @> @<string>
}
326 {method-entry-function-name @<method> @<chain-head> @<role> @> @<string>
}
329 \begin{describe
}{gf
}{compute-method-entry-functions @<method> @> @<list>
}
332 \begin{describe
}{fun
}
333 {invoke-delegation-chain @<codegen> @<target> @<basic-tail>
334 @<chain> @<kernel-func>
}
337 \begin{describe
}{cls
}
338 {basic-message (sod-message) \&key :name :location :class :type
}
341 \begin{describe
}{cls
}
342 {simple-message (basic-message) \&key :name :location :class :type
}
345 \begin{describe
}{cls
}
346 {basic-direct-method (sod-method)
347 \&key :message :location :class :type :body :role
}
350 \begin{describe
}{gf
}{sod-method-role @<method> @> @<role>
}
353 \begin{describe
}{cls
}
354 {daemon-direct-method (basic-direct-method) \\
\ind
355 \&key :message :location :class :type :body :role
}
358 \begin{describe
}{cls
}
359 {delegating-direct-method (basic-direct-method) \\
\ind
360 \&key :message :location :class :type :body :role
}
363 \begin{describe
}{cls
}
364 {basic-effective-method (effective-method) \\
\ind
365 \&key :message :class :around-methods :before-methods :after-methods
}
370 {effective-method-around-methods @<effective-method> @> @<list>
}
372 {effective-method-before-methods @<effective-method> @> @<list>
}
374 {effective-method-after-methods @<effective-method> @> @<list>
}
375 \dhead{gf
}{effective-method-functions @<effective-method> @> @<list>
}}
378 \begin{describe
}{cls
}
379 {simple-effective-method (basic-effective-method) \\
\ind
380 \&key :message :class
381 :around-methods :before-methods :after-methods :primary-methods
}
384 \begin{describe
}{fun
}
385 {basic-effective-method-body @<codegen> @<target> @<method> @<body>
}
388 \begin{describe
}{cls
}
389 {standard-message (simple-message) \&key :name :location :class :type
}
392 \begin{describe
}{cls
}
393 {standard-effective-method (simple-effective-method) \\
\ind
394 \&key :message :class
395 :around-methods :before-methods :after-methods :primary-methods
}
398 \begin{describe
}{cls
}
399 {aggregating-message (simple-message)
400 \&key :name :location :class :type :combination
}
404 {aggregating-message-properties @<message> @<combination> @> @<plist>
}
408 {compute-aggregating-message-kernel
409 \=@<message> @<combination> @<target> \+ \\
410 @<methods> @<arg-names> \&key
}
414 {check-aggregating-message-type @<message> @<combination> @<c-type>
}
417 \begin{describe
}{cls
}
418 {aggregating-effective-method (simple-effective-method) \\
\ind
419 \&key :message :class
420 :around-methods :before-methods :after-methods :primary-methods
}
423 \begin{describe
}{mac
}
424 {define-aggregating-method-combination @<combination> \\
\ind\ind
426 @
[[ :codegen @<codegen-var> @!
427 :methods @<methods-var> @
]]) \- \\
428 @
[[ \=:properties (@
{ (@
{ @<name> @! (@
[@<keyword>@
] @<name>) @
}
431 @
[@<suppliedp-var>@
]@
]) @
}^*) @! \+ \\
432 :return-type @<c-type> @! \\
433 :around @<around-func> @!
434 :first-method @<first-method-func> @!
435 :method @<method-func> @
]]}
438 %%% the method combination story
439 %% compute-effective-methods --> compute-sod-effective-method
441 %% hook-output (basic-effective-method :c)
442 %% basic-effective-method.functions
443 %% compute-method-entry-functions
444 %% compute-effective-method-body
446 %% compute-effective-method-body (simple-effective-method)
447 %% basic-effective-method-body
448 %% simple-method-body (standard-effective-method)
449 %% simple-method-body (aggregating-effective-method)
450 %% message-kernel-function
452 %%%----- That's all, folks --------------------------------------------------
456 %%% TeX-master: "sod.tex"