next up previous contents
Next: 4.2 Indexing Up: 4 The classifier Previous: 4 The classifier

4.1 Procedure level

Syntax:

 classified_procedure ::= (proc procedure_name clause_count indexing

{clause_classification} tex2html_wrap_inline2789 )

Description:

proc
Each description of a procedure starts with the tag proc.
procedure_name
The name and the arity of clauses yield the procedure name.
clause_count
Clause_count gives the number of clauses belonging to the procedure.
indexing
Indexing information for the procedure.

Example:

Prolog-like source:
foo(...).
foo(...) :- . . .  .
.  .  .
\ Lisp-like source:
(hn (foo ...))
(ft (foo ...) . . .)
.  .  .

Classified Clauses:

(db (proc foo/2 2
          indexing
          clause_classification
          clause_classification)
    .  .  .)

Remark:
It is planned for the future to extend the description of a procedure by information about the modes of the arguments in all feasible calls to the procedure. In this way it should be possible that, on the one hand, the user can declare the modes and, on the other hand, a mode interpreter can compute the modes automatically. Thus the mode interpreter could check the consistency of the modes generated by the user in exactly the same way.



Harold Boley (boley@informatik.uni-kl.de)