diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-10 20:07:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-10 20:07:45 +0000 |
| commit | c9623290591d36710b6abea5f71962366d287335 (patch) | |
| tree | be07a5f897d788f4b8d34bf8641b12317c6240e7 /src/algebra/syntax.spad.pamphlet | |
| parent | 24a3196e17dc9792891c284c67d6dbe2171fd2d8 (diff) | |
| download | open-axiom-c9623290591d36710b6abea5f71962366d287335.tar.gz | |
* algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.
(HeadAst): Likewise.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 939d040b..04f666e4 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -335,7 +335,49 @@ ElaboratedExpression(): Public == Private where @ +\section{SpadAbstractSyntaxCategory} + +<<category ASTCAT AbstractSyntaxCategory>>= +)abbrev category ASTCAT AbstractSyntaxCategory +++ Author: Gabriel Dos Reis +++ Date Created: July 5, 2008 +++ Date Last Modified: July 5, 2008 +++ Description: This is the category of Spad abstract syntax trees. +AbstractSyntaxCategory(): Category == + Join(SetCategory, CoercibleTo Syntax) + add + coerce(x: %): Syntax == + x pretend Syntax + coerce(x: %): OutputForm == + x::Syntax::OutputForm +@ + +\subsection{The HeadAst domain} + +<<domain HEADAST HeadAst>>= +)abbrev domain HEADAST HeadAst +++ Author: Gabriel Dos Reis +++ Date Created: November 10, 2007 +++ Date Last Modified: July 2008 +++ Description: This domain represents the header of a definition. +HeadAst(): Public == Private where + Public == AbstractSyntaxCategory with + headAst: List Symbol -> % + ++ headAst [f,x1,..,xn] constructs a function definition header. + name: % -> Symbol + ++ name(h) returns the name of the operation defined defined. + parameters: % -> List Symbol + ++ parameters(h) gives the parameters specified in the + ++ definition header `h'. + Private == add + Rep == List Symbol + headAst h == per h + name h == first rep h + parameters h == rest rep h +@ + \section{License} + <<license>>= --Copyright (C) 2007-2008, Gabriel Dos Reis. --All rights reserved. @@ -374,6 +416,9 @@ ElaboratedExpression(): Public == Private where <<domain SYNTAX Syntax>> <<domain CTORCALL ConstructorCall>> <<domain ELABEXPR ElaboratedExpression>> + +<<category ASTCAT AbstractSyntaxCategory>> +<<domain HEADAST HeadAst>> @ \end{document} |