Transformation of Applicative Specifications into Imperative ...

}
}
r e s u l t . append ( "\n" ) ;
r e s u l t . append ( "end" ) ;
F.2. VISITOR MODULES
public void v i s i t V a l u e L i t e r a l I n t e g e r ( V a l u e L i t e r a l I n t e g e r
v a l u e L i t e r a l I n t e g e r ) {
r e s u l t . append ( v a l u e L i t e r a l I n t e g e r . g e t T e x t I n t e g e r ( ) ) ;
}
public void v i s i t V a l u e L i t e r a l R e a l ( V a l u e L i t e r a l R e a l
v a l u e L i t e r a l R e a l ) {
r e s u l t . append ( v a l u e L i t e r a l R e a l . getTextReal ( ) ) ;
}
public void v i s i t V a l u e L i t e r a l B o o l ( V a l u e L i t e r a l B o o l
v a l u e L i t e r a l B o o l ) {
r e s u l t . append ( v a l u e L i t e r a l B o o l . getTextBool ( ) ) ;
}
public void v i s i t V a l u e L i t e r a l C h a r ( ValueLiteralChar
v a l u e L i t e r a l C h a r ) {
r e s u l t . append ( " ’ " ) ;
r e s u l t . append ( v a l u e L i t e r a l C h a r . getTextChar ( ) ) ;
r e s u l t . append ( " ’ " ) ;
}
public void v i s i t V a l u e L i t e r a l T e x t ( ValueLiteralText
v a l u e L i t e r a l T e x t ) {
r e s u l t . append ( "\"" ) ;
r e s u l t . append ( v a l u e L i t e r a l T e x t . getTextText ( ) ) ;
r e s u l t . append ( "\"" ) ;
}
public void visitValueOrVariableName ( ValueOrVariableName
valueOrVariableName ) {
valueOrVariableName . id ( ) . accept ( this ) ;
}
public void visitCHAOS (CHAOS chaos ) {
r e s u l t . append ( " chaos " ) ;
}
public void visitRangedSetExpr ( RangedSetExpr rangedSetExpr ) {
r e s u l t . append ( "{" ) ;
rangedSetExpr . f i r s t ( ) . accept ( this ) ;
r e s u l t . append ( " . . " ) ;
rangedSetExpr . second ( ) . accept ( this ) ;
r e s u l t . append ( "}" ) ;
543