Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
}
public void v i s i t E x p l i c i t F u n c t i o n D e f ( E x p l i c i t F u n c t i o n D e f
e x p l i c i t F u n c t i o n D e f ) {
e x p l i c i t F u n c t i o n D e f . fun_single_typing ( ) . accept ( this ) ;
r e s u l t . append ( "\n" ) ;
e x p l i c i t F u n c t i o n D e f . formal_function_application ( ) . accept ( this ) ;
r e s u l t . append ( " i s " ) ;
e x p l i c i t F u n c t i o n D e f . fun_value_expr ( ) . accept ( this ) ;
e x p l i c i t F u n c t i o n D e f . pre_cond ( ) . accept ( this ) ;
}
public void visitMake_SingleTyping ( Make_SingleTyping
singleTyping ) {
singleTyping . s i n g l e _ t y p i n g ( ) . accept ( this ) ;
}
public void visitMake_MultipleTyping ( Make_MultipleTyping
multipleTyping ) {
multipleTyping . multiple_typing ( ) . accept ( this ) ;
}
public void v i s i t S i n g l e T y p i n g ( SingleTyping singleTyping ) {
singleTyping . binding ( ) . accept ( this ) ;
r e s u l t . append ( " : " ) ;
singleTyping . type_expr ( ) . accept ( this ) ;
}
public void v i s i t M u l t i p l e T y p i n g ( MultipleTyping multipleTyping ) {
for ( Binding binding :
multipleTyping . b i n d i n g _ l i s t ( ) . g e t L i s t ( ) ) {
binding . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( multipleTyping . b i n d 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 . length ( ) − 2 , r e s u l t . length ( ) ) ;
}
r e s u l t . append ( " : " ) ;
multipleTyping . type_expr ( ) . accept ( this ) ;
}
public void v i s i t I d A p p l i c a t i o n ( I d A p p l i c a t i o n i d A p p l i c a t i o n ) {
i d A p p l i c a t i o n . id ( ) . accept ( this ) ;
r e s u l t . append ( " ( " ) ;
i d A p p l i c a t i o n . formal_function_parameter ( ) . accept ( this ) ;
r e s u l t . append ( " ) " ) ;
}
public void visitFormalFunctionParameter ( FormalFunctionParameter
534