[aslspec][asl reference] imported the syntax and AST builders to aslspec

Author: Roman-Manevich

asllib/doc/ASLFormal.tex

@@ -1070,20 +1070,9 @@ \section{Conventionally-used Judgments and Notations\label{sec:ConventionallyUse
 We now present functions used conventionally in this reference.
 
 \subsection{Checked Transitions\label{sec:Checked Transitions}}
-\hypertarget{relation-becheck}{}
 \hypertarget{type-builderror}{}
-The function
-\[
-\becheck(\overname{\Bool}{\vb}, \overname{\Strings}{\vcode}) \aslto \{\True\}
-\cup\ \overname{\TBuildError}{\BuildErrorConfig}
-\]
-takes a Boolean value $\vb$ and an error code $\vcode$
-and returns $\True$ when $\vb$ is $\True$ and a build error \configurationterm{} for $\vcode$, otherwise.
-\begin{mathpar}
-\inferrule[be\_check\_true]{}{ \becheck(\True, \vcode) \astarrow \True }
-\hva\and
-\inferrule[be\_check\_false]{}{ \becheck(\False, \vcode) \astarrow \BuildError(\vcode) }
-\end{mathpar}
+\RenderRelation{be_check}
+\RenderProseAndFormally{be_check}
 
 We define a similar function for type errors.
 \RenderRelation{te_check}

asllib/doc/ASLmacros.tex

@@ -422,13 +422,14 @@ \section{Building Parameterized Productions\label{sec:BuildingParameterizedProdu
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 This section defines builder relations for the
 subset of macro productions in \secref{ParametricProductions}
-that are not inlined:
+that are not inlined as well as helper builder relations:
 \begin{itemize}
   \item \ASTRuleRef{List}
   \item \ASTRuleRef{CList}
   \item \ASTRuleRef{PList}
   \item \ASTRuleRef{NTCList}
   \item \ASTRuleRef{Option}
+  \item \ASTRuleRef{Identifier}
 \end{itemize}
 
 We also define \ASTRuleRef{Identity},
@@ -584,6 +585,10 @@ \section{Building Parameterized Productions\label{sec:BuildingParameterizedProdu
 }
 \end{mathpar}
 
+\ASTRuleDef{Identifier}
+\RenderRelation{build_identifier_token}
+\RenderProseAndFormally{build_identifier_token}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \section{Transforming Assignable Expressions\label{sec:LeftToRight}}
 \RenderRelation{rexpr}

asllib/doc/AbstractSyntax.tex

@@ -124,12 +124,7 @@ \chapter{Assignable Expressions\label{chap:AssignableExpressions}}
 \end{flalign*}
 
 \ASTRuleDef{LExpr}
-\hypertarget{build-lexpr}{}
-The function
-\[
-  \buildlexpr(\overname{\parsenode{\Nlexpr}}{\vparsednode}) \;\aslto\; \overname{\lexpr}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
+\RenderRelation{build_lexpr}
 
 \begin{mathpar}
 \inferrule[discard]{}{
@@ -187,12 +182,7 @@ \chapter{Assignable Expressions\label{chap:AssignableExpressions}}
 \end{mathpar}
 
 \ASTRuleDef{BasicLexpr}
-\hypertarget{build-basiclexpr}{}
-The function
-\[
-  \buildbasiclexpr(\overname{\parsenode{\Nbasiclexpr}}{\vparsednode}) \;\aslto\; (\overname{\Identifier}{\vbase} \aslsep \overname{\lhsaccess}{\vlhsaccess})
-\]
-transforms a parse node $\vparsednode$ into a pair of AST nodes, $\vbase$ and $\vlhsaccess$.
+\RenderRelation{build_basic_lexpr}
 
 \begin{mathpar}
 \inferrule[no\_slices]{
@@ -229,14 +219,7 @@ \chapter{Assignable Expressions\label{chap:AssignableExpressions}}
 \end{mathpar}
 
 \ASTRuleDef{Access}
-
-\hypertarget{build-access}{}
-The function
-\[
-  \buildaccess(\overname{\parsenode{\Naccess}}{\vparsednode}) \;\aslto
-  \overname{\KleeneStar{\fieldorarrayaccess}}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
+\RenderRelation{build_access}
 
 \begin{mathpar}
 \inferrule[empty]{}{
@@ -259,15 +242,7 @@ \chapter{Assignable Expressions\label{chap:AssignableExpressions}}
 \end{mathpar}
 
 \ASTRuleDef{DiscardOrBasicLexpr}
-\hypertarget{build-discardorbasiclexpr}{}
-The function
-\[
-\begin{array}{r}
-  \builddiscardorbasiclexpr(\overname{\parsenode{\Ndiscardorbasiclexpr}}{\vparsednode}) \;\aslto\\
-  \overname{\Option{(\Identifier, \lhsaccess)}}{\vastnode}
-\end{array}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
+\RenderRelation{build_discard_or_basic_lexpr}
 
 \begin{mathpar}
 \inferrule[discard]{}{
@@ -287,15 +262,7 @@ \chapter{Assignable Expressions\label{chap:AssignableExpressions}}
 \end{mathpar}
 
 \ASTRuleDef{DiscardOrIdentifier}
-\hypertarget{build-discardoridentifier}{}
-The function
-\[
-\begin{array}{r}
-  \builddiscardoridentifier(\overname{\parsenode{\Ndiscardoridentifier}}{\vparsednode}) \;\aslto
-  \overname{\Option{\Identifier}}{\vastnode}
-\end{array}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
+\RenderRelation{build_discard_or_identifier}
 
 \begin{mathpar}
 \inferrule[none]{}{

asllib/doc/AssignableExpressions.tex

@@ -124,14 +124,7 @@ \section{Nested Bitfields\label{sec:Nested Bitfields}}
 \RenderType[remove_hypertargets]{bitfield}
 
 \ASTRuleDef{Bitfields}
-\NotImportedToASLSpecYet{
-\hypertarget{build-bitfields}{}
-The function
-\[
-  \buildbitfields(\overname{\parsenode{\Nbitfields}}{\vparsednode}) \;\aslto\; \overname{\KleeneStar{\bitfield}}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_bitfields}
 
 
 \begin{mathpar}
@@ -148,14 +141,7 @@ \section{Nested Bitfields\label{sec:Nested Bitfields}}
 \end{mathpar}
 
 \ASTRuleDef{Bitfield}
-\NotImportedToASLSpecYet{
-\hypertarget{build-bitfield}{}
-The function
-\[
-  \buildbitfield(\overname{\parsenode{\Nbitfield}}{\vparsednode}) \;\aslto\; \overname{\bitfield}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_bitfield}
 
 
 \begin{mathpar}

asllib/doc/Bitfields.tex

@@ -50,14 +50,7 @@ \chapter{Catching Exceptions\label{chap:CatchingExceptions}}
 \RenderType[remove_hypertargets]{catcher}
 
 \ASTRuleDef{Catcher}
-\NotImportedToASLSpecYet{
-\hypertarget{build-catcher}{}
-The function
-\[
-\buildcatcher(\overname{\parsenode{\Ncatcher}}{\vparsednode}) \;\aslto\; \overname{\catcher}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_catcher}
 
 \begin{mathpar}
 \inferrule[named]{}{

asllib/doc/CatchingExceptions.tex

@@ -46,16 +46,7 @@ \chapter{Expressions\label{chap:Expressions}}
 
 \paragraph{Abstract Syntax:} Expressions are derived in the abstract syntax from $\expr$,
 and generated by $\buildexpr$.
-\NotImportedToASLSpecYet{
-\hypertarget{build-expr}{}
-The function
-\[
-  \buildexpr(\overname{\parsenode{\Nexpr}}{\vparsednode}) \;\aslto\; \overname{\expr}{\vastnode}
-  \cup \overname{\TBuildError}{\BuildErrorConfig}
-\]
-transforms an expression parse node $\vparsednode$ into an expression AST node $\vastnode$.
-\ProseOtherwiseBuildError
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_expr}
 
 
 \paragraph{Typing:}
@@ -290,18 +281,7 @@ \subsection{Abstract Syntax}
 }
 \end{mathpar}
 
-\NotImportedToASLSpecYet{
-\hypertarget{build-checknotsameprec}{}
-The function
-\[
-\checknotsameprec(\overname{\binop}{\op} \aslsep \overname{\expr}{\ve})
-\aslto \{\True\} \cup \overname{\TBuildError}{\BuildErrorConfig}
-\]
-checks whether the expression AST node $\ve$ is a binary operator, either with a different operator to $\op$ but the same \emph{precedence}, or the same non-associative operator $\op$.
-In either case, it is considered an error.
-Surrounding $\ve$ by parenthesis fixes the error.
-} % END_OF_UNIMPORTED_RELATION
-
+\RenderRelation{check_not_same_prec}
 
 For example, \texttt{a + b + c} is considered legal, since the same binary operator (\texttt{+})
 is used, whereas \texttt{a - b - c} and \texttt{a + b - c} are considered illegal.
@@ -633,13 +613,7 @@ \subsection{Abstract Syntax}
 \RenderTypes[remove_hypertargets]{expr_call}
 
 \ASTRuleDef{Call}
-\texthypertarget{build-call}
-The function
-\[
-  \buildcall(\overname{\parsenode{\Ncall}}{\vparsednode}) \astarrow \overname{\call}{\vastnode} \cup \overname{\TBuildError}{\BuildErrorConfig}
-\]
-constructs a call expression AST from a parse tree for a subprogram call.
-\ProseOtherwiseBuildError
+\RenderRelation{build_call}
 
 \begin{mathpar}
 \inferrule{
@@ -1460,14 +1434,7 @@ \subsection{Abstract Syntax}
 \end{mathpar}
 
 \ASTRuleDef{FieldAssign}
-\NotImportedToASLSpecYet{
-\hypertarget{build-fieldassign}{}
-The function
-\[
-  \buildfieldassign(\overname{\parsenode{\Nfieldassign}}{\vparsednode}) \;\aslto\; \overname{(\Identifier, \expr)}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_field_assign}
 
 
 \begin{mathpar}

asllib/doc/Expressions.tex

@@ -229,17 +229,7 @@ \section{Configurable Global Storage Declarations\label{sec:ConfigurableGlobalSt
 \end{mathpar}
 
 \ASTRuleDef{GlobalDeclKeywordNonConfig}
-\NotImportedToASLSpecYet{
-\hypertarget{build-globaldeclkeywordnonconfig}{}
-The function
-\[
-\begin{array}{r}
-\buildglobaldeclkeywordnonconfig(\overname{\parsenode{\Nglobaldeclkeywordnonconfig}}{\vparsednode}) \aslto \\
-  \overname{\globaldeclkeyword}{\vastnode}
-\end{array}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_global_decl_keyword_non_config}
 
 
 \begin{mathpar}
@@ -273,17 +263,7 @@ \section{Configurable Global Storage Declarations\label{sec:ConfigurableGlobalSt
 \end{mathpar}
 
 \ASTRuleDef{GlobalDeclKeyword}
-\NotImportedToASLSpecYet{
-\hypertarget{build-globaldeclkeyword}{}
-The function
-\[
-\begin{array}{r}
-\buildglobaldeclkeyword(\overname{\parsenode{\Nglobaldeclkeyword}}{\vparsednode}) \aslto \\
-  \overname{\globaldeclkeyword}{\vastnode}
-\end{array}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_global_decl_keyword}
 
 
 \begin{mathpar}

asllib/doc/GlobalStorageDeclarations.tex

@@ -49,16 +49,9 @@ \chapter{Literals\label{chap:Literals}}
 \RenderType[remove_hypertargets]{literal}
 
 \subsection{ASTRule.Value \label{sec:ASTRule.Value}}
-\NotImportedToASLSpecYet{
-\hypertarget{build-value}{}
-The function
-\[
-  \buildvalue(\overname{\parsenode{\Nvalue}}{\vparsednode}) \;\aslto\; \overname{\literal}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ for $\Nvalue$, except for enumeration labels,
-into an AST node $\vastnode$ for $\literal$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_value}
 
+\BackupRule{
 \begin{mathpar}
 \inferrule[integer]{}{
   \buildvalue(\Nvalue(\Tintlit(\vi))) \astarrow
@@ -93,6 +86,8 @@ \subsection{ASTRule.Value \label{sec:ASTRule.Value}}
   \overname{\LString(\vs)}{\vastnode}
 }
 \end{mathpar}
+} % END_OF_BACKUP
+\RenderProseAndFormally{build_value}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \TypeRulesDef{Literals}

asllib/doc/Literals.tex

@@ -74,15 +74,7 @@ \chapter{Local Storage Declarations\label{chap:LocalStorageDeclarations}}
 \ASLListing{Illegal local storage declarations that discard all storage elements}{local-storage-discards}{\syntaxtests/GuideRule.DiscardingLocalStorageDeclarations.asl}
 
 \ASTRuleDef{LocalDeclKeyword}
-\NotImportedToASLSpecYet{
-\hypertarget{build-localdeclkeyword}{}
-The function
-\[
-\buildlocaldeclkeyword(\overname{\parsenode{\Nlocaldeclkeyword}}{\vparsednode}) \;\aslto\;
-  \overname{\localdeclkeyword}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_local_decl_keyword}
 
 
 % Transliteration note: simplify this when `--allow-local-constants' is removed.
@@ -100,14 +92,7 @@ \chapter{Local Storage Declarations\label{chap:LocalStorageDeclarations}}
 \end{mathpar}
 
 \ASTRuleDef{DeclItem}
-\NotImportedToASLSpecYet{
-\hypertarget{build-declitem}{}
-The function
-\[
-  \builddeclitem(\overname{\parsenode{\Ndeclitem}}{\vparsednode}) \;\aslto\; \overname{\localdeclitem}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_decl_item}
 
 
 \begin{mathpar}
@@ -133,15 +118,7 @@ \chapter{Local Storage Declarations\label{chap:LocalStorageDeclarations}}
 \end{mathpar}
 
 \ASTRuleDef{IgnoredOrIdentifier}
-\NotImportedToASLSpecYet{
-\hypertarget{build-ignoredoridentifier}{}
-The relation
-\[
-\buildfuncargs(\overname{\parsenode{\Nignoredoridentifier}}{\vparsednode}) \;\aslrel\;
-  \overname{\Identifier}{\vastnode}
-\]
-transforms a parse node $\vparsednode$ into an AST node $\vastnode$.
-} % END_OF_UNIMPORTED_RELATION
+\RenderRelation{build_ignored_or_identifier}
 
 
 \begin{mathpar}