Transformation of Applicative Specifications into Imperative ...

}
r e s u l t . append ( " t l " ) ;
public void visitNOT (NOT rsl_not ) {
r e s u l t . append ( "~" ) ;
}
F.2. VISITOR MODULES
public void visitPREFIXMINUS (PREFIXMINUS r s l _ p r e f i x m i n u s ) {
r e s u l t . append ( "−" ) ;
}
public void visitPREFIXPLUS (PREFIXPLUS p r e f i x p l u s ) {
r e s u l t . append ( "+" ) ;
}
public void visitCARD (CARD rsl_card ) {
r e s u l t . append ( " card " ) ;
}
public void visitDOM (DOM rsl_dom ) {
r e s u l t . append ( "dom " ) ;
}
public void visitRNG (RNG rsl_rng ) {
r e s u l t . append ( " rng " ) ;
}
public void v i s i t L e t D e f ( LetDef l e t D e f ) {
l e t D e f . binding ( ) . accept ( this ) ;
r e s u l t . append ( " = " ) ;
l e t D e f . value_expr ( ) . accept ( this ) ;
}
public void visitMakeBinding ( MakeBinding binding ) {
binding . binding ( ) . accept ( this ) ;
}
public void visitMakeRecordPattern ( MakeRecordPattern recordPattern )
{
recordPattern . value_or_variable_name ( ) . accept ( this ) ;
r e s u l t . append ( " ( " ) ;
for ( Pattern pattern :
recordPattern . i n n e r _ p a t t e r n _ l i s t ( ) . g e t L i s t ( ) ) {
pattern . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( recordPattern . i n n e r _ p a t t e r n _ 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 ( ) ) ;
}
549