Transformation of Applicative Specifications into Imperative ...

APPENDIX F. SOURCE CODE
System . e x i t ( 1 ) ;
}
try {
+ f i l e n a m e
+ " . r s l not found ! " ) ;
System . out . p r i n t l n ( " S t a r t i n g : " + f i l e n a m e ) ;
System . out . p r i n t l n ( " S t a r t i n g p a r s i n g " ) ;
RSLLexer l e x e r = new RSLLexer ( f r ) ;
RSLParser p a r s e r = new RSLParser ( l e x e r ) ;
RSLAst a r s l a s t = p a r s e r . r s l a s t ( ) ;
i f ( a r s l a s t == null ) {
System . out . p r i n t l n ( " Tree not c r e a t e d ! " ) ;
System . e x i t ( 1 ) ;
}
System . out . p r i n t l n ( "Ending p a r s i n g \n" ) ;
try {
StringRSLAstVisitor a r s l A s t V i s i t o r =
new StringRSLAstVisitor ( ) ;
a r s l a s t . accept ( a r s l A s t V i s i t o r ) ;
}
catch ( NullPointerException npe ) {
System . out . p r i n t l n ( " Tree not c r e a t e d "
+ " c o r r e c t ! \ n"
+ "The RSL "
+ " s p e c i f i c a t i o n "
+ " i s not "
+ " within the "
+ " subset o f RSL" ) ;
System . e x i t ( 1 ) ;
}
F i l e f i l e = new F i l e ( f i l e n a m e ) ;
try {
TRResult r e s u l t =
TransformerRSL1 .
TRRSLAst( a r s l a s t ,
newFilename ,
new TRANS( v a r i a b l e s ) ) ;
i f ( r e s u l t instanceof RSLast_transformable ) {
System . out . p r i n t l n ( " Transformable " ) ;
510