Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / nidhugg / transform.java
1 import java.io.*;
2
3 public class transform {
4         public static void main(String args[]) throws Exception {
5                 int num=Integer.parseInt(args[0]);
6                 String inputfile=args[1];
7                 String output=args[2];
8                 BufferedReader br=new BufferedReader(new FileReader(inputfile));
9                 FileWriter fw=new FileWriter(output);
10                 while(true) {
11                         String input=br.readLine();
12                         if (input==null)
13                                 break;
14                         if (input.indexOf("problemsize")!=-1) {
15                                 int index=input.indexOf("problemsize");
16                                 String str=input.substring(index+12);
17                                 fw.write("{\nint index;\n");
18                                 fw.write("for (index=0;index<"+num+";index++) {\n");
19                                 fw.write(str+"\n");
20                                 fw.write("}\n}\n");
21                         } else
22                                 fw.write(input+"\n");
23                 }
24                 br.close();
25                 fw.close();
26
27         }
28
29 }