Transformation of Applicative Specifications into Imperative ...

}
F.1. RSLRUNNER
RSLast_transformable r e s u l t a s t =
( RSLast_transformable ) r e s u l t ;
RSLAst i r s l a s t = r e s u l t a s t . r e s u l t ( ) ;
StringRSLAstVisitor i r s l A s t V i s i t o r =
new StringRSLAstVisitor ( ) ;
i r s l a s t . accept ( i r s l A s t V i s i t o r ) ;
System . out . p r i n t l n ( "RSL: \ n"
+ i r s l A s t V i s i t o r .
g e t R e s u l t ( ) ) ;
System . out . p r i n t l n ( "Ending : " + f i l e n a m e ) ;
try {
i f ( f i l e . getParent ( ) ! = null ) {
newFilename = f i l e . getParent ( )
+ f i l e . s e p a r a t o r
+ newFilename ;
}
F i l e W r i t e r fw =
new F i l e W r i t e r ( newFilename
+ " . r s l " , f a l s e ) ;
fw . w r i t e ( "/∗"
+ DateFormat .
getDateTimeInstance ( DateFormat .
LONG,
DateFormat .
LONG,
Locale .UK) .
format (new Date ( ) )
+ "∗/\n" ) ;
fw . w r i t e ( i r s l A s t V i s i t o r . g e t R e s u l t ( ) .
t o S t r i n g ( ) ) ;
fw . f l u s h ( ) ;
fw . c l o s e ( ) ;
}
catch ( IOException i o e ) {
i o e . printStackTrace ( ) ;
System . e x i t ( 1 ) ;
}
}
else {
System . out . p r i n t l n ( "The f i l e : "
+ f i l e n a m e
+ " . r s l cannot "
+ "be transformed " ) ;
}
511