Transformation of Applicative Specifications into Imperative ...

public void visitOR (OR or ) {}
public void visitAND (AND and ) {}
public void visitABS (ABS abs ) {}
public void visitINTCAST (INTCAST i n t c a s t ) {}
F.2. VISITOR MODULES
public void visitREALCAST (REALCAST r e a l c a s t ) {}
public void visitLEN (LEN l e n ) {}
public void visitINDS (INDS inds ) {}
public void visitELEMS (ELEMS elems ) {}
public void visitHD (HD hd ) {}
public void visitTL (TL t l ) {}
public void visitNOT (NOT not ) {}
public void visitPREFIXMINUS (PREFIXMINUS prefixminus ) {}
public void visitPREFIXPLUS (PREFIXPLUS p r e f i x p l u s ) {}
public void visitCARD (CARD card ) {}
public void visitDOM (DOM dom) {}
public void visitRNG (RNG rng ) {}
public void v i s i t L e t D e f ( LetDef l e t D e f ) {
l e t D e f . binding ( ) . accept ( this ) ;
l e t D e f . value_expr ( ) . accept ( this ) ;
}
public void visitMakeBinding ( MakeBinding binding ) {
binding . binding ( ) . accept ( this ) ;
}
public void visitMakeRecordPattern ( MakeRecordPattern
recordPattern ) {
recordPattern . value_or_variable_name ( ) . accept ( this ) ;
for ( Pattern pattern :
recordPattern . i n n e r _ p a t t e r n _ l i s t ( ) . g e t L i s t ( ) ) {
pattern . accept ( this ) ;
}
}
527