3 %%% Miscellaneous functionality
5 %%% (c) 2015 Straylight/Edgeware
8 %%%----- Licensing notice ---------------------------------------------------
10 %%% This file is part of the Sensible 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{Miscellaneous functionality
} \label{ch:misc
}
28 %%%--------------------------------------------------------------------------
29 \section{Utilities
} \label{sec:misc.utilities
}
31 These symbols are defined in the @|sod-utilities| package.
34 \subsection{Macro utilities
}
37 {with-gensyms (@
{ @<var> @! (@<var> @
[@<name>@
]) @
}^*) \\
\ind
43 {once-only (@
[[ :environment @<env> @
]]
44 @
{ @<var> @! (@<var> @
[@<value-form>@
]) @
}^*) \\
\ind
50 {parse-body @<body> \&key :docp :declp
51 @> @<doc-string> @<declarations> @<body-forms>
}
54 \begin{describe
}{fun
}{symbolicate \&rest @<symbols> @> @<symbol>
}
58 \subsection{Locatives
}
60 \begin{describe
}{cls
}{loc
}
63 \begin{describe
}{fun
}{locp @<object> @> @<generalized-boolean>
}
66 \begin{describe
}{mac
}{locf @<place> @> @<locative>
}
70 {\dhead{fun
}{ref @<locative> @> @<value>
}
71 \dhead{fun
}{setf (ref @<locative>) @<value>
}}
76 @
{ @<var> @! (@
{ @<var> @!
77 (@<var> @
[@<locative>@
]) @
}^*) @
} \\
\ind
83 \subsection{Anaphorics
}
85 \begin{describe
}{sym
}{it
}
88 \begin{describe
}{mac
}{aif @<condition> @<consequent> @
[@<alt>@
]}
91 \begin{describe
}{mac
}{aand @<form>^*
}
94 \begin{describe
}{mac
}{awhen @<condition> @<form>^*
}
97 \begin{describe
}{mac
}{acond @
{ (@<condition> @<form>^*) @
}^*
}
102 {acase @<scrutinee> @
{ (@
{ @<case> @! (@<case>^*) @
} @<form>^*) @
}^*
}
104 {aecase @<scrutinee> @
{ (@
{ @<case> @! (@<case>^*) @
} @<form>^*) @
}^*
}
105 \dhead{mac
}{atypecase @<scrutinee> @
{ (@<type> @<form>^*) @
}^*
}
106 \dhead{mac
}{aetypecase @<scrutinee> @
{ (@<type> @<form>^*) @
}^*
}}
109 \begin{describe
}{mac
}{asetf @
{ @<place> @<value> @
}^*
}
113 \subsection{Metaobject protocol utilities
}
115 \begin{describe
}{gf
}{instance-initargs @<instance>
}
119 {\dhead{fun
}{copy-instance @<instance> \&rest @<initargs>
}
120 \dhead{gf
}{copy-instance-using-class @<class> @<instance>
125 {\dhead{gf
}{generic-function-methods @<generic-function> @> @<list>
}
126 \dhead{gf
}{method-specializers @<method> @> @<list>
}
127 \dhead{cls
}{eql-specializer
}
128 \dhead{gf
}{eql-specializer-object @<specializer> @> @<value>
}}
132 \subsection{Other CLOS utilities
}
134 \begin{describe
}{mac
}
135 {default-slot (@<instance> @<slot> @
[@<slot-names>@
]) \\
\ind
139 \begin{describe
}{mac
}
140 {define-on-demand-slot @<class> @<slot> (@<instance>) \\
\ind
141 @
[[ @<declaration>^* @! @<doc-string> @
]] \\
146 \subsection{Building lists
}
148 \begin{describe
}{fun
}{make-list-builder \&optional @<initial> @> @<builder>
}
151 \begin{describe
}{fun
}{lbuild-add @<builder> @<item> @> @<builder>
}
154 \begin{describe
}{fun
}{lbuild-add-list @<builder> @<list> @> @<builder>
}
157 \begin{describe
}{fun
}{lbuild-list @<builder> @> @<list>
}
161 \subsection{Merging lists
}
163 \begin{describe
}{cls
}
164 {inconsistent-merge-error (error) \&key :candidates :present
}
167 \begin{describe
}{gf
}{merge-error-candidates @<error> @> @<list>
}
170 \begin{describe
}{gf
}{merge-error-present-function @<error> @> @<function>
}
173 \begin{describe
}{fun
}
174 {merge-lists @<lists> \&key :pick (:test \#'eql) :present @> @<list>
}
178 \subsection{Other list utilities
}
180 \begin{describe
}{fun
}
181 {mappend @<function> @<list> \&rest @<more-lists> @> @<result-list>
}
184 \begin{describe
}{mac
}
185 {categorize (\=@<item-var> @<items>
186 @
[[ :bind (@
{ @<var> @!
187 (@<var> @
[@<value>@
]) @
}^*) @
]])
189 (@
{ (@<cat-var> @<cat-predicate>) @
}^*) \-\\
195 \begin{describe
}{fun
}{partial-order-minima @<items> @<order> @> @<list>
}
198 \begin{describe
}{fun
}
199 {find-duplicates @<
report> @<sequence> \&key :identity :test
}
203 \subsection{Position tracking
}
205 \begin{describe
}{fun
}
206 {update-position @<character> @<line> @<column>
207 @> @<new-line> @<new-column>
}
210 \begin{describe
}{fun
}
211 {backtrack-position @<character> @<line> @<column>
212 @> @<old-line> @<old-column>
}
216 \subsection{Object printing
}
218 \begin{describe
}{mac
}
219 {maybe-print-unreadable-object
222 :identity @<identity> @
]]) \\
\ind
227 \begin{describe
}{fun
}{print-ugly-stuff @<stream> @<func> @> @<value>^*
}
231 \subsection{Condition utilities
}
233 \begin{describe
}{cls
}
234 {simple-control-error (control-error simple-error)
235 \&key :format-control :format-arguments
}
238 \begin{describe
}{fun
}
239 {designated-condition
240 \=@<default-type> @<datum> @<arguments> \\
241 \>\&key :allow-pointless-arguments
245 \begin{describe
}{fun
}
246 {invoke-associated-restart @<restart> @<condition> \&rest @<arguments>
}
250 {\dhead{cls
}{enclosing-condition (condition) \&key :condition
}
251 \dhead{gf
}{enclosed-condition @<enclosing-condition> @> @<condition>
}}
254 \begin{describe
}{cls
}{information (condition) \&key
}
257 \begin{describe
}{cls
}
258 {simple-information (simple-condition information) \\
\ind
259 \&key :format-control :format-arguments
}
263 {\dhead{fun
}{info @<datum> \&rest @<arguments> @> @<flag>
}
265 \dhead{fun
}{noted \&optional @<condition>
}}
268 \begin{describe
}{fun
}
269 {promiscuous-cerror @<continue-string> @<datum> \&rest @<arguments>
}
272 \begin{describe
}{fun
}{cerror* @<datum> \&rest @<arguments>
}
276 \subsection{Very miscellaneous utilities
}
278 \begin{describe
}{fun
}
279 {whitespace-char-p @<character> @> @<generalized-boolean>
}
282 \begin{describe
}{fun
}
283 {frob-identifier @<string> \&key :swap-case :swap-hyphen
284 @> @<frobbed-string>
}
287 \begin{describe
}{fun
}
288 {compose @<function> \&rest @<more-functions> @> @<function>
}
291 \begin{describe
}{mac
}{defvar-unbound @<name> @<documentation> @> @<name>
}
294 \begin{describe
}{mac
}
295 {dosequence (@<var> @<sequence>
296 @
[[ :start @<start> @! :end @<end> @!
297 :indexvar @<var> @
]]) \\
\ind
299 @
{ @<tag> @! @<statement> @
}^*
}
302 \begin{describe
}{mac
}
303 {define-access-wrapper @<from> @<to>
304 @
[[ :read-only @<read-only-flag> @
]]}
307 \begin{describe
}{fun
}
308 {distinguished-point-shortest-paths @<root> @<neighbours-func>
312 %%%--------------------------------------------------------------------------
313 \section{Option parser
} \label{sec:misc.optparse
}
315 These symbols are defined in the @|optparse| package.
317 \begin{describe
}{fun
}{exit \&optional (@<code>
0) \&key :abrupt
}
320 \begin{describe
}{var
}{*program-name*
}
323 \begin{describe
}{var
}{*command-line*
}
326 \begin{describe
}{fun
}{set-command-line-arguments
}
329 \begin{describe
}{fun
}{moan @<format-string> \&rest @<format-args>
}
332 \begin{describe
}{fun
}{die @<format-string> \&rest @<format-args>
}
335 \begin{describe
}{var
}{*options*
}
338 \begin{describe
}{cls
}{option
}
341 \begin{describe
}{fun
}{optionp @<object> @> @<generalized-boolean>
}
344 \begin{describe
}{fun
}
345 {make-option \=@<long-name> @<short-name> \+\\
346 \&optional @<arg-name> \\
347 \&key :tag :negated-tag
348 :arg-optional-p :documentation \-
353 {\dhead{fun
}{opt-short-name @<option> @> @<character-or-null>
}
354 \dhead{fun
}{setf (opt-short-name @<option>) @<character-or-null>
}
355 \dhead{fun
}{opt-long-name @<option> @> @<string-or-null>
}
356 \dhead{fun
}{setf (opt-long-name @<option>) @<string-or-null>
}
357 \dhead{fun
}{opt-tag @<option> @> @<tag>
}
358 \dhead{fun
}{setf (opt-tag @<option>) @<tag>
}
359 \dhead{fun
}{opt-negated-tag @<option> @> @<tag>
}
360 \dhead{fun
}{setf (opt-negated-tag @<option>) @<tag>
}
361 \dhead{fun
}{opt-arg-name @<option> @> @<string-or-null>
}
362 \dhead{fun
}{setf (opt-arg-name @<option>) @<string-or-null>
}
363 \dhead{fun
}{opt-optional-p @<option> @> @<generalized-boolean>
}
364 \dhead{fun
}{setf (opt-optional-p @<option>) @<generalized-boolean>
}
365 \dhead{fun
}{opt-documentation @<option> @> @<string-or-null>
}
366 \dhead{fun
}{setf (opt-documentation @<option>) @<string-or-null>
}}
369 \begin{describe
}{cls
}{option-parser
}
372 \begin{describe
}{fun
}{option-parser-p @<object> @> @<generalized-boolean>
}
375 \begin{describe
}{fun
}
376 {make-option-parser \&key \=:args :options :non-option :numericp \+ \\
377 :negated-numeric-p long-only-p \-
378 \nlret @<option-parser>
}
382 {\dhead{fun
}{op-options @<option-parser> @> @<list>
}
383 \dhead{fun
}{setf (op-options @<option-parser>) @<list>
}
384 \dhead{fun
}{op-non-option @<option-parser> @> @<action>
}
385 \dhead{fun
}{setf (op-non-option @<option-parser>) @<action>
}
386 \dhead{fun
}{op-long-only-p @<option-parser> @> @<generalized-boolean>
}
387 \dhead{fun
}{setf (op-long-only-p @<option-parser>) @<generalized-boolean>
}
388 \dhead{fun
}{op-numeric-p @<option-parser> @> @<generalized-boolean>
}
389 \dhead{fun
}{setf (op-numeric-p @<option-parser>) @<generalized-boolean>
}
390 \dhead{fun
}{op-negated-numeric-p @<option-parser> @<generalized-boolean>
}
391 \dhead{fun
}{setf (op-negated-numeric-p @<option-parser>) @<generalized-boolean>
}
392 \dhead{fun
}{op-negated-p @<option-parser> @> @<generalized-boolean>
}
393 \dhead{fun
}{setf (op-negated-p @<option-parser>) @<generalized-boolean>
}}
396 \begin{describe
}{cls
}
397 {option-parse-error (error simple-condition)
398 \&key :format-control :format-arguments
}
401 \begin{describe
}{fun
}{option-parse-remainder @<option-parser>
}
404 \begin{describe
}{fun
}{option-parse-return @<tag> \&optional @<argument>
}
407 \begin{describe
}{fun
}{option-parse-next @<option-parser>
}
410 \begin{describe
}{mac
}{option-parse-try @<form>^*
}
413 \begin{describe
}{mac
}{with-unix-error-reporting () @<form>^*
}
416 \begin{describe
}{mac
}
417 {defopthandler @<name> (@<var> @
[@<arg>@
]) @<lambda-list> \\
\ind
418 @
[[ @<declaration>^* @! @<doc-string> @
]] \\
422 \begin{describe
}{fun
}
423 {invoke-option-handler @<handler> @<locative> @<arg> @<arguments>
}
426 \begin{describe
}{opt
}{set \&optional @<value>
}
429 \begin{describe
}{opt
}{clear \&optional @<value>
}
432 \begin{describe
}{opt
}{inc \&optional @<maximum> @<step>
}
435 \begin{describe
}{opt
}{dec \&optional @<minimum> @<step>
}
438 \begin{describe
}{opt
}{read
}
441 \begin{describe
}{opt
}{int \&key :radix :min :max
}
444 \begin{describe
}{opt
}{string
}
447 \begin{describe
}{opt
}{keyword \&optional @<valid>
}
450 \begin{describe
}{opt
}{list \&optional @<handler> \&rest @<handler-args>
}
453 \begin{describe
}{mac
}
454 {defoptmacro @<name> @<lambda-list> \\
\ind
455 @
[[ @<declaration>^* @! @<doc-string> @
]] \\
459 \begin{describe
}{fun
}{parse-option-form @<form>
}
462 \begin{describe
}{mac
}
463 {options @
{ \=@<string> @! \+ \\
464 @<option-macro> @! (@<option-macro> @<macro-arg>^*) @! \\
465 (@
[[ \=@<character> @! (:short-name @<character>) @! \+ \\
466 @<string>^* @! @<symbol> @! @<rational> @!
467 (:long-name @<string>) @! \\
468 (@<string> @<format-arg>^+) @!
469 (:doc @<string> @<format-arg>^*) @! \\
470 (:arg @<arg-name>) @! (:opt-arg @<arg-name>) @! \\
471 @<keyword> @! (:tag @<tag>) @!
472 (:negated-tag @<tag>) @! \\
473 @
{ (@<handler> @<var> @<handler-arg>^*) @
}^*
477 \begin{describe
}{fun
}
478 {simple-usage @<option-list> \&optional @<mandatory-args> @> @<list>
}
481 \begin{describe
}{fun
}{show-usage @<prog> @<usage> \&optional @<stream>
}
484 \begin{describe
}{fun
}
485 {show-help @<prog> @<usage> @<option-list> \&optional @<stream>
}
488 \begin{describe
}{fun
}{sanity-check-option-list @<option-list>
}
493 \dhead{var
}{*version*
}
494 \dhead{var
}{*usage*
}}
497 \begin{describe
}{fun
}{do-usage \&optional @<stream>
}
500 \begin{describe
}{fun
}{die-usage
}
503 \begin{describe
}{optmac
}
504 {help-options \&key :short-help :short-version :short-usage
}
507 \begin{describe
}{fun
}
508 {define-program \&key \=:program-name \+ \\
509 :help :version :usage :full-usage \\
513 \begin{describe
}{mac
}
514 {do-options (@
[[ :parser @<option-parser> @
]]) \\
\ind
515 @
{ (@
{ @<case> @! (@<case>^*)@
} (@
[@
[@<opt-var>@
] @<arg-var>@
])
519 %%%--------------------------------------------------------------------------
520 \section{Property sets
} \label{sec:misc.pset
}
522 \begin{describe
}{fun
}{property-key @<name> @> @<keyword>
}
525 \begin{describe
}{gf
}{decode-property @<raw-value> @> @<type> @<value>
}
528 \begin{describe
}{cls
}{property
}
531 \begin{describe
}{fun
}{propertyp @<object> @> @<generalized-boolean>
}
534 \begin{describe
}{fun
}
535 {make-property @<name> @<raw-value> \&key :type :location :seenp
}
539 {\dhead{fun
}{p-name @<property> @> @<name>
}
540 \dhead{fun
}{p-value @<property> @> @<value>
}
541 \dhead{fun
}{p-type @<property> @> @<type>
}
542 \dhead{fun
}{p-key @<property> @> @<symbol>
}
543 \dhead{fun
}{p-seenp @<property> @> @<boolean>
}
544 \dhead{fun
}{setf (p-seenp @<property>) @<boolean>
}}
548 {coerce-property-value @<value> @<type> @<wanted> @> @<coerced-value>
}
551 \begin{describe
}{cls
}{pset
}
554 \begin{describe
}{fun
}{psetp @<object> @> @<generalized-boolean>
}
557 \begin{describe
}{fun
}{make-pset @> @<pset>
}
560 \begin{describe
}{fun
}{pset-get @<pset> @<key> @> @<property-or-nil>
}
563 \begin{describe
}{fun
}{pset-store @<pset> @<property> @> @<property>
}
566 \begin{describe
}{fun
}{pset-map @<func> @<pset>
}
569 \begin{describe
}{mac
}
570 {with-pset-iterator (@<iter> @<pset>) @<declaration>^* @<form>^*
}
573 \begin{describe
}{fun
}
574 {store-property @<pset> @<name> @<value> \&key :type :location
578 \begin{describe
}{fun
}
579 {get-property @<pset> @<name> @<type> \&optional @<default>
580 @> @<value> @<floc-or-nil>
}
583 \begin{describe
}{fun
}
584 {add-property @<pset> @<name> @<value> \&key :type :location
588 \begin{describe
}{fun
}{make-property-set \&rest @<plist> @> @<pset>
}
591 \begin{describe
}{gf
}{property-set @<thing> @> @<pset>
}
594 \begin{describe
}{fun
}{check-unused-properties @<pset>
}
597 \begin{describe
}{mac
}
598 {default-slot-from-property
599 (@<instance> @<slot> @
[@<slot-names>@
]) \\
\ind\ind
600 (@<pset> @<property> @<type> @
[@<prop-var> @<convert-form>^*@
]) \- \\
605 \begin{describe
}{fun
}
606 {parse-property @<scanner> @<pset>
607 @> @<result> @<success-flag> @<consumed-flag>
}
610 \begin{describe
}{fun
}
611 {parse-property-set @<scanner>
612 @> @<result> @<success-flag> @<consumed-flag>
}
615 %%%--------------------------------------------------------------------------
616 \section{Miscellaneous translator features
} \label{sec:misc.misc
}
618 \begin{describe
}{var
}{*sod-version*
}
621 \begin{describe
}{var
}{*debugout-pathname*
}
624 \begin{describe
}{fun
}
625 {test-module @<path> \&key :reason :clear :backtrace @> @<status>
}
628 \begin{describe
}{fun
}
629 {test-parse-c-type @<string>
630 @> t @<c-type> @<kernel> @<string> @! nil @<indicator>
}
633 \begin{describe
}{fun
}
634 {test-parse-pset @<string>
635 @> t @<pset> @! nil @<indicator>
}
638 \begin{describe
}{mac
}
639 {test-parser (@<scanner> \&key :backtrace) @<parser> @<input>
640 @> @<result> @<status> @<remainder>
}
643 \begin{describe
}{fun
}{exercise
}
646 \begin{describe
}{fun
}{sod-frontend:main
}
649 %%%----- That's all, folks --------------------------------------------------
653 %%% TeX-master: "sod.tex"