Transformation of Applicative Specifications into Imperative ...

}
F.2. VISITOR MODULES
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 ) ;
public void visitFiniteMapTypeExpr ( FiniteMapTypeExpr
finiteMapTypeExpr ) {
finiteMapTypeExpr . type_expr_dom ( ) . accept ( this ) ;
finiteMapTypeExpr . type_expr_range ( ) . accept ( this ) ;
}
public void visitInfiniteMapTypeExpr ( InfiniteMapTypeExpr
infiniteMapTypeExpr ) {
infiniteMapTypeExpr . i_type_expr_dom ( ) . accept ( this ) ;
infiniteMapTypeExpr . i_type_expr_range ( ) . accept ( this ) ;
}
public void visitTOTAL_FUNCTION_ARROW(TOTAL_FUNCTION_ARROW
totalFunctionArrow ) {}
public void visitPARTIAL_FUNCTION_ARROW(PARTIAL_FUNCTION_ARROW
partialFunctionArrow ) {}
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 ) {
}
for ( Access ac : readAccessDesc . a c c e s s _ l i s t ( ) . g e t L i s t ( ) ) {
ac . accept ( this ) ;
}
public void visitNoReadAccessMode ( NoReadAccessMode
noReadAccessMode ) {}
public void v i s i t W r i t e A c c e s s D e s c ( WriteAccessDesc
writeAccessDesc ) {
for ( Access ac : writeAccessDesc . a c c e s s _ l i s t ( ) . g e t L i s t ( ) ) {
ac . accept ( this ) ;
}
}
public void visitNoWriteAccessMode ( NoWriteAccessMode
noWriteAccessMode ) {}
521