Transformation of Applicative Specifications into Imperative ...

F.2. VISITOR MODULES
public void v i s i t T y p e L i t e r a l ( TypeLiteral t y p e L i t e r a l ) {
t y p e L i t e r a l . t y p e _ l i t e r a l ( ) . accept ( this ) ;
}
public void visitTypeName (TypeName typeName ) {
typeName . id ( ) . accept ( this ) ;
}
public void visitTypeExprProduct ( TypeExprProduct
typeExprProduct ) {
for ( TypeExpr te :
typeExprProduct . component_list ( ) . g e t L i s t ( ) ) {
te . accept ( this ) ;
r e s u l t . append ( " >< " ) ;
}
i f ( typeExprProduct . component_list ( ) . l e n ( ) > 0) {
r e s u l t . d e l e t e ( r e s u l t . l ength ( ) − 4 , r e s u l t . length ( ) ) ;
}
}
public void visitTypeExprSet ( TypeExprSet typeExprSet ) {
typeExprSet . type_expr_set ( ) . accept ( this ) ;
}
public void visitTypeExprList ( TypeExprList typeExprList ) {
typeExprList . type_expr_list ( ) . accept ( this ) ;
}
public void visitTypeExprMap (TypeExprMap
typeExprMap ) {
typeExprMap . type_expr_map ( ) . accept ( this ) ;
}
public void visitFunctionTypeExpr ( FunctionTypeExpr
functionTypeExpr ) {
functionTypeExpr . type_expr_argument ( ) . accept ( this ) ;
r e s u l t . append ( " " ) ;
functionTypeExpr . function_arrow ( ) . accept ( this ) ;
r e s u l t . append ( " " ) ;
functionTypeExpr . type_expr_result ( ) . accept ( this ) ;
}
public void visitSubtypeExpr ( SubtypeExpr subtypeExpr ) {
r e s u l t . append ( " { | " ) ;
subtypeExpr . s i n g l e _ t y p i n g ( ) . accept ( this ) ;
r e s u l t . append ( " : − " ) ;
subtypeExpr . r e s t r i c t i o n ( ) . accept ( this ) ;
r e s u l t . append ( " | } " ) ;
}
537