26.09.2013 Views

Transformation of Applicative Specifications into Imperative ...

Transformation of Applicative Specifications into Imperative ...

Transformation of Applicative Specifications into Imperative ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Appendix F<br />

Source Code<br />

This appendix contains the hand written source code <strong>of</strong> the transformer in<br />

Java.<br />

F.1 RSLRunner<br />

RSLRunner.java<br />

package t r a n s l a t o r ;<br />

import t r a n s l a t o r . l i b . ∗ ;<br />

import t r a n s l a t o r . r s l l i b . ∗ ;<br />

import t r a n s l a t o r . r s l a s t . ∗ ;<br />

import t r a n s l a t o r . s y n t a c t i c a n a l y z e r . ∗ ;<br />

import t r a n s l a t o r . r s l t r a n s f o r m e r . ∗ ;<br />

import java . u t i l . ∗ ;<br />

import java . i o . ∗ ;<br />

import java . t e x t . ∗ ;<br />

public class RSLRunner {<br />

public static RSLRunner i n s t a n c e ;<br />

private static RSLList v a r i a b l e s ;<br />

public void transform ( S t r i n g filename , S t r i n g newFilename ,<br />

boolean w r i t e F i l e s ) {<br />

FileReader f r = null ;<br />

try {<br />

f r = new FileReader ( f i l e n a m e + " . r s l " ) ;<br />

}<br />

catch ( FileNotFoundException e ) {<br />

System . out . p r i n t l n ( " F i l e "<br />

509

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!