Class summary | |
---|---|
primitive |
Structure summary | |
---|---|
evaluation-spec | |
slot-spec |
Method summary | |
---|---|
evaluation-specs | primitive |
id | primitive |
print-object | (slot-spec slot-spec) stream |
print-object | (type primitive) stream |
slot-specs | primitive |
Function summary | |
---|---|
check-bindings | bindings unbound-slot-names primitive pattern |
check-evaluation-spec-defs | evaluation-spec-defs slot-specs |
check-slot-spec-defs | slot-spec-defs |
copy-evaluation-spec | evaluation-spec |
copy-slot-spec | slot-spec |
evaluation-spec-bound-slot-names | evaluation-spec |
evaluation-spec-bound-slots-pattern | evaluation-spec |
evaluation-spec-function | evaluation-spec |
evaluation-spec-p | object |
evaluation-spec-pattern | evaluation-spec |
evaluation-spec-unbound-slot-names | evaluation-spec |
expand-evaluation-spec | primitive evaluation-spec-def slot-spec-defs |
expand-evaluation-specs | primitive evaluation-spec-defs slot-spec-defs |
get-primitive | id &key surpress-errors |
make-evaluation-spec | &key pattern bound-slot-names unbound-slot-names function bound-slots-pattern |
make-slot-spec | &key name type |
primitive-p | obj |
slot-count | primitive |
slot-spec-name | slot-spec |
slot-spec-p | object |
slot-spec-type | slot-spec |
Macro summary | |
---|---|
defprimitive | id slot-spec-defs &body evaluation-spec-defs |
make-slot-specs | slot-spec-defs |
Represents the 'type' of a primitive, i.e. all the information that is passed to defprimitive
:id | [Initarg] |
:slot-specs | [Initarg] |
:evaluation-specs | [Initarg] |
id | [Slot] |
The identifier.
slot-specs | [Slot] |
The list of <slot-spec> specified for the primitive.
Each of these specifies the details of one of the slots of the primitive.
evaluation-specs | [Slot] |
The evaluation-spec instances associated with this type.
Returns and (with setf) changes the bound-slots-pattern of the specified evaluation-spec
Returns and (with setf) changes the function of the specified evaluation-spec
Returns and (with setf) changes the unbound-slot-names of the specified evaluation-spec
Returns and (with setf) changes the bound-slot-names of the specified evaluation-spec
Return the primitive bound to the given id. An error is thrown if this given symbol is unbound or if the bound value is not a primitive.
Creates slot specs from a list of slot-spec definitions of the form: ((slot-name slot-type)*)