Transformation of Applicative Specifications into Imperative ...

}
F.2. VISITOR MODULES
f i n i t e L i s t T y p e E x p r ) {
f i n i t e L i s t T y p e E x p r . type_expr ( ) . accept ( this ) ;
r e s u l t . append ( "− l i s t " ) ;
public void v i s i t I n f i n i t e L i s t T y p e E x p r ( I n f i n i t e L i s t T y p e E x p r
i n f i n i t e L i s t T y p e E x p r ) {
i n f i n i t e L i s t T y p e E x p r . i_type_expr ( ) . accept ( this ) ;
r e s u l t . append ( "− i n f l i s t " ) ;
}
public void visitFiniteMapTypeExpr ( FiniteMapTypeExpr
finiteMapTypeExpr ) {
finiteMapTypeExpr . type_expr_dom ( ) . accept ( this ) ;
r e s u l t . append ( " −m−> " ) ;
finiteMapTypeExpr . type_expr_range ( ) . accept ( this ) ;
}
public void visitInfiniteMapTypeExpr ( InfiniteMapTypeExpr
infiniteMapTypeExpr ) {
infiniteMapTypeExpr . i_type_expr_dom ( ) . accept ( this ) ;
r e s u l t . append ( " −~m−> " ) ;
infiniteMapTypeExpr . i_type_expr_range ( ) . accept ( this ) ;
}
public void visitTOTAL_FUNCTION_ARROW(TOTAL_FUNCTION_ARROW
totalFunctionArrow ) {
r e s u l t . append ( "−>" ) ;
}
public void visitPARTIAL_FUNCTION_ARROW(PARTIAL_FUNCTION_ARROW
partialFunctionArrow ) {
r e s u l t . append ( "−~−>" ) ;
}
public void v i s i t R e s u l t D e s c ( ResultDesc r e s u l t D e s c ) {
r e s u l t D e s c . read_access_desc ( ) . accept ( this ) ;
r e s u l t D e s c . write_access_desc ( ) . accept ( this ) ;
r e s u l t D e s c . type_expr ( ) . accept ( this ) ;
}
public void visitReadAccessDesc ( ReadAccessDesc readAccessDesc ) {
r e s u l t . append ( " read " ) ;
for ( Access ac : readAccessDesc . a c c e s s _ l i s t ( ) . g e t L i s t ( ) ) {
ac . accept ( this ) ;
r e s u l t . append ( " , " ) ;
}
i f ( readAccessDesc . a c c e s s _ 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 . l ength ( ) − 2 , r e s u l t . length ( ) − 1) ;
539