The trace-db Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The trace-db Reference Manual

This is the trace-db Reference Manual, version 0.0.0, generated automatically by Declt version 2.4 patchlevel 1 "Will Decker" on Mon Jul 29 16:49:08 2019 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

TRACE-DB

Writing, reading, storing, and searching of program traces (source and binary)

Trace Format

A trace consists of a header followed by a series of trace points.

The header contains a name dictionary and a type dictionary. The string dictionary consists of a character count (a 16-bit integer), followed by a series of null-terminated strings. The type dictionary consists of a record count (16 bits), followed by a series of TypeDescription objects.

A trace point is a sequence of trace entries, each representing a single item such as a variable, buffer size, etc. Each entry begins with a one-byte tag, indicating the kind of entry. A tag value of 0 indicates the end of the trace point.

All entries within a trace point correspond to the same point in the program's execution.

Statement ID

The STATEMENT_ID tag is followed by a single 32-bit field which identifies the program location of this trace point. The trace library makes no assumptions about the contents of this field, so clients are free to use the bits as needed (e.g. storing a file ID in the high bits and line number in the low bits).

Buffer Sizes

The BUFFER_SIZE tag is followed by two 64-bit values representing an address, and the size of the buffer allocated at that address.

Auxiliary Data

The AUXILIARY tag is a followed by a single 64-bit value. This value is not assigned any particular meaning by the trace library, and can be used to associate additional information with each trace point.

Variables

The VARIABLE tag marks a record of a program variable. It consists of a name index, type index, size (optional), and value. The first two fields are dictionary indices, indicating the name and type of the variable.

The value of a variable may be of arbitrary size. In most cases the size is fixed for a given type, and is stored in the type record. But some types have variable size, indicated by a 0 in the type record. In this case, the trace contains a 16-bit field indicating the size of this particular value, followed by that many bytes of data.

Types

A type description consists of a name (represented by an index into the dictionary), a format (e.g. signed integer, float, blob), and a size. For more details, see the TypeDescription class in TypeDescription.hpp

Internal representation

The trace database is a header-only library defined in the hpp files found at the top-level of the project. The existing sample.cpp file, useful for debugging, remains at the top level and leverages this C++ library. The hope is that this header-only library may be easily utilized by clients looking to bring the trace database into other projects.

The main Trace class may be utilized to read and write and single binary trace. The TraceDB class is utilized to store a collection of these traces. Additionally classes are provided to represent the sub-elements of the trace (e.g. TracePoints, TraceVarInfo, etc.). For more information, please consult the documentation in these files. All objects are immutable.

The trace database leverages the boost flyweight library to reduce memory usage and improve query performance. The flyweight library implements the flyweight design pattern in which objects are allocated within a pool and shared by multiple references. For more information, consult "Design Patterns: Elements of Reusable Object-Oriented Software." In this case, we mark trace point information (e.g. variables) as flyweights to ensure sharing across multiple points when this information does not change. Additionally, when performing queries, results are cached on the flyweight object to improve query performance across duplicate points.

Beyond the header-only library, within the lisp/ directory exists an additional C wrapper around the C++ library exposing a CFFI interface to the trace database which is leveraged by additional common lisp code. The trace database was originally designed for projects using common lisp, necessitating this wrapper.

Storing Traces

The TraceDB type and its associated methods can be used to store and retrieve traces. Traces may be written and read in a proprietary binary format or using boost serialization.

Queries

The query method searches a trace. A query consists of a set of free variables, associated type constraints, and a predicate over the free variables. At each trace point, the database finds all combinations of valid assignments for the free variables, and collects those assignments which satisfy the predicate.

For more information, please consult the documentation on the method directly.


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

2.1 trace-db

Description

Writing, reading, storing, and searching of program traces

Version

0.0.0

Dependencies
Source

trace-db.asd (file)

Component

