The one-more-re-nightmare Reference Manual

Table of Contents

The one-more-re-nightmare Reference Manual

This is the one-more-re-nightmare Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Sun May 15 05:42:42 2022 GMT+0.

1 Introduction

one-more-re-nightmare

one-more-re-nightmare is a regular expression engine that uses the technique presented in Regular-expression derivatives revisited to interpret and compile regular expressions. We use a few tricks to make matching quite fast:

• We use a deterministic finite automaton to have O(n) runtime.
• We run the Common Lisp compiler to generate machine code, rather than interpreting a DFA or bytecode, or jumping through closures (like CL-PPCRE does).
• We generate specialised code for each array type, so everything is inlined.
• If you use the one-more-re-nightmare-simd system on SBCL 2.1.10 or newer with AVX2, we even use vectorised scanning of constant prefixes of regular expressions.

Thanks to Gilbert Baumann for suggesting I use derivatives to compile regular expressions, and then for informing me of how to handle submatching properly, and my discrete mathematics teachers for formally introducing me to finite state machines.

Please see the reference book for how to use one-more-re-nightmare, or an article on the history and theory involved.

While the syntax is admittedly wonky (but somewhat more like how regular expressions are presented in papers), one-more-re-nightmare makes its best effort to implement POSIX semantics for matching (as described in the specification for how regcomp works and regular expression definitions). Any behaviour contrary to POSIX is a bug.

A lousy benchmark

