This is the meta-sexp Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 07:02:16 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
meta-sexp
packages.lisp
(file).
util.lisp
(file).
meta-sexp.lisp
(file).
atoms.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
meta-sexp/meta-sexp.asd
meta-sexp/packages.lisp
meta-sexp/util.lisp
meta-sexp/meta-sexp.lisp
meta-sexp/atoms.lisp
meta-sexp/meta-sexp.asd
meta-sexp
(system).
+meta-sexp-version+
(constant).
meta-sexp/util.lisp
packages.lisp
(file).
meta-sexp
(system).
char-accum-push
(function).
empty-char-accum-p
(function).
empty-list-accum-p
(function).
list-accum-push
(macro).
make-char-accum
(function).
make-list-accum
(function).
reset-char-accum
(function).
reset-list-accum
(macro).
with-unique-names
(macro).
meta-sexp/meta-sexp.lisp
util.lisp
(file).
meta-sexp
(system).
create-parser-context
(generic function).
defatom
(macro).
defrenderer
(macro).
defrule
(macro).
transform-grammar
(generic function).
checkpoint
(function).
commit
(function).
copy-parser-context
(function).
make-parser-context
(function).
match-atom
(function).
match-rule
(macro).
match-type
(macro).
parser-context
(structure).
parser-context-attachment
(reader).
(setf parser-context-attachment)
(writer).
parser-context-checkpoints
(reader).
(setf parser-context-checkpoints)
(writer).
parser-context-cursor
(reader).
(setf parser-context-cursor)
(writer).
parser-context-data
(reader).
parser-context-icases
(reader).
(setf parser-context-icases)
(writer).
parser-context-p
(function).
parser-context-size
(reader).
peek-atom
(function).
read-atom
(function).
rollback
(function).
meta-sexp/atoms.lisp
meta-sexp.lisp
(file).
meta-sexp
(system).
alnum?
(function).
alnum?
(type).
alpha?
(function).
alpha?
(type).
ascii?
(function).
ascii?
(type).
bit?
(function).
bit?
(type).
digit?
(function).
digit?
(type).
extended?
(function).
extended?
(type).
graphic?
(function).
graphic?
(type).
lower?
(function).
lower?
(type).
newline?
(function).
newline?
(type).
space?
(function).
space?
(type).
tab?
(function).
tab?
(type).
upper?
(function).
upper?
(type).
white-space?
(function).
white-space?
(type).
Packages are listed by definition order.
meta-sexp
LL(1) parser generator in META using s-expressions.
common-lisp
.
alnum?
(function).
alnum?
(type).
alpha?
(function).
alpha?
(type).
ascii?
(function).
ascii?
(type).
bit?
(function).
bit?
(type).
char-accum-push
(function).
create-parser-context
(generic function).
defatom
(macro).
defrenderer
(macro).
defrule
(macro).
digit?
(function).
digit?
(type).
empty-char-accum-p
(function).
empty-list-accum-p
(function).
extended?
(function).
extended?
(type).
graphic?
(function).
graphic?
(type).
list-accum-push
(macro).
lower?
(function).
lower?
(type).
make-char-accum
(function).
make-list-accum
(function).
newline?
(function).
newline?
(type).
reset-char-accum
(function).
reset-list-accum
(macro).
space?
(function).
space?
(type).
tab?
(function).
tab?
(type).
transform-grammar
(generic function).
upper?
(function).
upper?
(type).
white-space?
(function).
white-space?
(type).
checkpoint
(function).
commit
(function).
copy-parser-context
(function).
make-parser-context
(function).
match-atom
(function).
match-rule
(macro).
match-type
(macro).
parser-context
(structure).
parser-context-attachment
(reader).
(setf parser-context-attachment)
(writer).
parser-context-checkpoints
(reader).
(setf parser-context-checkpoints)
(writer).
parser-context-cursor
(reader).
(setf parser-context-cursor)
(writer).
parser-context-data
(reader).
parser-context-icases
(reader).
(setf parser-context-icases)
(writer).
parser-context-p
(function).
parser-context-size
(reader).
peek-atom
(function).
read-atom
(function).
rollback
(function).
with-unique-names
(macro).
meta-sexp-asd
asdf/interface
.
common-lisp
.
+meta-sexp-version+
(constant).
Definitions are sorted by export status, category, package, and then by lexicographic order.
META grammar transformation methods.
(eql t)
) (directive (eql :debug)
) &optional args) ¶(:DEBUG)
(:DEBUG VAR)
Print current character and its position in the input data. If VAR is specified, print the value of the VAR.
(eql t)
) (directive (eql :read-atom)
) &optional args) ¶(:READ-ATOM)
Reads current atom at the cursor position and returns read atom.
(eql t)
) (directive (eql :eof)
) &optional args) ¶(:EOF)
Returns T when reached to the end of supplied input data.
(eql t)
) (directive (eql :char-reset)
) &optional args) ¶(:CHAR-RESET CHAR-ACCUM)
Resets supplied CHAR-ACCUM.
(eql t)
) (directive (eql :char-push)
) &optional args) ¶(:CHAR-PUSH CHAR-VAR CHAR-ACCUM)
(:CHAR-PUSH CHAR-ACCUM)
Pushes supplied CHAR-VAR into specified CHAR-ACCUM. If called with a single argument, current character gets read and pushed into supplied accumulator. (See MAKE-CHAR-ACCUM and EMPTY-CHAR-ACCUM-P.)
(eql t)
) (directive (eql :list-reset)
) &optional args) ¶(:LIST-RESET LIST-ACCUM)
Resets supplied LIST-ACCUM.
(eql t)
) (directive (eql :list-push)
) &optional args) ¶(:LIST-PUSH ITEM-VAR LIST-ACCUM)
Pushes ITEM-VAR into the specified LIST-ACCUM. (See MAKE-LIST-ACCUM and EMPTY-LIST-ACCUM-P.)
(eql t)
) (directive (eql :assign)
) &optional args) ¶(:ASSIGN VAR FORM)
(:ASSIGN (VAR1 VAR2 ...) FORM)
Assigns returned value of FORM to VAR, and returns assigned value. (Latter form works similar to MULTIPLE-VALUE-SETQ.)
(eql t)
) (directive (eql :rule)
) &optional args) ¶(:RULE RULE ARG ARG ...)
(:RULE (OR RULE RULE ...) ARG ARG ...)
Tests input in the current cursor position using specified type/form. If any, supplied arguments will get passed to rule.
(eql t)
) (directive (eql :type)
) &optional args) ¶(:TYPE TYPE-CHECKER)
(:TYPE (OR TYPE-CHECKER TYPE-CHECKER ...))
Checks type of the atom at the current position through supplied function(s).
(eql t)
) (directive (eql :+)
) &optional args) ¶(:+ FORM FORM ...)
Sequentially evaluates supplied FORMs within an AND scope, and repeats this process till FORMs return NIL. Scope returns T if FORMs returned T once or more, otherwise returns NIL. (Similar to ‘{1,}’ in regular expressions.)
(eql t)
) (directive (eql :*)
) &optional args) ¶(:* FORM FORM ...)
Sequentially evaluates supplied FORMs within an AND scope until it returns NIL. Regardless of the return value of ANDed FORMs, block returns T. (Similar to ‘*’ in regular expressions.)
(eql t)
) (directive (eql :?)
) &optional args) ¶(:? FORM FORM ...)
Sequentially evaluates supplied FORMs within an AND scope and regardless of the return value of ANDed FORMs, block returns T. (Similar to ‘?’ in regular expressions.)
(eql t)
) (directive (eql :render)
) &optional args) ¶(:RENDER RENDERER ARG ARG ...)
Calls specified renderer (which is defined with DEFRENDERER) with the supplied arguments.
(eql t)
) (directive (eql :return)
) &optional args) ¶(:RETURN VALUE VALUE ...)
Returns from the rule with supplied VALUEs.
(eql t)
) (directive (eql :not)
) &optional args) ¶(:NOT FORM)
Identical to (NOT FORM). (FORM is encapsulated within a :CHECKPOINT before getting evaluated.)
(eql t)
) (directive (eql :or)
) &optional args) ¶(:OR FORM FORM ...)
Sequentially evalutes FORMs identical to OR.
(eql t)
) (directive (eql :and)
) &optional args) ¶(:AND FORM FORM ...)
Sequentially evaluates FORMs identical to AND.
(eql t)
) (directive (eql :checkpoint)
) &optional args) ¶(:CHECKPOINT FORM FORM ...)
Sequentially evaluates supplied forms and if any of them fails, moves cursor back to its start position :CHECKPOINT began.
(eql t)
) (directive (eql :icase)
) &optional args) ¶(:ICASE FORM FORM ...)
Make case-insensitive atom comparison in supplied FORMs.
The most unspecific transformation method.
(eql t)
) (directive string
) &optional args) ¶Transforms a string form.
(eql t)
) (directive character
) &optional args) ¶Transforms a character form.
Syntax: WITH-UNIQUE-NAMES ( { var | (var x) }* ) declaration* form*
Executes a series of forms with each VAR bound to a fresh,
uninterned symbol. The uninterned symbol is as if returned by a call
to GENSYM with the string denoted by X - or, if X is not supplied, the
string denoted by VAR - as argument.
The variable bindings created are lexical unless special declarations
are specified. The scopes of the name bindings and declarations do not
include the Xs.
The forms are evaluated in order, and the values of all but the last are discarded (that is, the body is an implicit PROGN).
structure-object
.
string
This slot is read-only.
unsigned-byte
This slot is read-only.
unsigned-byte
0
Jump to: | (
A B C D E F G L M N P R S T U W |
---|
Jump to: | (
A B C D E F G L M N P R S T U W |
---|
Jump to: | +
A C D I S |
---|
Jump to: | +
A C D I S |
---|
Jump to: | A B D E F G L M N P S T U W |
---|
Jump to: | A B D E F G L M N P S T U W |
---|