Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
}
r e s u l t . append ( " ) " ) ;
public void v i s i t M a k e L i s t P a t t e r n L e t ( MakeListPatternLet l i s t P a t t e r n )
{
l i s t P a t t e r n . l i s t _ p a t t e r n ( ) . accept ( this ) ;
}
public void v i s i t M a k e L i s t P a t t e r n ( MakeListPattern l i s t P a t t e r n ) {
l i s t P a t t e r n . l i s t _ p a t t e r n ( ) . accept ( this ) ;
}
public void visitMake_EnumeratedListPattern (
Make_EnumeratedListPattern
enumListPattern ) {
enumListPattern . enum_list_pattern ( ) . accept ( this ) ;
}
public void v i s i t C o n c a t e n a t e d L i s t P a t t e r n ( ConcatenatedListPattern
c o n c a t L i s t P a t t e r n ) {
c o n c a t L i s t P a t t e r n . c_enum_list_pattern ( ) . accept ( this ) ;
r e s u l t . append ( " ^ " ) ;
c o n c a t L i s t P a t t e r n . c_inner_pattern ( ) . accept ( this ) ;
}
public void visitEnumeratedListPattern ( EnumeratedListPattern
enumListPattern ) {
r e s u l t . append ( "" ) ;
}
public void v i s i t I n n e r P a t t e r n L i s t ( I n n e r P a t t e r n L i s t
i n n e r P a t t e r n L i s t ) {
for ( Pattern pattern :
i n n e r P a t t e r n L i s t . 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 ( i n n e r P a t t e r n L i s t . 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 . length ( ) − 2 , r e s u l t . length ( ) ) ;
}
}
public void v i s i t N o I n n e r P a t t e r n ( NoInnerPattern noInnerPattern ) {}
public void v i s i t V a l u e L i t e r a l P a t t e r n ( V a l u e L i t e r a l P a t t e r n
pattern ) {
pattern . v a l u e _ l i t e r a l ( ) . accept ( this ) ;
550