primitive

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
primitive    [Class]

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.

evaluation-specs   primitive  [Generic function]

Returns the evaluation-specs of the specified primitive

slot-specs   primitive  [Generic function]

Returns the slot-specs of the specified primitive

id   primitive  [Generic function]

Returns the id of the specified primitive

slot-spec    [Structure]
slot-spec-type   slot-spec  [Function]

Returns the type of the specified slot-spec

slot-spec-name   slot-spec  [Function]

Returns the name of the specified slot-spec

make-slot-spec   &key name type  [Function]

Returns a newly created slot-spec.

copy-slot-spec   slot-spec  [Function]

Returns a copy of the specified slot-spec.

slot-spec-p   object  [Function]

Returns T if the specified object is of type slot-spec.

evaluation-spec    [Structure]
evaluation-spec-bound-slots-pattern   evaluation-spec  [Function]

Returns and (with setf) changes the bound-slots-pattern of the specified evaluation-spec

evaluation-spec-function   evaluation-spec  [Function]

Returns and (with setf) changes the function of the specified evaluation-spec

evaluation-spec-unbound-slot-names   evaluation-spec  [Function]

Returns and (with setf) changes the unbound-slot-names of the specified evaluation-spec

evaluation-spec-bound-slot-names   evaluation-spec  [Function]

Returns and (with setf) changes the bound-slot-names of the specified evaluation-spec

evaluation-spec-pattern   evaluation-spec  [Function]

Returns and (with setf) changes the pattern of the specified evaluation-spec

make-evaluation-spec   &key pattern bound-slot-names unbound-slot-names function bound-slots-pattern  [Function]

Returns a newly created evaluation-spec.

copy-evaluation-spec   evaluation-spec  [Function]

Returns a copy of the specified evaluation-spec.

evaluation-spec-p   object  [Function]

Returns T if the specified object is of type evaluation-spec.

print-object   (slot-spec slot-spec) stream  [Method]
print-object   (type primitive) stream  [Method]
check-slot-spec-defs   slot-spec-defs  [Function]

definition format checking

check-bindings   bindings unbound-slot-names primitive pattern  [Function]
expand-evaluation-spec   primitive evaluation-spec-def slot-spec-defs  [Function]
check-evaluation-spec-defs   evaluation-spec-defs slot-specs  [Function]
expand-evaluation-specs   primitive evaluation-spec-defs slot-spec-defs  [Function]
primitive-p   obj  [Function]
slot-count   primitive  [Function]

Return the number of slots of the primitive.

get-primitive   id &key surpress-errors  [Function]

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.

make-slot-specs   slot-spec-defs  [Macro]

Creates slot specs from a list of slot-spec definitions of the form: ((slot-name slot-type)*)

defprimitive   id slot-spec-defs &body evaluation-spec-defs  [Macro]

Creates a parameter for the primitive, which is instantiated as concrete primitives in irl programs.