Transformation of Applicative Specifications into Imperative ...

}
F.2. VISITOR MODULES
public void visitExtendingClassExpr ( ExtendingClassExpr
extendingClassExpr ) {
r e s u l t . append ( " extend " ) ;
extendingClassExpr . base_class ( ) . accept ( this ) ;
r e s u l t . append ( " with " ) ;
extendingClassExpr . e x t e n s i o n _ c l a s s ( ) . accept ( this ) ;
}
public void v i s i t S c h e m e I n s t a n t i a t i o n ( SchemeInstantiation
s c h e m e I n s t a n t i a t i o n ) {
s c h e m e I n s t a n t i a t i o n . id ( ) . accept ( this ) ;
}
/∗Type D e c l a r a t i o n s ∗/
public void visitTypeDecl ( TypeDecl typeDecl ) {
r e s u l t . append ( " type \n" ) ;
for ( TypeDef typeDef : typeDecl . type_def_list ( ) . g e t L i s t ( ) ) {
typeDef . accept ( this ) ;
r e s u l t . append ( " ,\ n" ) ;
}
i f ( typeDecl . type_def_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 ( ) − 2 , r e s u l t . length ( ) ) ;
}
r e s u l t . append ( "\n" ) ;
}
public void v i s i t S o r t D e f ( SortDef s o r t D e f ) {
s o r t D e f . sd_id ( ) . accept ( this ) ;
}
public void v i s i t V a r i a n t D e f ( VariantDef variantDef ) {
variantDef . id ( ) . accept ( this ) ;
r e s u l t . append ( " == " ) ;
for ( Variant v a r i a n t : variantDef . v a r i a n t _ l i s t ( ) . g e t L i s t ( ) ) {
v a r i a n t . accept ( this ) ;
r e s u l t . append ( " | " ) ;
}
i f ( variantDef . v a r i a n t _ l i s t ( ) . l e n ( ) > 0) {
r e s u l t . d e l e t e ( r e s u l t . l ength ( ) − 3 , r e s u l t . length ( ) ) ;
}
}
public void v i s i t U n i o n D e f ( UnionDef unionDef ) {
unionDef . ud_id ( ) . accept ( this ) ;
r e s u l t . append ( " = " ) ;
for ( NameOrWildcard nameOrWildcard :
unionDef . name_or_wildcard_list ( ) . g e t L i s t ( ) ) {
531