Transformation of Applicative Specifications into Imperative ...

F.2. VISITOR MODULES
public void visitExtendingClassExpr ( ExtendingClassExpr
extendingClassExpr ) {
extendingClassExpr . base_class ( ) . accept ( this ) ;
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 ) {
for ( TypeDef typeDef : typeDecl . type_def_list ( ) . g e t L i s t ( ) ) {
typeDef . accept ( this ) ;
}
}
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 ) ;
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 ) ;
}
}
public void v i s i t U n i o n D e f ( UnionDef unionDef ) {
unionDef . ud_id ( ) . accept ( this ) ;
for ( NameOrWildcard nameOrWildcard :
unionDef . name_or_wildcard_list ( ) . g e t L i s t ( ) ) {
nameOrWildcard . accept ( this ) ;
}
}
public void v i s i t S h o r t R e c o r d D e f ( ShortRecordDef shortRecordDef ) {
shortRecordDef . srd_id ( ) . accept ( this ) ;
for ( ComponentKind componentKind :
shortRecordDef . component_kind_string ( ) . g e t L i s t ( ) ) {
componentKind . accept ( this ) ;
}
}
public void v i s i t A b b r e v i a t i o n D e f ( AbbreviationDef abbreviationDef ) {
abbreviationDef . abbr_id ( ) . accept ( this ) ;
abbreviationDef . type_expr ( ) . accept ( this ) ;
}
515