lisp (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

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


Previous: , Up: Modules   [Contents][Index]

3.1 trace-db/lisp

Parent

trace-db (system)

Location

lisp/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 trace-db.asd

Location

trace-db.asd

Systems

trace-db (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 trace-db/lisp/package.lisp

Parent

lisp (module)

Location

lisp/package.lisp

Packages

trace-db


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 trace-db/lisp/trace-db-interface.lisp

Dependency

package.lisp (file)

Parent

lisp (module)

Location

lisp/trace-db-interface.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 trace-db/lisp/binary-trace-db.lisp

Dependency

trace-db-interface.lisp (file)

Parent

lisp (module)

Location

lisp/binary-trace-db.lisp

Exported Definitions
Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

4.1.5 trace-db/lisp/sexp-trace-db.lisp

Dependency

binary-trace-db.lisp (file)

Parent

lisp (module)

Location

lisp/sexp-trace-db.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

5.1 trace-db

Wrapper for trace-db.

Source

package.lisp (file)

Use List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Constants

Constant: +trace-id-file-bits+

Number of bits in trace ID used to identify the file.

Package

trace-db

Source

binary-trace-db.lisp (file)

Constant: +trace-id-statement-bits+

Number of bits in trace ID used to identify the statement within a file.

Package

trace-db

Source

binary-trace-db.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Functions

Function: get-statement-and-bindings PT

Return the file/statement counters and variable bindings for the given PT.

Package

trace-db

Source

trace-db-interface.lisp (file)

Function: read-binary-trace FILE &key TIMEOUT MAX-TRACE-POINTS

Read a trace and convert to a list.

Package

trace-db

Source

binary-trace-db.lisp (file)

Function: read-sexp-trace FILE &key TIMEOUT MAX-TRACE-POINTS

Read a trace from FILE-NAME with ‘read-trace-stream’.

Package

trace-db

Source

sexp-trace-db.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Generic functions

Generic Function: add-trace DB FILENAME TIMEOUT METADATA &key MAX-TRACE-POINTS

Read a trace from FILENAME into DB.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: add-trace (DB sexp-trace-db) FILENAME TIMEOUT METADATA &key MAX-TRACE-POINTS
Source

sexp-trace-db.lisp (file)

Method: add-trace (DB binary-trace-db) (FILENAME string) (TIMEOUT integer) (METADATA list) &key MAX-TRACE-POINTS
Source

binary-trace-db.lisp (file)

Generic Function: get-trace DB INDEX &key FILE-ID

Retrieve the trace at INDEX in DB.

The result looks like: (METADATA (:trace (TRACE-POINTS))), where each TRACE-POINT is an alist with the usual :C :F :SCOPES, etc.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: get-trace (DB single-file-sexp-trace-db) INDEX &key FILE-ID
Source

sexp-trace-db.lisp (file)

Method: get-trace (DB sexp-trace-db) INDEX &key FILE-ID
Source

sexp-trace-db.lisp (file)

Method: get-trace (DB single-file-binary-trace-db) INDEX &key FILE-ID around
Source

binary-trace-db.lisp (file)

Method: get-trace (DB binary-trace-db) (INDEX integer) &key FILE-ID

Return the trace points in the trace at INDEX in DB.

Source

binary-trace-db.lisp (file)

Generic Function: n-traces DB

Return the number of traces stored in DB.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: n-traces (DB sexp-trace-db)
Source

sexp-trace-db.lisp (file)

Method: n-traces (DB binary-trace-db)

Return the number of traces stored in DB.

Source

binary-trace-db.lisp (file)

Generic Function: query-trace DB INDEX VAR-NAMES VAR-TYPES &key PICK FILE-ID PREDICATE SOFT-PREDICATES FILTER

Find bindings of VAR-NAMES in DB which satisfy PREDICATE.

VAR-TYPES is a list of lists containing the names of allowed types for each variable.

If PREDICATE is given, only results which satisfy it are selected.

If SOFT-PREDICATES is given, then only results which satisfy the
maximum number of soft predicates at each trace point are selected.

Keyword arguments:
PICK ————- return results from a single randomly-selected trace point instead of searching all trace points.
FILE-ID ———- restrict search to trace points in this file
PREDICATE ——– S-expression representing a database predicate SOFT-PREDICATES – Additional predicates to maximize
FILTER ———– A function taking (FILE LOCATION VARS...) as arguments. Results for which it returns false are discarded.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: query-trace (DB sexp-trace-db) INDEX VAR-NAMES VAR-TYPES &key PICK FILE-ID PREDICATE SOFT-PREDICATES FILTER
Source

sexp-trace-db.lisp (file)

Method: query-trace (DB single-file-binary-trace-db) INDEX VAR-NAMES VAR-TYPES &key PICK FILE-ID PREDICATE SOFT-PREDICATES FILTER around
Source

binary-trace-db.lisp (file)

Method: query-trace (DB binary-trace-db) INDEX VAR-NAMES VAR-TYPES &key PICK FILE-ID PREDICATE SOFT-PREDICATES FILTER
Source

binary-trace-db.lisp (file)

Generic Function: restrict-to-file DB FILE-ID

Return a wrapper around DB which restricts results by FILE-ID.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: restrict-to-file (DB sexp-trace-db) FILE-ID
Source

sexp-trace-db.lisp (file)

Method: restrict-to-file (DB binary-trace-db) FILE-ID

Return a wrapper around DB which restricts results by FILE-ID.

Source

binary-trace-db.lisp (file)

Generic Function: trace-metadata DB

Return the metadata for all traces in DB.

Package

trace-db

Source

trace-db-interface.lisp (file)

Writer

(setf trace-metadata) (generic function)

Methods
Method: trace-metadata (DB single-file-sexp-trace-db)
Source

sexp-trace-db.lisp (file)

Method: trace-metadata (SEXP-TRACE-DB sexp-trace-db)

automatically generated reader method

Source

sexp-trace-db.lisp (file)

Method: trace-metadata (DB single-file-binary-trace-db)
Source

binary-trace-db.lisp (file)

Method: trace-metadata (BINARY-TRACE-DB binary-trace-db)

automatically generated reader method

Source

binary-trace-db.lisp (file)

Generic Function: (setf trace-metadata) NEW-VALUE OBJECT
Package

trace-db

Reader

trace-metadata (generic function)

Methods
Method: (setf trace-metadata) NEW-VALUE (SEXP-TRACE-DB sexp-trace-db)

automatically generated writer method

Source

sexp-trace-db.lisp (file)

Method: (setf trace-metadata) NEW-VALUE (BINARY-TRACE-DB binary-trace-db)

automatically generated writer method

Source

binary-trace-db.lisp (file)

Generic Function: trace-size DB INDEX

Return the number of points in the trace at INDEX in DB.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: trace-size (DB sexp-trace-db) INDEX
Source

sexp-trace-db.lisp (file)

Method: trace-size (DB binary-trace-db) (INDEX integer)

Return the number of points in the trace at INDEX in DB.

Source

binary-trace-db.lisp (file)

Generic Function: trace-types DB INDEX

Return the type names from the header of the trace at INDEX in DB.

Package

trace-db

Source

trace-db-interface.lisp (file)

Methods
Method: trace-types (DB sexp-trace-db) INDEX
Source

sexp-trace-db.lisp (file)

Method: trace-types (DB binary-trace-db) (INDEX integer)

Return the type names from the header of the trace at INDEX in DB.

Source

binary-trace-db.lisp (file)


Previous: , Up: Exported definitions   [Contents][Index]

6.1.4 Classes

Class: binary-trace-db ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses

trace-db (class)

Direct subclasses

single-file-binary-trace-db (class)

Direct methods
Direct slots
Slot: db-pointer
Initargs

:db-pointer

Readers

db-pointer (generic function)

Writers

(setf db-pointer) (generic function)

Slot: trace-metadata
Type

(quote list)

Initargs

:trace-metadata

Readers

trace-metadata (generic function)

Writers

(setf trace-metadata) (generic function)

Class: sexp-trace-db ()
Package

trace-db

Source

sexp-trace-db.lisp (file)

Direct superclasses

trace-db (class)

Direct subclasses

single-file-sexp-trace-db (class)

Direct methods
Direct slots
Slot: traces
Type

list

Initargs

:traces

Readers

traces (generic function)

Writers

(setf traces) (generic function)

Slot: trace-metadata
Type

list

Initargs

:trace-metadata

Readers

trace-metadata (generic function)

Writers

(setf trace-metadata) (generic function)

Class: trace-db ()

Database containing dynamic traces.

Package

trace-db

Source

trace-db-interface.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Constants

Constant: +lib-dir+

Path to directory holding shared library.

Package

trace-db

Source

binary-trace-db.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Special variables

Special Variable: *binary-trace-db-obj-code*

Object code for serialization of binary-trace-db software objects.

Package

trace-db

Source

binary-trace-db.lisp (file)

Special Variable: *single-file-binary-trace-db-obj-code*

Object code for serialization of single-file-binary-trace-db software objects.

Package

trace-db

Source

binary-trace-db.lisp (file)

Special Variable: *single-file-sexp-trace-db-obj-code*

Object code for serialization of single-file-sexp-trace-db software objects.

Package

trace-db

Source

sexp-trace-db.lisp (file)

Special Variable: *trace-db-loaded*
Package

trace-db

Source

binary-trace-db.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.3 Functions

Function: build-predicate VAR-NAMES PREDICATE

Build a predicate struct from an s-expression.

Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-add-trace DB FILENAME TIMEOUT MAX-TRACE-POINTS
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-add-trace-points DB POINTS N-POINTS NAMES N-NAMES
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-create-db ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-deserialize-trace-db TEXT
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-free-c-predicate PREDICATE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-free-db DB
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-free-trace TRACE-PTR
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-free-trace-points POINTS N_POINTS
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-get-names TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-get-points TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-get-trace DB INDEX
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-get-types TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-n-names TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-n-traces DB
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-n-types TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-query-trace DB INDEX VARIABLES N-VARIABLES PREDICATE SOFT-PREDICATES N-SOFT-PREDICATES SEED KEEP-DUPLICATE-BINDINGS STATEMENT-MASK STATEMENT RESULTS-OUT N-RESULTS
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-read-trace FILENAME TIMEOUT MAX-TRACE-POINTS
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-serialize-trace-db DB
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: c-trace-size TRACE
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: cartesian-without-duplicates LISTS &key TEST

Cartesian product of a set of lists, without sets containing duplicates. For example:
> (cartesian-without-duplicates ’(1 2) ’(2 3))
((1 2) (1 3) (2 3))
The set (2 2) is not included in the result.

Package

trace-db

Source

sexp-trace-db.lisp (file)

Function: convert-trace-points TRACE-PTR TRACE-POINTS-PTR N-POINTS &key FILTER

Convert the given list of foreign trace points (TRACE-POINTS-PTR) to common lisp. A FILTER may be given to exclude some trace points from the results.

Package

trace-db

Source

binary-trace-db.lisp (file)

Function: create-foreign-array TYPE CONTENTS

Allocate a foreign array and fill it with the contents of a Lisp array.

Package

trace-db

Source

binary-trace-db.lisp (file)

Function: load-libtrace-db ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Function: open-file-timeout FILENAME SECONDS &rest KWARGS

Try to open file, but give up after waiting SECONDS. KWARGS are passed on to the OPEN call.

Package

trace-db

Source

sexp-trace-db.lisp (file)

Function: read-trace-stream IN &key PREDICATE MAX-TRACE-POINTS &aux COLLECTED

Read a trace from the IN.
Keyword argument PREDICATE limits collected trace points and MAX limits number of trace points to collect.

Package

trace-db

Source

sexp-trace-db.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.4 Generic functions

Generic Function: add-trace-points DB TRACE &optional METADATA
Package

trace-db

Methods
Method: add-trace-points (DB sexp-trace-db) (TRACE list) &optional METADATA
Source

sexp-trace-db.lisp (file)

Method: add-trace-points (DB binary-trace-db) (TRACE list) &optional METADATA

Directly add a list of trace points to the database.

IMPORTANT: This method is for legacy testing purposes only. This method is not complete or efficient.
DO NOT USE IN PRODUCTION OR NEW DEVELOPMENT.

Source

binary-trace-db.lisp (file)

Generic Function: db-pointer OBJECT
Generic Function: (setf db-pointer) NEW-VALUE OBJECT
Package

trace-db

Methods
Method: db-pointer (BINARY-TRACE-DB binary-trace-db)

automatically generated reader method

Source

binary-trace-db.lisp (file)

Method: (setf db-pointer) NEW-VALUE (BINARY-TRACE-DB binary-trace-db)

automatically generated writer method

Source

binary-trace-db.lisp (file)

Generic Function: file-id OBJECT
Package

trace-db

Methods
Method: file-id (SINGLE-FILE-SEXP-TRACE-DB single-file-sexp-trace-db)

automatically generated reader method

Source

sexp-trace-db.lisp (file)

Method: file-id (SINGLE-FILE-BINARY-TRACE-DB single-file-binary-trace-db)

automatically generated reader method

Source

binary-trace-db.lisp (file)

Generic Function: parent-db OBJECT
Package

trace-db

Methods
Method: parent-db (SINGLE-FILE-SEXP-TRACE-DB single-file-sexp-trace-db)

automatically generated reader method

Source

sexp-trace-db.lisp (file)

Method: parent-db (SINGLE-FILE-BINARY-TRACE-DB single-file-binary-trace-db)

automatically generated reader method

Source

binary-trace-db.lisp (file)

Generic Function: traces OBJECT
Generic Function: (setf traces) NEW-VALUE OBJECT
Package

trace-db

Methods
Method: traces (DB single-file-sexp-trace-db)
Source

sexp-trace-db.lisp (file)

Method: traces (SEXP-TRACE-DB sexp-trace-db)

automatically generated reader method

Source

sexp-trace-db.lisp (file)

Method: (setf traces) NEW-VALUE (SEXP-TRACE-DB sexp-trace-db)

automatically generated writer method

Source

sexp-trace-db.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.5 Classes

Class: c-free-variable-tclass ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: c-predicate-tclass ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: c-trace-point-struct ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Direct methods

expand-from-foreign (method)

Class: c-trace-var-info-struct ()
Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Direct methods

expand-from-foreign (method)

Class: single-file-binary-trace-db ()

Wrapper around binary-trace-db which restricts queries to one file of a project.

Package

trace-db

Source

binary-trace-db.lisp (file)

Direct superclasses

binary-trace-db (class)

Direct methods
Direct slots
Slot: file-id
Type

number

Initargs

:file-id

Readers

file-id (generic function)

Slot: parent-db
Type

trace-db:binary-trace-db

Initargs

:parent-db

Readers

parent-db (generic function)

Class: single-file-sexp-trace-db ()
Package

trace-db

Source

sexp-trace-db.lisp (file)

Direct superclasses

sexp-trace-db (class)

Direct methods
Direct slots
Slot: file-id
Type

number

Initargs

:file-id

Readers

file-id (generic function)

Slot: parent-db
Type

trace-db:sexp-trace-db

Initargs

:parent-db

Readers

parent-db (generic function)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L   M   T  
Index Entry  Section

F
File, Lisp, trace-db.asd: The trace-db<dot>asd file
File, Lisp, trace-db/lisp/binary-trace-db.lisp: The trace-db/lisp/binary-trace-db<dot>lisp file
File, Lisp, trace-db/lisp/package.lisp: The trace-db/lisp/package<dot>lisp file
File, Lisp, trace-db/lisp/sexp-trace-db.lisp: The trace-db/lisp/sexp-trace-db<dot>lisp file
File, Lisp, trace-db/lisp/trace-db-interface.lisp: The trace-db/lisp/trace-db-interface<dot>lisp file

L
Lisp File, trace-db.asd: The trace-db<dot>asd file
Lisp File, trace-db/lisp/binary-trace-db.lisp: The trace-db/lisp/binary-trace-db<dot>lisp file
Lisp File, trace-db/lisp/package.lisp: The trace-db/lisp/package<dot>lisp file
Lisp File, trace-db/lisp/sexp-trace-db.lisp: The trace-db/lisp/sexp-trace-db<dot>lisp file
Lisp File, trace-db/lisp/trace-db-interface.lisp: The trace-db/lisp/trace-db-interface<dot>lisp file

M
Module, trace-db/lisp: The trace-db/lisp module

T
trace-db.asd: The trace-db<dot>asd file
trace-db/lisp: The trace-db/lisp module
trace-db/lisp/binary-trace-db.lisp: The trace-db/lisp/binary-trace-db<dot>lisp file
trace-db/lisp/package.lisp: The trace-db/lisp/package<dot>lisp file
trace-db/lisp/sexp-trace-db.lisp: The trace-db/lisp/sexp-trace-db<dot>lisp file
trace-db/lisp/trace-db-interface.lisp: The trace-db/lisp/trace-db-interface<dot>lisp file

Jump to:   F   L   M   T  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   (  
A   B   C   D   F   G   L   M   N   O   P   Q   R   T  
Index Entry  Section

(
(setf db-pointer): Internal generic functions
(setf db-pointer): Internal generic functions
(setf trace-metadata): Exported generic functions
(setf trace-metadata): Exported generic functions
(setf trace-metadata): Exported generic functions
(setf traces): Internal generic functions
(setf traces): Internal generic functions

A
add-trace: Exported generic functions
add-trace: Exported generic functions
add-trace: Exported generic functions
add-trace-points: Internal generic functions
add-trace-points: Internal generic functions
add-trace-points: Internal generic functions

B
build-predicate: Internal functions

C
c-add-trace: Internal functions
c-add-trace-points: Internal functions
c-create-db: Internal functions
c-deserialize-trace-db: Internal functions
c-free-c-predicate: Internal functions
c-free-db: Internal functions
c-free-trace: Internal functions
c-free-trace-points: Internal functions
c-get-names: Internal functions
c-get-points: Internal functions
c-get-trace: Internal functions
c-get-types: Internal functions
c-n-names: Internal functions
c-n-traces: Internal functions
c-n-types: Internal functions
c-query-trace: Internal functions
c-read-trace: Internal functions
c-serialize-trace-db: Internal functions
c-trace-size: Internal functions
cartesian-without-duplicates: Internal functions
convert-trace-points: Internal functions
create-foreign-array: Internal functions

D
db-pointer: Internal generic functions
db-pointer: Internal generic functions

F
file-id: Internal generic functions
file-id: Internal generic functions
file-id: Internal generic functions
Function, build-predicate: Internal functions
Function, c-add-trace: Internal functions
Function, c-add-trace-points: Internal functions
Function, c-create-db: Internal functions
Function, c-deserialize-trace-db: Internal functions
Function, c-free-c-predicate: Internal functions
Function, c-free-db: Internal functions
Function, c-free-trace: Internal functions
Function, c-free-trace-points: Internal functions
Function, c-get-names: Internal functions
Function, c-get-points: Internal functions
Function, c-get-trace: Internal functions
Function, c-get-types: Internal functions
Function, c-n-names: Internal functions
Function, c-n-traces: Internal functions
Function, c-n-types: Internal functions
Function, c-query-trace: Internal functions
Function, c-read-trace: Internal functions
Function, c-serialize-trace-db: Internal functions
Function, c-trace-size: Internal functions
Function, cartesian-without-duplicates: Internal functions
Function, convert-trace-points: Internal functions
Function, create-foreign-array: Internal functions
Function, get-statement-and-bindings: Exported functions
Function, load-libtrace-db: Internal functions
Function, open-file-timeout: Internal functions
Function, read-binary-trace: Exported functions
Function, read-sexp-trace: Exported functions
Function, read-trace-stream: Internal functions

G
Generic Function, (setf db-pointer): Internal generic functions
Generic Function, (setf trace-metadata): Exported generic functions
Generic Function, (setf traces): Internal generic functions
Generic Function, add-trace: Exported generic functions
Generic Function, add-trace-points: Internal generic functions
Generic Function, db-pointer: Internal generic functions
Generic Function, file-id: Internal generic functions
Generic Function, get-trace: Exported generic functions
Generic Function, n-traces: Exported generic functions
Generic Function, parent-db: Internal generic functions
Generic Function, query-trace: Exported generic functions
Generic Function, restrict-to-file: Exported generic functions
Generic Function, trace-metadata: Exported generic functions
Generic Function, trace-size: Exported generic functions
Generic Function, trace-types: Exported generic functions
Generic Function, traces: Internal generic functions
get-statement-and-bindings: Exported functions
get-trace: Exported generic functions
get-trace: Exported generic functions
get-trace: Exported generic functions
get-trace: Exported generic functions
get-trace: Exported generic functions

L
load-libtrace-db: Internal functions

M
Method, (setf db-pointer): Internal generic functions
Method, (setf trace-metadata): Exported generic functions
Method, (setf trace-metadata): Exported generic functions
Method, (setf traces): Internal generic functions
Method, add-trace: Exported generic functions
Method, add-trace: Exported generic functions
Method, add-trace-points: Internal generic functions
Method, add-trace-points: Internal generic functions
Method, db-pointer: Internal generic functions
Method, file-id: Internal generic functions
Method, file-id: Internal generic functions
Method, get-trace: Exported generic functions
Method, get-trace: Exported generic functions
Method, get-trace: Exported generic functions
Method, get-trace: Exported generic functions
Method, n-traces: Exported generic functions
Method, n-traces: Exported generic functions
Method, parent-db: Internal generic functions
Method, parent-db: Internal generic functions
Method, query-trace: Exported generic functions
Method, query-trace: Exported generic functions
Method, query-trace: Exported generic functions
Method, restrict-to-file: Exported generic functions
Method, restrict-to-file: Exported generic functions
Method, trace-metadata: Exported generic functions
Method, trace-metadata: Exported generic functions
Method, trace-metadata: Exported generic functions
Method, trace-metadata: Exported generic functions
Method, trace-size: Exported generic functions
Method, trace-size: Exported generic functions
Method, trace-types: Exported generic functions
Method, trace-types: Exported generic functions
Method, traces: Internal generic functions
Method, traces: Internal generic functions

N
n-traces: Exported generic functions
n-traces: Exported generic functions
n-traces: Exported generic functions

O
open-file-timeout: Internal functions

P
parent-db: Internal generic functions
parent-db: Internal generic functions
parent-db: Internal generic functions

Q
query-trace: Exported generic functions
query-trace: Exported generic functions
query-trace: Exported generic functions
query-trace: Exported generic functions

R
read-binary-trace: Exported functions
read-sexp-trace: Exported functions
read-trace-stream: Internal functions
restrict-to-file: Exported generic functions
restrict-to-file: Exported generic functions
restrict-to-file: Exported generic functions

T
trace-metadata: Exported generic functions
trace-metadata: Exported generic functions
trace-metadata: Exported generic functions
trace-metadata: Exported generic functions
trace-metadata: Exported generic functions
trace-size: Exported generic functions
trace-size: Exported generic functions
trace-size: Exported generic functions
trace-types: Exported generic functions
trace-types: Exported generic functions
trace-types: Exported generic functions
traces: Internal generic functions
traces: Internal generic functions
traces: Internal generic functions

Jump to:   (  
A   B   C   D   F   G   L   M   N   O   P   Q   R   T  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   *   +  
C   D   F   P   S   T  
Index Entry  Section

*
*binary-trace-db-obj-code*: Internal special variables
*single-file-binary-trace-db-obj-code*: Internal special variables
*single-file-sexp-trace-db-obj-code*: Internal special variables
*trace-db-loaded*: Internal special variables

+
+lib-dir+: Internal constants
+trace-id-file-bits+: Exported constants
+trace-id-statement-bits+: Exported constants

C
Constant, +lib-dir+: Internal constants
Constant, +trace-id-file-bits+: Exported constants
Constant, +trace-id-statement-bits+: Exported constants

D
db-pointer: Exported classes

F
file-id: Internal classes
file-id: Internal classes

P
parent-db: Internal classes
parent-db: Internal classes

S
Slot, db-pointer: Exported classes
Slot, file-id: Internal classes
Slot, file-id: Internal classes
Slot, parent-db: Internal classes
Slot, parent-db: Internal classes
Slot, trace-metadata: Exported classes
Slot, trace-metadata: Exported classes
Slot, traces: Exported classes
Special Variable, *binary-trace-db-obj-code*: Internal special variables
Special Variable, *single-file-binary-trace-db-obj-code*: Internal special variables
Special Variable, *single-file-sexp-trace-db-obj-code*: Internal special variables
Special Variable, *trace-db-loaded*: Internal special variables

T
trace-metadata: Exported classes
trace-metadata: Exported classes
traces: Exported classes

Jump to:   *   +  
C   D   F   P   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   B   C   P   S   T  
Index Entry  Section

B
binary-trace-db: Exported classes

C
c-free-variable-tclass: Internal classes
c-predicate-tclass: Internal classes
c-trace-point-struct: Internal classes
c-trace-var-info-struct: Internal classes
Class, binary-trace-db: Exported classes
Class, c-free-variable-tclass: Internal classes
Class, c-predicate-tclass: Internal classes
Class, c-trace-point-struct: Internal classes
Class, c-trace-var-info-struct: Internal classes
Class, sexp-trace-db: Exported classes
Class, single-file-binary-trace-db: Internal classes
Class, single-file-sexp-trace-db: Internal classes
Class, trace-db: Exported classes

P
Package, trace-db: The trace-db package

S
sexp-trace-db: Exported classes
single-file-binary-trace-db: Internal classes
single-file-sexp-trace-db: Internal classes
System, trace-db: The trace-db system

T
trace-db: The trace-db system
trace-db: The trace-db package
trace-db: Exported classes

Jump to:   B   C   P   S   T