Transformation of Applicative Specifications into Imperative ...

}
F.2. VISITOR MODULES
i f ( productExpr . value_expr_list ( ) . l e n ( ) > 0) {
r e s u l t . d e l e t e ( r e s u l t . l ength ( ) − 2 , r e s u l t . length ( ) ) ;
}
r e s u l t . append ( " ) " ) ;
public void visitMake_SetExpr ( Make_SetExpr setExpr ) {
setExpr . set_expr ( ) . accept ( this ) ;
}
public void visitMake_ListExpr ( Make_ListExpr makeListExpr ) {
makeListExpr . l i s t _ e x p r ( ) . accept ( this ) ;
}
public void visitMake_MapExpr (Make_MapExpr mapExpr) {
mapExpr . map_expr ( ) . accept ( this ) ;
}
public void v i s i t A p p l i c a t i o n E x p r ( ApplicationExpr applicationExpr ) {
applicationExpr . value_expr ( ) . accept ( this ) ;
r e s u l t . append ( " ( " ) ;
for ( ValueExpr ve :
applicationExpr . appl_value_expr_list ( ) . g e t L i s t ( ) ) {
ve . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( a pplicationExpr . appl_value_expr_list ( ) . l e n ( ) > 0) {
r e s u l t . d e l e t e ( r e s u l t . l ength ( ) − 2 , r e s u l t . length ( ) ) ;
}
r e s u l t . append ( " ) " ) ;
}
public void visitDisambiguationExpr ( DisambiguationExpr disExpr ) {
disExpr . dis_value_expr ( ) . accept ( this ) ;
r e s u l t . append ( " : " ) ;
disExpr . dis_type_expr ( ) . accept ( this ) ;
}
public void visitBracketedExpr ( BracketedExpr bracketedExpr ) {
r e s u l t . append ( " ( " ) ;
bracketedExpr . bracketed_expr ( ) . accept ( this ) ;
r e s u l t . append ( " ) " ) ;
}
public void v i s i t V a l u e I n f i x E x p r ( ValueInfixExpr v a l u e I n f i x E x p r ) {
v a l u e I n f i x E x p r . l e f t ( ) . accept ( this ) ;
r e s u l t . append ( " " ) ;
v a l u e I n f i x E x p r . op ( ) . accept ( this ) ;
r e s u l t . append ( " " ) ;
541