Transformation of Applicative Specifications into Imperative ...

}
F.2. VISITOR MODULES
public void v i s i t N o I n i t i a l i s a t i o n ( N o I n i t i a l i s a t i o n
n o I n i t i a l i s a t i o n ) {}
public void v i s i t I n i t i a l i s a t i o n ( I n i t i a l i s a t i o n i n i t i a l i s a t i o n ) {
i n i t i a l i s a t i o n . value_expr ( ) . accept ( this ) ;
}
/∗ Test D e c l a r a t i o n s ∗/
public void v i s i t T e s t D e c l ( TestDecl t e s t D e c l ) {
for ( TestDef t e s t D e f : t e s t D e c l . t e s t _ d e f _ l i s t ( ) . g e t L i s t ( ) ) {
t e s t D e f . accept ( this ) ;
}
}
public void v i s i t T e s t C a s e ( TestCase testCase ) {
testCase . id ( ) . accept ( this ) ;
testCase . value_expr ( ) . accept ( this ) ;
}
/∗Type Expression ∗/
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 ) ;
}
}
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 ) ;
}
519