Transformation of Applicative Specifications into Imperative ...

F.2. VISITOR MODULES
public void v i s i t V a l u e D e c l ( ValueDecl valueDecl ) {
for ( ValueDef valueDef :
valueDecl . v a l u e _ d e f _ l i s t ( ) . g e t L i s t ( ) ) {
valueDef . accept ( this ) ;
}
}
public void v i s i t E x p l i c i t V a l u e D e f ( ExplicitValueDef e x p l i c i t V a l u e D e f
) {
e x p l i c i t V a l u e D e f . s i n g l e _ t y p i n g ( ) . accept ( this ) ;
e x p l i c i t V a l u e D e f . value_expr ( ) . accept ( this ) ;
}
public void v i s i t E x p l i c i t F u n c t i o n D e f ( E x p l i c i t F u n c t i o n D e f
e x p l i c i t F u n c t i o n D e f ) {
e x p l i c i t F u n c t i o n D e f . fun_single_typing ( ) . accept ( this ) ;
e x p l i c i t F u n c t i o n D e f . formal_function_application ( ) . accept ( this ) ;
e x p l i c i t F u n c t i o n D e f . fun_value_expr ( ) . accept ( this ) ;
e x p l i c i t F u n c t i o n D e f . pre_cond ( ) . accept ( this ) ;
}
public void visitMake_SingleTyping ( Make_SingleTyping singleTyping )
{
singleTyping . s i n g l e _ t y p i n g ( ) . accept ( this ) ;
}
public void visitMake_MultipleTyping ( Make_MultipleTyping
multipleTyping ) {
multipleTyping . multiple_typing ( ) . accept ( this ) ;
}
public void v i s i t S i n g l e T y p i n g ( SingleTyping singleTyping ) {
singleTyping . binding ( ) . accept ( this ) ;
singleTyping . type_expr ( ) . accept ( this ) ;
}
public void v i s i t M u l t i p l e T y p i n g ( MultipleTyping multipleTyping ) {
for ( Binding binding : multipleTyping . b i n d i n g _ l i s t ( ) . g e t L i s t ( ) )
{
binding . accept ( this ) ;
}
multipleTyping . type_expr ( ) . accept ( this ) ;
}
public void v i s i t I d A p p l i c a t i o n ( I d A p p l i c a t i o n i d A p p l i c a t i o n ) {
i d A p p l i c a t i o n . id ( ) . accept ( this ) ;
i d A p p l i c a t i o n . formal_function_parameter ( ) . accept ( this ) ;
}
517