Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
public void visitOVERRIDE (OVERRIDE r s l _ o v e r r i d e ) {
r e s u l t . append ( " ! ! " ) ;
}
public void visitCOMPOSITION(COMPOSITION rsl_composition ) {
r e s u l t . append ( "#" ) ;
}
public void visitIMPLIES (IMPLIES i m p l i e s ) {
r e s u l t . append ( "=>" ) ;
}
public void visitOR (OR or ) {
r e s u l t . append ( " \ \ / " ) ;
}
public void visitAND (AND and ) {
r e s u l t . append ( " / \ \ " ) ;
}
public void visitABS (ABS rsl_abs ) {
r e s u l t . append ( " abs " ) ;
}
public void visitINTCAST (INTCAST r s l _ i n t c a s t ) {
r e s u l t . append ( " i n t " ) ;
}
public void visitREALCAST (REALCAST r s l _ r e a l c a s t ) {
r e s u l t . append ( " r e a l " ) ;
}
public void visitLEN (LEN r s l _ l e n ) {
r e s u l t . append ( " l e n " ) ;
}
public void visitINDS (INDS r s l _ i n d s ) {
r e s u l t . append ( " inds " ) ;
}
public void visitELEMS (ELEMS rsl_elems ) {
r e s u l t . append ( " elems " ) ;
}
public void visitHD (HD rsl_hd ) {
r e s u l t . append ( "hd " ) ;
}
public void visitTL (TL r s l _ t l ) {
548