Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
public void visitFunctionTypeExpr ( FunctionTypeExpr
functionTypeExpr ) {
functionTypeExpr . type_expr_argument ( ) . accept ( this ) ;
functionTypeExpr . function_arrow ( ) . accept ( this ) ;
functionTypeExpr . type_expr_result ( ) . accept ( this ) ;
}
public void visitSubtypeExpr ( SubtypeExpr subtypeExpr ) {
subtypeExpr . s i n g l e _ t y p i n g ( ) . accept ( this ) ;
subtypeExpr . r e s t r i c t i o n ( ) . accept ( this ) ;
}
public void visitBracketedTypeExpr ( BracketedTypeExpr
bracketedTypeExpr ) {
bracketedTypeExpr . b_type_expr ( ) . accept ( this ) ;
}
public void visitUNIT (UNIT r s l _ u n i t ) {}
public void visitINT (INT r s l _ i n t ) {}
public void visitNAT (NAT rsl_nat ) {}
public void visitREAL (REAL r s l _ r e a l ) {}
public void visitBOOL (BOOL rsl_bool ) {}
public void visitCHAR (CHAR rsl_char ) {}
public void visitTEXT (TEXT r s l _ t e x t ) {}
public void v i s i t F i n i t e S e t T y p e E x p r ( FiniteSetTypeExpr
finiteSetTypeExpr ) {
finiteSetTypeExpr . type_expr ( ) . accept ( this ) ;
}
public void v i s i t I n f i n i t e S e t T y p e E x p r ( InfiniteSetTypeExpr
i n f i n i t e S e t T y p e E x p r ) {
i n f i n i t e S e t T y p e E x p r . i_type_expr ( ) . accept ( this ) ;
}
public void v i s i t F i n i t e L i s t T y p e E x p r ( FiniteListTypeExpr
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 ) ;
}
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 ) {
520