CL-USER> (let ((s (make-string 1000000 :initial-element #\a)))
           (setf (aref s 333333) #\b)
           (setf (aref s 555555) #\c)
           (the-cost-of-nothing:bench
            (all-string-matches "ab|ac" s)))

CL-USER> (let ((s (make-string 1000000 :initial-element #\a)))
           (setf (aref s 333333) #\b)
           (setf (aref s 555555) #\c)
           (the-cost-of-nothing:bench
            (cl-ppcre:all-matches-as-strings "ab|ac" s)))

Note that, by nature of calling the Common Lisp compiler, one-more-re-nightmare will take longer to compile a regular expression, so it is better suited for many matching operations with few expressions. It does cache compiled expressions when using the high-level interface, so the initial cost may amortize well over many calls; and constant regular expression strings are compiled at compile-time, with no runtime overhead whatsoever.

| engine | SBCL | Clozure CL | SBCL with AVX2 | ditto, SIMPLE-BASE-STRING | |------------------|-----------|------------|----------------|---------------------------| | o-m-r-n | 0.57ms | 2.93ms | 0.18ms | 55µs | | compilation time | 4.65ms | 3.76ms | 6.82ms | 6.43ms | | cl-ppcre | 22.8ms | 45.3ms | 22.8ms | 21.6ms | | break even after | 209kchars | 88.7kchars | 301kchars | 305kchars |

2 Systems

The main system appears first, followed by any subsystem dependency.

2.1 one-more-re-nightmare

Author

Hayley Patton

License

BSD 2-clause

Description

A regular expression compiler

Dependencies

• trivia
• alexandria
• babel
• esrap
• trivial-indent
• dynamic-mixins
• stealth-mixin
• bordeaux-threads

Source

one-more-re-nightmare.asd (file)

Components

• package.lisp (file)
• dfa-construction (module)
• compiler (module)
• interface (module)

3 Modules

Modules are listed depth-first from the system components tree.

3.1 one-more-re-nightmare/DFA-construction

Dependency

package.lisp (file)

Parent

one-more-re-nightmare (system)

Location

DFA-construction/

Components

• type.lisp (file)
• sets.lisp (file)
• re-types.lisp (file)
• nullable.lisp (file)
• derivative.lisp (file)
• derivative-classes.lisp (file)
• empty.lisp (file)
• effects.lisp (file)
• similar.lisp (file)
• tag-sets.lisp (file)
• make-dfa.lisp (file)

3.2 one-more-re-nightmare/Compiler

Dependency

dfa-construction (module)

Parent

one-more-re-nightmare (system)

Location

Compiler/

Components

• layout.lisp (file)
• compilation-strategy.lisp (file)
• length-inference.lisp (file)
• optimize-settings.lisp (file)
• code-generation.lisp (file)

3.3 one-more-re-nightmare/Interface

Dependency

compiler (module)

Parent

one-more-re-nightmare (system)

Location

Interface/

Components

• syntax.lisp (file)
• convert-to-bytes.lisp (file)
• code-cache.lisp (file)
• lint.lisp (file)
• interface.lisp (file)

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.

4.1 Lisp

4.1.1 one-more-re-nightmare.asd

Location

one-more-re-nightmare.asd

Systems

one-more-re-nightmare (system)

4.1.2 one-more-re-nightmare/package.lisp

Parent

one-more-re-nightmare (system)

Location

package.lisp

Packages

one-more-re-nightmare

4.1.3 one-more-re-nightmare/DFA-construction/type.lisp

Parent

dfa-construction (module)

Location

DFA-construction/type.lisp

Internal Definitions

• *table-names* (special variable)
• +uncomputed+ (constant)
• cached-has-tags-p (method)
• (setf cached-has-tags-p) (method)
• cached-nullable (method)
• (setf cached-nullable) (method)
• cached-nullable-no-gensym (method)
• (setf cached-nullable-no-gensym) (method)
• cached-removed-tags (method)
• (setf cached-removed-tags) (method)
• cached-tags (method)
• (setf cached-tags) (method)
• cached-used-tags (method)
• (setf cached-used-tags) (method)
• clear-global-tables (macro)
• define-hash-consing-table (macro)
• define-rewrites (macro)
• define-types (macro)
• regular-expression (class)
• with-hash-consing (macro)
• with-hash-consing-tables (macro)
• with-slot-consing (macro)

4.1.4 one-more-re-nightmare/DFA-construction/sets.lisp

Parent

dfa-construction (module)

Location

DFA-construction/sets.lisp

Internal Definitions

• +empty-set+ (constant)
• +universal-set+ (constant)
• fold-or (function)
• isum-case (macro)
• isum-op (macro)
• make-test-form (function)
• print-isum (function)
• set-intersection (function)
• set-inverse (function)
• set-null (function)
• set-union (function)
• singleton-set (function)
• symbol-range (function)
• symbol-set (function)
• symbol-set-difference (function)

4.1.5 one-more-re-nightmare/DFA-construction/re-types.lisp

Parent

dfa-construction (module)

Location

DFA-construction/re-types.lisp

Internal Definitions

• %alpha (function)
• %both (function)
• %either (function)
• %empty-string (function)
• %grep (function)
• %invert (function)
• %join (function)
• %kleene (function)
• %literal (function)
• %tag-set (function)
• *alpha-table* (special variable)
• *both-table* (special variable)
• *either-table* (special variable)
• *empty-string-table* (special variable)
• *grep-table* (special variable)
• *invert-table* (special variable)
• *join-table* (special variable)
• *kleene-table* (special variable)
• *literal-table* (special variable)
• *subscripts* (special variable)
• *tag-set-table* (special variable)
• alpha (function)
• alpha (class)
• both (function)
• both (class)
• either (function)
• either (class)
• empty-set (function)
• empty-string (function)
• empty-string (class)
• grep (function)
• grep (class)
• group (function)
• invert (function)
• invert (class)
• join (function)
• join (class)
• kleene (function)
• kleene (class)
• literal (function)
• literal (class)
• scan-either-for-duplicates (function)
• subscripts (function)
• tag-set (function)
• tag-set (class)
• text (function)
• universal-set (function)

4.1.6 one-more-re-nightmare/DFA-construction/nullable.lisp

Parent

dfa-construction (module)

Location

DFA-construction/nullable.lisp

Internal Definitions

• *gensym-assignments?* (special variable)
• cached-nullable* (function)
• (setf cached-nullable*) (function)
• nullable (function)

4.1.7 one-more-re-nightmare/DFA-construction/derivative.lisp

Parent

dfa-construction (module)

Location

DFA-construction/derivative.lisp

Internal Definitions

• *derivative* (special variable)
• derivative (function)
• derivative* (function)

4.1.8 one-more-re-nightmare/DFA-construction/derivative-classes.lisp

Parent

dfa-construction (module)

Location

DFA-construction/derivative-classes.lisp

Internal Definitions

• *derivative-classes* (special variable)
• derivative-classes (function)
• merge-sets (function)

4.1.9 one-more-re-nightmare/DFA-construction/empty.lisp

Parent

dfa-construction (module)

Location

DFA-construction/empty.lisp

Internal Definitions

re-empty-p (function)

4.1.10 one-more-re-nightmare/DFA-construction/effects.lisp

Parent

dfa-construction (module)

Location

DFA-construction/effects.lisp

Internal Definitions

• effects (function)
• has-literals-p (function)

4.1.11 one-more-re-nightmare/DFA-construction/similar.lisp

Parent

dfa-construction (module)

Location

DFA-construction/similar.lisp

Internal Definitions

• %similar (function)
• *environment* (special variable)
• assert-equivalent (function)
• assert-equivalent-sources (function)
• no-match (condition)
• similar (function)

4.1.12 one-more-re-nightmare/DFA-construction/tag-sets.lisp

Parent

dfa-construction (module)

Location

DFA-construction/tag-sets.lisp

Internal Definitions

• *allow-alpha* (special variable)
• *tag-gensym-counter* (special variable)
• gensym-position-assignments (function)
• has-tags-p (function)
• keep-used-assignments (function)
• map-tags (function)
• merge-tag-sets (function)
• new-tags (function)
• remove-tags (function)
• tag-gensym (function)
• tags (function)
• unique-assignments (function)
• unique-tags (function)
• used-tags (function)

4.1.13 one-more-re-nightmare/DFA-construction/make-dfa.lisp

Parent

dfa-construction (module)

Location

DFA-construction/make-dfa.lisp

Internal Definitions

• *probably-bad-limit* (special variable)
• add-transition (function)
• copy-transition (function)
• find-similar-state (function)
• make-dfa-from-expression (function)
• make-dfa-from-expressions (function)
• make-transition (function)
• peephole-optimize (function)
• re-stopped-p (function)
• state (class)
• state-exit-effects (method)
• (setf state-exit-effects) (method)
• state-exit-map (method)
• (setf state-exit-map) (method)
• state-expression (method)
• (setf state-expression) (method)
• state-transitions (method)
• (setf state-transitions) (method)
• transition (structure)
• transition-class (function)
• (setf transition-class) (function)
• transition-next-state (function)
• (setf transition-next-state) (function)
• transition-p (function)
• transition-tags-to-set (function)
• (setf transition-tags-to-set) (function)

4.1.14 one-more-re-nightmare/Compiler/layout.lisp

Parent

compiler (module)

Location

Compiler/layout.lisp

Internal Definitions

• *default-layout* (special variable)
• copy-layout (function)
• layout (structure)
• layout-array-type (function)
• (setf layout-array-type) (function)
• layout-equal (function)
• (setf layout-equal) (function)
• layout-from-number (function)
• (setf layout-from-number) (function)
• layout-less (function)
• (setf layout-less) (function)
• layout-less-or-equal (function)
• (setf layout-less-or-equal) (function)
• layout-p (function)
• layout-ref (function)
• (setf layout-ref) (function)
• layout-to-number (function)
• (setf layout-to-number) (function)
• make-layout (function)

4.1.15 one-more-re-nightmare/Compiler/compilation-strategy.lisp

Parent

compiler (module)

Location

Compiler/compilation-strategy.lisp

Internal Definitions

• *compiler-state* (special variable)
• *layout* (special variable)
• add-tags (function)
• call-continuation (class)
• declarations (generic function)
• declarations (method)
• initial-states (generic function)
• initial-states (method)
• lambda-list (generic function)
• lambda-list (method)
• macros-for-strategy (generic function)
• macros-for-strategy (method)
• macros-for-strategy (method)
• make-default-strategy (function)
• make-search-machine (function)
• scan-everything (class)
• start-code (generic function)
• strategy (class)
• transition-code (generic function)

4.1.16 one-more-re-nightmare/Compiler/length-inference.lisp

Parent

compiler (module)

Location

Compiler/length-inference.lisp

Internal Definitions

• compute-minimum-lengths (function)
• compute-predecessor-lists (function)
• length-inference-info (class)
• minimum-length (method)
• (setf minimum-length) (method)
• predecessors (method)
• (setf predecessors) (method)
• state-never-succeeds-p (function)

4.1.17 one-more-re-nightmare/Compiler/optimize-settings.lisp

Parent

compiler (module)

Location

Compiler/optimize-settings.lisp

Internal Definitions

• *optimize-settings* (special variable)
• with-naughty-compiler-switches (macro)

4.1.18 one-more-re-nightmare/Compiler/code-generation.lisp

Parent

compiler (module)

Location

Compiler/code-generation.lisp

Exported Definitions

compile-regular-expression (function)

Internal Definitions

• %compile-regular-expression (function)
• *code-type* (special variable)
• *nowhere* (special variable)
• compiler-state (class)
• find-in-map (function)
• find-state-name (function)
• find-variable-name (function)
• make-body-from-dfa (function)
• make-prog-parts (generic function)
• make-prog-parts (method)
• next-state-name (method)
• (setf next-state-name) (method)
• setf-from-assignments (function)
• start-code (method)
• start-code (method)
• state-names (method)
• transition-code (method)
• variable-map (method)
• variable-map-from-groups (function)
• variable-names (method)
• win-locations (function)

4.1.19 one-more-re-nightmare/Interface/syntax.lisp

Parent

interface (module)

Location

Interface/syntax.lisp

Internal Definitions

• *next-group* (special variable)
• clear-registers (function)
• empty-match (function)
• next-group (function)
• parse-regular-expression (function)

4.1.20 one-more-re-nightmare/Interface/convert-to-bytes.lisp

Parent

interface (module)

Location

Interface/convert-to-bytes.lisp

4.1.21 one-more-re-nightmare/Interface/code-cache.lisp

Parent

interface (module)

Location

Interface/code-cache.lisp

Internal Definitions

• *code-cache* (special variable)
• *code-lock* (special variable)
• *string-types* (special variable)
• find-code (function)
• match-vector-size (function)
• string-type-of (function)

4.1.22 one-more-re-nightmare/Interface/lint.lisp

Parent

interface (module)

Location

Interface/lint.lisp

Internal Definitions

• expression-not-matchable (condition)
• group-not-matchable (condition)
• lint-regular-expression (function)
• warning-group-number (method)

4.1.23 one-more-re-nightmare/Interface/interface.lisp

Parent

interface (module)

Location

Interface/interface.lisp

Exported Definitions

• all-matches (compiler macro)
• all-matches (function)
• all-string-matches (compiler macro)
• all-string-matches (function)
• do-matches (macro)
• first-match (compiler macro)
• first-match (function)
• first-string-match (compiler macro)
• first-string-match (function)

Internal Definitions

• %all-matches (function)
• %first-match (function)
• collect (macro)
• re-groups (function)
• subsequences (function)
• with-code (macro)
• with-code-for-vector (macro)

5 Packages

Packages are listed by definition order.

5.1 one-more-re-nightmare

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions

• all-matches (compiler macro)
• all-matches (function)
• all-string-matches (compiler macro)
• all-string-matches (function)
• compile-regular-expression (function)
• do-matches (macro)
• first-match (compiler macro)
• first-match (function)
• first-string-match (compiler macro)
• first-string-match (function)

Internal Definitions

• %all-matches (function)
• %alpha (function)
• %both (function)
• %compile-regular-expression (function)
• %either (function)
• %empty-string (function)
• %first-match (function)
• %grep (function)
• %invert (function)
• %join (function)
• %kleene (function)
• %literal (function)
• %similar (function)
• %tag-set (function)
• *allow-alpha* (special variable)
• *alpha-table* (special variable)
• *both-table* (special variable)
• *code-cache* (special variable)
• *code-lock* (special variable)
• *code-type* (special variable)
• *compiler-state* (special variable)
• *default-layout* (special variable)
• *derivative* (special variable)
• *derivative-classes* (special variable)
• *either-table* (special variable)
• *empty-string-table* (special variable)
• *environment* (special variable)
• *gensym-assignments?* (special variable)
• *grep-table* (special variable)
• *invert-table* (special variable)
• *join-table* (special variable)
• *kleene-table* (special variable)
• *layout* (special variable)
• *literal-table* (special variable)
• *next-group* (special variable)
• *nowhere* (special variable)
• *optimize-settings* (special variable)
• *probably-bad-limit* (special variable)
• *string-types* (special variable)
• *subscripts* (special variable)
• *table-names* (special variable)
• *tag-gensym-counter* (special variable)
• *tag-set-table* (special variable)
• +empty-set+ (constant)
• +uncomputed+ (constant)
• +universal-set+ (constant)
• add-tags (function)
• add-transition (function)
• alpha (function)
• alpha (class)
• assert-equivalent (function)
• assert-equivalent-sources (function)
• both (function)
• both (class)
• cached-has-tags-p (generic function)
• cached-has-tags-p (method)
• (setf cached-has-tags-p) (method)
• (setf cached-has-tags-p) (generic function)
• cached-nullable (generic function)
• cached-nullable (method)
• (setf cached-nullable) (method)
• (setf cached-nullable) (generic function)
• cached-nullable* (function)
• (setf cached-nullable*) (function)
• cached-nullable-no-gensym (generic function)
• cached-nullable-no-gensym (method)
• (setf cached-nullable-no-gensym) (method)
• (setf cached-nullable-no-gensym) (generic function)
• cached-removed-tags (generic function)
• cached-removed-tags (method)
• (setf cached-removed-tags) (method)
• (setf cached-removed-tags) (generic function)
• cached-tags (generic function)
• cached-tags (method)
• (setf cached-tags) (method)
• (setf cached-tags) (generic function)
• cached-used-tags (generic function)
• cached-used-tags (method)
• (setf cached-used-tags) (method)
• (setf cached-used-tags) (generic function)
• call-continuation (class)
• clear-global-tables (macro)
• clear-registers (function)
• collect (macro)
• compiler-state (class)
• compute-minimum-lengths (function)
• compute-predecessor-lists (function)
• copy-layout (function)
• copy-transition (function)
• declarations (generic function)
• declarations (method)
• define-hash-consing-table (macro)
• define-rewrites (macro)
• define-types (macro)
• derivative (function)
• derivative* (function)
• derivative-classes (function)
• effects (function)
• either (function)
• either (class)
• empty-match (function)
• empty-set (function)
• empty-string (function)
• empty-string (class)
• expression-not-matchable (condition)
• find-code (function)
• find-in-map (function)
• find-similar-state (function)
• find-state-name (function)
• find-variable-name (function)
• fold-or (function)
• gensym-position-assignments (function)
• grep (function)
• grep (class)
• group (function)
• group-not-matchable (condition)
• has-literals-p (function)
• has-tags-p (function)
• initial-states (generic function)
• initial-states (method)
• invert (function)
• invert (class)
• isum-case (macro)
• isum-op (macro)
• join (function)
• join (class)
• keep-used-assignments (function)
• kleene (function)
• kleene (class)
• lambda-list (generic function)
• lambda-list (method)
• layout (structure)
• layout-array-type (function)
• (setf layout-array-type) (function)
• layout-equal (function)
• (setf layout-equal) (function)
• layout-from-number (function)
• (setf layout-from-number) (function)
• layout-less (function)
• (setf layout-less) (function)
• layout-less-or-equal (function)
• (setf layout-less-or-equal) (function)
• layout-p (function)
• layout-ref (function)
• (setf layout-ref) (function)
• layout-to-number (function)
• (setf layout-to-number) (function)
• length-inference-info (class)
• lint-regular-expression (function)
• literal (function)
• literal (class)
• macros-for-strategy (generic function)
• macros-for-strategy (method)
• macros-for-strategy (method)
• make-body-from-dfa (function)
• make-default-strategy (function)
• make-dfa-from-expression (function)
• make-dfa-from-expressions (function)
• make-layout (function)
• make-prog-parts (generic function)
• make-prog-parts (method)
• make-search-machine (function)
• make-test-form (function)
• make-transition (function)
• map-tags (function)
• match-vector-size (function)
• merge-sets (function)
• merge-tag-sets (function)
• minimum-length (generic function)
• minimum-length (method)
• (setf minimum-length) (method)
• (setf minimum-length) (generic function)
• new-tags (function)
• next-group (function)
• next-state-name (generic function)
• next-state-name (method)
• (setf next-state-name) (method)
• (setf next-state-name) (generic function)
• no-match (condition)
• nullable (function)
• parse-regular-expression (function)
• peephole-optimize (function)
• predecessors (generic function)
• predecessors (method)
• (setf predecessors) (method)
• (setf predecessors) (generic function)
• print-isum (function)
• re-empty-p (function)
• re-groups (function)
• re-stopped-p (function)
• regular-expression (class)
• remove-tags (function)
• scan-either-for-duplicates (function)
• scan-everything (class)
• set-intersection (function)
• set-inverse (function)
• set-null (function)
• set-union (function)
• setf-from-assignments (function)
• similar (function)
• singleton-set (function)
• start-code (generic function)
• start-code (method)
• start-code (method)
• state (class)
• state-exit-effects (generic function)
• state-exit-effects (method)
• (setf state-exit-effects) (method)
• (setf state-exit-effects) (generic function)
• state-exit-map (generic function)
• state-exit-map (method)
• (setf state-exit-map) (method)
• (setf state-exit-map) (generic function)
• state-expression (generic function)
• state-expression (method)
• (setf state-expression) (method)
• (setf state-expression) (generic function)
• state-names (generic function)
• state-names (method)
• state-never-succeeds-p (function)
• state-transitions (generic function)
• state-transitions (method)
• (setf state-transitions) (method)
• (setf state-transitions) (generic function)
• strategy (class)
• string-type-of (function)
• subscripts (function)
• subsequences (function)
• symbol-range (function)
• symbol-set (function)
• symbol-set-difference (function)
• tag-gensym (function)
• tag-set (function)
• tag-set (class)
• tags (function)
• text (function)
• transition (structure)
• transition-class (function)
• (setf transition-class) (function)
• transition-code (generic function)
• transition-code (method)
• transition-next-state (function)
• (setf transition-next-state) (function)
• transition-p (function)
• transition-tags-to-set (function)
• (setf transition-tags-to-set) (function)
• unique-assignments (function)
• unique-tags (function)
• universal-set (function)
• used-tags (function)
• variable-map (generic function)
• variable-map (method)
• variable-map-from-groups (function)
• variable-names (generic function)
• variable-names (method)
• warning-group-number (generic function)
• warning-group-number (method)
• win-locations (function)
• with-code (macro)
• with-code-for-vector (macro)
• with-hash-consing (macro)
• with-hash-consing-tables (macro)
• with-naughty-compiler-switches (macro)
• with-slot-consing (macro)

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

6.1 Exported definitions

6.1.1 Macros

Macro: do-matches ((&rest REGISTERS) REGULAR-EXPRESSION VECTOR &key START END) &body BODY

Package

one-more-re-nightmare

Source

interface.lisp (file)

6.1.2 Compiler macros

Compiler Macro: all-matches REGULAR-EXPRESSION VECTOR &key START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Compiler Macro: all-string-matches REGULAR-EXPRESSION VECTOR &key START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Compiler Macro: first-match REGULAR-EXPRESSION VECTOR &key START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Compiler Macro: first-string-match REGULAR-EXPRESSION VECTOR &key START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

6.1.3 Functions

Function: all-matches REGULAR-EXPRESSION VECTOR &key START END

Returns a list of match vectors of every match

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: all-string-matches REGULAR-EXPRESSION VECTOR &key START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: compile-regular-expression EXPRESSION &key LAYOUT STRATEGY

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: first-match REGULAR-EXPRESSION VECTOR &key START END

Returns the start, end positions and submatches of the first match, or NIL, NIL and NIL

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: first-string-match REGULAR-EXPRESSION VECTOR &key START END

Returns the first match or NIL

Package

one-more-re-nightmare

Source

interface.lisp (file)

6.2 Internal definitions

6.2.1 Constants

Constant: +empty-set+

Package

one-more-re-nightmare

Source

sets.lisp (file)

Constant: +uncomputed+

Package

one-more-re-nightmare

Source

type.lisp (file)

Constant: +universal-set+

Package

one-more-re-nightmare

Source

sets.lisp (file)

6.2.2 Special variables

Special Variable: *allow-alpha*

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Special Variable: *alpha-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *both-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *code-cache*

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Special Variable: *code-lock*

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Special Variable: *code-type*

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Special Variable: *compiler-state*

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Special Variable: *default-layout*

Package

one-more-re-nightmare

Source

layout.lisp (file)

Special Variable: *derivative*

Package

one-more-re-nightmare

Source

derivative.lisp (file)

Special Variable: *derivative-classes*

Package

one-more-re-nightmare

Source

derivative-classes.lisp (file)

Special Variable: *either-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *empty-string-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *environment*

Package

one-more-re-nightmare

Source

similar.lisp (file)

Special Variable: *gensym-assignments?*

Package

one-more-re-nightmare

Source

nullable.lisp (file)

Special Variable: *grep-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *invert-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *join-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *kleene-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *layout*

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Special Variable: *literal-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *next-group*

Package

one-more-re-nightmare

Source

syntax.lisp (file)

Special Variable: *nowhere*

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Special Variable: *optimize-settings*

Package

one-more-re-nightmare

Source

optimize-settings.lisp (file)

Special Variable: *probably-bad-limit*

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Special Variable: *string-types*

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Special Variable: *subscripts*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Special Variable: *table-names*

Package

one-more-re-nightmare

Source

type.lisp (file)

Special Variable: *tag-gensym-counter*

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Special Variable: *tag-set-table*

Package

one-more-re-nightmare

Source

re-types.lisp (file)

6.2.3 Macros

Macro: clear-global-tables ()

Set up global tables for testing.

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: collect (FUNCTION) &body BODY

Package

one-more-re-nightmare

Source

interface.lisp (file)

Macro: define-hash-consing-table NAME

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: define-rewrites (NAME &rest SLOTS) &key SIMPLIFY HASH-CONS PRINTER

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: define-types &body TYPES

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: isum-case VAR LESS-THAN EQUAL &body CLAUSES

Package

one-more-re-nightmare

Source

sets.lisp (file)

Macro: isum-op OP A B

Combine the sets A and B by the Boolean operator op, which should be a
valid argument to the BOOLE function. An integer x is member of the
resulting set iff
(logbitp 0 (boole op (if (isum-member x A) 1 0) (if (isum-member x B) 1 0))) is non-NIL. That way e.g. boole-ior denotes the union.

Package

one-more-re-nightmare

Source

sets.lisp (file)

Macro: with-code ((FUNCTION SIZE) CODE) &body BODY

Package

one-more-re-nightmare

Source

interface.lisp (file)

Macro: with-code-for-vector (FUNCTION SIZE VECTOR REGULAR-EXPRESSION BAILOUT-FORM) &body BODY

Package

one-more-re-nightmare

Source

interface.lisp (file)

Macro: with-hash-consing (TABLE KEY) &body BODY

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: with-hash-consing-tables () &body BODY

Package

one-more-re-nightmare

Source

type.lisp (file)

Macro: with-naughty-compiler-switches () &body BODY

Package

one-more-re-nightmare

Source

optimize-settings.lisp (file)

Macro: with-slot-consing (ACCESSOR OBJECT &key WHEN) &body BODY

Package

one-more-re-nightmare

Source

type.lisp (file)

6.2.4 Functions

Function: %all-matches FUNCTION SIZE VECTOR START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: %alpha EXPRESSION HISTORY

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %both R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %compile-regular-expression EXPRESSION STRATEGY GROUPS

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: %either R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %empty-string ()

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %first-match FUNCTION SIZE VECTOR START END

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: %grep VECTOR PROTOTYPE

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %invert R

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %join R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %kleene R

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %literal SET

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: %similar FROM TO

Package

one-more-re-nightmare

Source

similar.lisp (file)

Function: %tag-set SUBSTITUTIONS

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: add-tags EXPRESSION

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Function: add-transition CLASS LAST-STATE NEXT-STATE TAGS-TO-SET

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: alpha EXPRESSION HISTORY

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: assert-equivalent FROM TO

Package

one-more-re-nightmare

Source

similar.lisp (file)

Function: assert-equivalent-sources FROM TO

Ensure that we don’t unify POSITION and a variable, or two different variables.

Package

one-more-re-nightmare

Source

similar.lisp (file)

Function: both R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: cached-nullable* RE

Function: (setf cached-nullable*) VALUE RE

Package

one-more-re-nightmare

Source

nullable.lisp (file)

Function: clear-registers EXPRESSION

Package

one-more-re-nightmare

Source

syntax.lisp (file)

Function: compute-minimum-lengths STATES

Package

one-more-re-nightmare

Source

length-inference.lisp (file)

Function: compute-predecessor-lists STATES

Package

one-more-re-nightmare

Source

length-inference.lisp (file)

Function: copy-layout INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: copy-transition INSTANCE

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: derivative RE SET

Compute the derivative of a regular expression with regards to the set (i.e. the regular expression should be matched after a character in the set is matched).

Package

one-more-re-nightmare

Source

derivative.lisp (file)

Function: derivative* RE SEQUENCE

Package

one-more-re-nightmare

Source

derivative.lisp (file)

Function: derivative-classes RE

Produce a list of the ’classes’ (sets) of characters that compiling the regular expression would have to dispatch on.

Package

one-more-re-nightmare

Source

derivative-classes.lisp (file)

Function: effects RE

Package

one-more-re-nightmare

Source

effects.lisp (file)

Function: either R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: empty-match EXPRESSION

Package

one-more-re-nightmare

Source

syntax.lisp (file)

Function: empty-set ()

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: empty-string ()

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: find-code REGULAR-EXPRESSION TYPE-SPECIFIER

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Function: find-in-map VARIABLE-NAME MAP

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: find-similar-state STATES STATE

Find another state which we can re-use with some transformation, returning that state and the required transformation.

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: find-state-name STATE &optional ENTRY-POINT

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: find-variable-name VARIABLE

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: fold-or FORM NEXT

Manually constant fold out (OR A NIL) to A. The compiler can do this, but generated code looks nicer with folding.

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: gensym-position-assignments SET

Replicate any assignments, turning T_n <- s for all s into T^r_n <- T_n for some arbitrary r

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: grep MATCH-VECTOR PROTOTYPE

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: group R N

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: has-literals-p RE

Package

one-more-re-nightmare

Source

effects.lisp (file)

Function: has-tags-p RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: invert R

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: join R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: keep-used-assignments NEW-RE ASSIGNMENTS

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: kleene R

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: layout-array-type INSTANCE

Function: (setf layout-array-type) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-equal INSTANCE

Function: (setf layout-equal) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-from-number INSTANCE

Function: (setf layout-from-number) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-less INSTANCE

Function: (setf layout-less) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-less-or-equal INSTANCE

Function: (setf layout-less-or-equal) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-p OBJECT

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-ref INSTANCE

Function: (setf layout-ref) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: layout-to-number INSTANCE

Function: (setf layout-to-number) VALUE INSTANCE

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: lint-regular-expression EXPRESSION

Package

one-more-re-nightmare

Source

lint.lisp (file)

Function: literal SET

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: make-body-from-dfa STRATEGY STATES

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: make-default-strategy LAYOUT EXPRESSION

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Function: make-dfa-from-expression EXPRESSION

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: make-dfa-from-expressions EXPRESSIONS

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: make-layout &key (ARRAY-TYPE ARRAY-TYPE) (REF REF) (FROM-NUMBER FROM-NUMBER) (TO-NUMBER TO-NUMBER) (LESS LESS) (LESS-OR-EQUAL LESS-OR-EQUAL) (EQUAL EQUAL)

Package

one-more-re-nightmare

Source

layout.lisp (file)

Function: make-search-machine EXPRESSION

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Function: make-test-form ISUM VARIABLE LESS-OR-EQUAL EQUAL

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: make-transition &key (CLASS CLASS) (NEXT-STATE NEXT-STATE) (TAGS-TO-SET TAGS-TO-SET)

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: map-tags F RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: match-vector-size GROUPS

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Function: merge-sets SETS1 SETS2

Produce a list of every subset of sets1 and sets2.

Package

one-more-re-nightmare

Source

derivative-classes.lisp (file)

Function: merge-tag-sets SET1 SET2

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: new-tags NEW-RE OLD-RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: next-group ()

Package

one-more-re-nightmare

Source

syntax.lisp (file)

Function: nullable RE

(language-of (nullable RE)) = (language-of (both RE (empty-string)))

Package

one-more-re-nightmare

Source

nullable.lisp (file)

Function: parse-regular-expression STRING

Package

one-more-re-nightmare

Source

syntax.lisp (file)

Function: peephole-optimize ASSIGNMENTS USED-TAGS

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: print-isum ISUM STREAM

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: re-empty-p RE

Is a regular expression basically an empty string?
This is different to NULLABLE, yes, NULLABLE would accept e.g. a* or anything that is a superset of { "" }, but this accepts only the empty string (± tags).

Package

one-more-re-nightmare

Source

empty.lisp (file)

Function: re-groups REGULAR-EXPRESSION

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: re-stopped-p RE

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: remove-tags RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: scan-either-for-duplicates R S

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: set-intersection A B

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: set-inverse A

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: set-null ISUM

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: set-union A B

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: setf-from-assignments ASSIGNMENTS

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: similar FROM TO

Package

one-more-re-nightmare

Source

similar.lisp (file)

Function: singleton-set X

Returns the ISUM, that contains only /x/.

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: state-never-succeeds-p STATE

Package

one-more-re-nightmare

Source

length-inference.lisp (file)

Function: string-type-of STRING

Package

one-more-re-nightmare

Source

code-cache.lisp (file)

Function: subscripts NUMBER

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: subsequences VECTOR MATCH-VECTOR

Package

one-more-re-nightmare

Source

interface.lisp (file)

Function: symbol-range FROM BELOW

Returns the ISUM, that contains every code point that is in [from, below)

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: symbol-set &rest SYMBOLS

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: symbol-set-difference A B

Package

one-more-re-nightmare

Source

sets.lisp (file)

Function: tag-gensym ()

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: tag-set SUBSTITUTIONS

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: tags RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: text VECTOR

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: transition-class INSTANCE

Function: (setf transition-class) VALUE INSTANCE

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: transition-next-state INSTANCE

Function: (setf transition-next-state) VALUE INSTANCE

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: transition-p OBJECT

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: transition-tags-to-set INSTANCE

Function: (setf transition-tags-to-set) VALUE INSTANCE

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Function: unique-assignments SET

Make assignments unique, turning T_n <- s for all s into T^r_n <- s

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: unique-tags RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: universal-set ()

Package

one-more-re-nightmare

Source

re-types.lisp (file)

Function: used-tags RE

Package

one-more-re-nightmare

Source

tag-sets.lisp (file)

Function: variable-map-from-groups GROUPS

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Function: win-locations EXIT-MAP

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

6.2.5 Generic functions

Generic Function: cached-has-tags-p OBJECT

Generic Function: (setf cached-has-tags-p) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-has-tags-p (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-has-tags-p) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: cached-nullable OBJECT

Generic Function: (setf cached-nullable) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-nullable (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-nullable) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: cached-nullable-no-gensym OBJECT

Generic Function: (setf cached-nullable-no-gensym) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-nullable-no-gensym (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-nullable-no-gensym) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: cached-removed-tags OBJECT

Generic Function: (setf cached-removed-tags) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-removed-tags (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-removed-tags) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: cached-tags OBJECT

Generic Function: (setf cached-tags) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-tags (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-tags) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: cached-used-tags OBJECT

Generic Function: (setf cached-used-tags) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: cached-used-tags (REGULAR-EXPRESSION regular-expression)

automatically generated reader method

Source

type.lisp (file)

Method: (setf cached-used-tags) NEW-VALUE (REGULAR-EXPRESSION regular-expression)

automatically generated writer method

Source

type.lisp (file)

Generic Function: declarations STRATEGY

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Methods

Method: declarations (STRATEGY call-continuation)

Generic Function: initial-states STRATEGY EXPRESSION

Compute a list of states to start compiling from.

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Methods

Method: initial-states (STRATEGY scan-everything) EXPRESSION

Generic Function: lambda-list STRATEGY

The lambda list of the function to generate.

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Methods

Method: lambda-list (STRATEGY call-continuation)

Generic Function: macros-for-strategy STRATEGY

A list of macros (at least using including WIN and RESTART) to use for compilation.

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Method Combination

append (short method combination)

Options: :most-specific-first

Methods

Method: macros-for-strategy (STRATEGY call-continuation) append

Method: macros-for-strategy (STRATEGY scan-everything) append

Generic Function: make-prog-parts STRATEGY EXPRESSION

Package

one-more-re-nightmare

Source

code-generation.lisp (file)

Methods

Method: make-prog-parts STRATEGY EXPRESSION

Generic Function: minimum-length OBJECT

Generic Function: (setf minimum-length) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: minimum-length (LENGTH-INFERENCE-INFO length-inference-info)

automatically generated reader method

Source

length-inference.lisp (file)

Method: (setf minimum-length) NEW-VALUE (LENGTH-INFERENCE-INFO length-inference-info)

automatically generated writer method

Source

length-inference.lisp (file)

Generic Function: next-state-name OBJECT

Generic Function: (setf next-state-name) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: next-state-name (COMPILER-STATE compiler-state)

automatically generated reader method

Source

code-generation.lisp (file)

Method: (setf next-state-name) NEW-VALUE (COMPILER-STATE compiler-state)

automatically generated writer method

Source

code-generation.lisp (file)

Generic Function: predecessors OBJECT

Generic Function: (setf predecessors) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: predecessors (LENGTH-INFERENCE-INFO length-inference-info)

automatically generated reader method

Source

length-inference.lisp (file)

Method: (setf predecessors) NEW-VALUE (LENGTH-INFERENCE-INFO length-inference-info)

automatically generated writer method

Source

length-inference.lisp (file)

Generic Function: start-code STRATEGY STATES

Part of a TAGBODY body used to start running a DFA.

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Methods

Method: start-code (STRATEGY call-continuation) STATES around

Source

code-generation.lisp (file)

Method: start-code (STRATEGY scan-everything) STATES

Source

code-generation.lisp (file)

Generic Function: state-exit-effects OBJECT

Generic Function: (setf state-exit-effects) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: state-exit-effects (STATE state)

automatically generated reader method

Source

make-dfa.lisp (file)

Method: (setf state-exit-effects) NEW-VALUE (STATE state)

automatically generated writer method

Source

make-dfa.lisp (file)

Generic Function: state-exit-map OBJECT

Generic Function: (setf state-exit-map) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: state-exit-map (STATE state)

automatically generated reader method

Source

make-dfa.lisp (file)

Method: (setf state-exit-map) NEW-VALUE (STATE state)

automatically generated writer method

Source

make-dfa.lisp (file)

Generic Function: state-expression OBJECT

Generic Function: (setf state-expression) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: state-expression (STATE state)

automatically generated reader method

Source

make-dfa.lisp (file)

Method: (setf state-expression) NEW-VALUE (STATE state)

automatically generated writer method

Source

make-dfa.lisp (file)

Generic Function: state-names OBJECT

Package

one-more-re-nightmare

Methods

Method: state-names (COMPILER-STATE compiler-state)

automatically generated reader method

Source

code-generation.lisp (file)

Generic Function: state-transitions OBJECT

Generic Function: (setf state-transitions) NEW-VALUE OBJECT

Package

one-more-re-nightmare

Methods

Method: state-transitions (STATE state)

automatically generated reader method

Source

make-dfa.lisp (file)

Method: (setf state-transitions) NEW-VALUE (STATE state)

automatically generated writer method

Source

make-dfa.lisp (file)

Generic Function: transition-code STRATEGY PREVIOUS-STATE TRANSITION

Package

one-more-re-nightmare

Source

compilation-strategy.lisp (file)

Methods

Method: transition-code STRATEGY PREVIOUS-STATE TRANSITION

Source

code-generation.lisp (file)

Generic Function: variable-map OBJECT

Package

one-more-re-nightmare

Methods

Method: variable-map (COMPILER-STATE compiler-state)

automatically generated reader method

Source

code-generation.lisp (file)

Generic Function: variable-names OBJECT

Package

one-more-re-nightmare

Methods

Method: variable-names (COMPILER-STATE compiler-state)

automatically generated reader method

Source

code-generation.lisp (file)

Generic Function: warning-group-number CONDITION

Package

one-more-re-nightmare

Methods

Method: warning-group-number (CONDITION group-not-matchable)

Source

lint.lisp (file)

6.2.6 Conditions

Condition: expression-not-matchable ()

Package

one-more-re-nightmare

Source

lint.lisp (file)

Direct superclasses

style-warning (condition)

Condition: group-not-matchable ()

Package

one-more-re-nightmare

Source

lint.lisp (file)

Direct superclasses

style-warning (condition)

Direct methods

warning-group-number (method)

Direct slots

Slot: n

Initargs

:n

Readers

warning-group-number (generic function)

Condition: no-match ()

Package

one-more-re-nightmare

Source

similar.lisp (file)

Direct superclasses

condition (condition)

6.2.7 Structures

Structure: layout ()

A structure representing the type and accessors for a vector of some sort.

Package

one-more-re-nightmare

Source

layout.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots

Slot: array-type

Initform

(quote (simple-array character 1))

Readers

layout-array-type (function)

Writers

(setf layout-array-type) (function)

Slot: ref

Initform

(quote aref)

Readers

layout-ref (function)

Writers

(setf layout-ref) (function)

Slot: from-number

Initform

(quote code-char)

Readers

layout-from-number (function)

Writers

(setf layout-from-number) (function)

Slot: to-number

Initform

(quote char-code)

Readers

layout-to-number (function)

Writers

(setf layout-to-number) (function)

Slot: less

Initform

(quote <)

Readers

layout-less (function)

Writers

(setf layout-less) (function)

Slot: less-or-equal

Initform

(quote <=)

Readers

layout-less-or-equal (function)

Writers

(setf layout-less-or-equal) (function)

Slot: equal

Initform

(quote =)

Readers

layout-equal (function)

Writers

(setf layout-equal) (function)

Structure: transition ()

Package

one-more-re-nightmare

Source

make-dfa.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots

Slot: class

Readers

transition-class (function)

Writers

(setf transition-class) (function)

Slot: next-state

Readers

transition-next-state (function)

Writers

(setf transition-next-state) (function)

Slot: tags-to-set

Readers

transition-tags-to-set (function)

Writers

(setf transition-tags-to-set) (function)