Transformation of Applicative Specifications into Imperative ...

public void visitSTAR (STAR r s l _ s t a r ) {
r e s u l t . append ( "∗" ) ;
}
public void visitSLASH (SLASH r s l _ s l a s h ) {
r e s u l t . append ( "/" ) ;
}
F.2. VISITOR MODULES
public void visitBACKSLASH (BACKSLASH r s l _ b a c k s l a s h ) {
r e s u l t . append ( "\\" ) ;
}
public void visitEXP (EXP rsl_exp ) {
r e s u l t . append ( "∗∗" ) ;
}
public void visitSUBSET (SUBSET r s l _ s u b s e t ) {
r e s u l t . append ( "" ) ;
}
public void visitMEMBER(MEMBER rsl_member ) {
r e s u l t . append ( " i s i n " ) ;
}
public void visitNOTMEMBER(NOTMEMBER rsl_notMEMBER) {
r e s u l t . append ( "~ i s i n " ) ;
}
public void visitUNION (UNION rsl_union ) {
r e s u l t . append ( " union " ) ;
}
public void visitINTER (INTER r s l _ i n t e r ) {
r e s u l t . append ( " i n t e r " ) ;
}
547