Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
}
v a l u e I n f i x E x p r . r i g h t ( ) . accept ( this ) ;
public void v i s i t V a l u e P r e f i x E x p r ( ValuePrefixExpr
valuePrefixExpr ) {
valuePrefixExpr . op ( ) . accept ( this ) ;
valuePrefixExpr . operand ( ) . accept ( this ) ;
}
public void v i s i t A s s i g n E x p r ( AssignExpr assignExpr ) {
assignExpr . id ( ) . accept ( this ) ;
r e s u l t . append ( " : = " ) ;
assignExpr . assign_value_expr ( ) . accept ( this ) ;
}
public void v i sitSequencingExpr ( SequencingExpr seqExpr ) {
seqExpr . f i r s t ( ) . accept ( this ) ;
r e s u l t . append ( " ; " ) ;
seqExpr . second ( ) . accept ( this ) ;
}
public void v i s i t L e t E x p r ( LetExpr letExpr ) {
r e s u l t . append ( " l e t " ) ;
for ( LetDef l e t D e f : letExpr . l e t _ d e f _ l i s t ( ) . g e t L i s t ( ) ) {
l e t D e f . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( letExpr . l e t _ d e f _ 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 . length ( ) − 2 , r e s u l t . length ( ) ) ;
}
r e s u l t . append ( " in " ) ;
letExpr . let_value_expr ( ) . accept ( this ) ;
r e s u l t . append ( " end" ) ;
}
public void visitMake_IfExpr ( Make_IfExpr makeIfExpr ) {
makeIfExpr . if_expr ( ) . accept ( this ) ;
}
public void visitCaseExpr ( CaseExpr caseExpr ) {
r e s u l t . append ( " case " ) ;
caseExpr . c o n d i t i o n ( ) . accept ( this ) ;
r e s u l t . append ( " o f \n" ) ;
for ( CaseBranch cb : caseExpr . case_branch_list ( ) . g e t L i s t ( ) ) {
cb . accept ( this ) ;
r e s u l t . append ( " ,\ n" ) ;
}
i f ( caseExpr . case_branch_list ( ) . l e n ( ) > 0) {
r e s u l t . d e l e t e ( r e s u l t . length ( ) − 2 , r e s u l t . length ( ) ) ;
542