Transformation of Applicative Specifications into Imperative ...

}
r e s u l t . append ( ".>" ) ;
F.2. VISITOR MODULES
public void visitEnumeratedMapExpr ( EnumeratedMapExpr
enumeratedMapExpr ) {
r e s u l t . append ( " [ " ) ;
enumeratedMapExpr . value_expr_pair_list ( ) . accept ( this ) ;
r e s u l t . append ( " ] " ) ;
}
public void visitComprehendedMapExpr ( ComprehendedMapExpr
compMapExpr) {
r e s u l t . append ( " [ " ) ;
compMapExpr . value_expr_pair ( ) . accept ( this ) ;
r e s u l t . append ( " | " ) ;
for ( Typing ty : compMapExpr . t y p i n g _ l i s t ( ) . g e t L i s t ( ) ) {
ty . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f (compMapExpr . t y p i n g _ l i s t ( ) . 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 ( ) ) ;
}
compMapExpr . r e s t r i c t i o n ( ) . accept ( this ) ;
r e s u l t . append ( " ] " ) ;
}
public void v i s i t V a l u e E x p r L i s t ( ValueExprList v e l ) {
for ( ValueExpr ve : v e l . value_expr_list ( ) . g e t L i s t ( ) ) {
ve . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( v e l . 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 ( ) ) ;
}
}
public void visitNoValueExprList ( NoValueExprList nvel ) {}
public void v i s i t R e s t r i c t i o n ( R e s t r i c t i o n r e s t r i c t i o n ) {
r e s u l t . append ( " : − " ) ;
r e s t r i c t i o n . value_expr ( ) . accept ( this ) ;
}
public void v i s i t N o R e s t r i c t i o n ( NoRestriction n r e s t r i c t i o n ) {}
public void v i s i t V a l u e E x p r P a i r ( ValueExprPair vep ) {
vep . f i r s t ( ) . accept ( this ) ;
r e s u l t . append ( " +> " ) ;
vep . second ( ) . accept ( this ) ;
545