Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
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 ) {}
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 ) {}
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 ) {}
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 ) {}
public void visitValueOrVariableName ( ValueOrVariableName
valueOrVariableName ) {
valueOrVariableName . id ( ) . accept ( this ) ;
}
public void visitCHAOS (CHAOS chaos ) {}
public void visitRangedSetExpr ( RangedSetExpr rangedSetExpr ) {
rangedSetExpr . f i r s t ( ) . accept ( this ) ;
rangedSetExpr . second ( ) . accept ( this ) ;
}
public void visitEnumeratedSetExpr ( EnumeratedSetExpr
enumeratedSetExpr ) {
enumeratedSetExpr . value_expr_list ( ) . accept ( this ) ;
}
public void visitComprehendedSetExpr ( ComprehendedSetExpr
compSetExpr ) {
compSetExpr . value_expr ( ) . accept ( this ) ;
for ( Typing ty : compSetExpr . t y p i n g _ l i s t ( ) . g e t L i s t ( ) ) {
ty . accept ( this ) ;
}
compSetExpr . r e s t r i c t i o n ( ) . accept ( this ) ;
}
public void visitRangedListExpr ( RangedListExpr rangedListExpr ) {
rangedListExpr . f i r s t ( ) . accept ( this ) ;
rangedListExpr . second ( ) . accept ( this ) ;
}
public void visitEnumeratedListExpr ( EnumeratedListExpr
enumeratedListExpr ) {
enumeratedListExpr . value_expr_list ( ) . accept ( this ) ;
}
524