|
8 | 8 | import java.util.List; |
9 | 9 |
|
10 | 10 | import static org.antlr.codebuff.Tool.JAVA8_DESCR; |
| 11 | +import static org.antlr.codebuff.Tool.JAVA8_GUAVA_DESCR; |
11 | 12 | import static org.antlr.codebuff.Tool.JAVA_DESCR; |
| 13 | +import static org.antlr.codebuff.Tool.JAVA_GUAVA_DESCR; |
12 | 14 | import static org.antlr.codebuff.Tool.SQLITE_CLEAN_DESCR; |
13 | 15 | import static org.antlr.codebuff.Tool.TSQL_CLEAN_DESCR; |
14 | 16 | import static org.antlr.codebuff.Tool.normalizedLevenshteinDistance; |
15 | 17 |
|
16 | 18 | public class GrammarInvariance { |
17 | 19 | public static void main(String[] args) throws Exception { |
18 | | - // SQL |
19 | | - LeaveOneOutValidator sqliteValidator = new LeaveOneOutValidator(SQLITE_CLEAN_DESCR.corpusDir, SQLITE_CLEAN_DESCR); |
20 | | - LeaveOneOutValidator tsqlValidator = new LeaveOneOutValidator(TSQL_CLEAN_DESCR.corpusDir, TSQL_CLEAN_DESCR); |
21 | | - Triple<List<Formatter>, List<Float>, List<Float>> sqliteResults = sqliteValidator.validateDocuments(false, null); |
22 | | - Triple<List<Formatter>, List<Float>, List<Float>> tsqlResults = tsqlValidator.validateDocuments(false, null); |
23 | | - List<Formatter> sqliteFormatters = sqliteResults.a; |
24 | | - List<Formatter> tsqlFormatters = tsqlResults.a; |
| 20 | + // we need to get all of the results in order so that we can compare |
| 21 | + LeaveOneOutValidator.FORCE_SINGLE_THREADED = true; |
| 22 | + float sql_median; |
| 23 | + float java_st_median; |
| 24 | + float java_guava_median; |
| 25 | + { |
| 26 | + // SQL |
| 27 | + LeaveOneOutValidator sqliteValidator = |
| 28 | + new LeaveOneOutValidator(SQLITE_CLEAN_DESCR.corpusDir, SQLITE_CLEAN_DESCR); |
| 29 | + LeaveOneOutValidator tsqlValidator = |
| 30 | + new LeaveOneOutValidator(TSQL_CLEAN_DESCR.corpusDir, TSQL_CLEAN_DESCR); |
| 31 | + Triple<List<Formatter>, List<Float>, List<Float>> sqliteResults = |
| 32 | + sqliteValidator.validateDocuments(false, null); |
| 33 | + Triple<List<Formatter>, List<Float>, List<Float>> tsqlResults = |
| 34 | + tsqlValidator.validateDocuments(false, null); |
| 35 | + List<Formatter> sqliteFormatters = sqliteResults.a; |
| 36 | + List<Formatter> tsqlFormatters = tsqlResults.a; |
| 37 | + |
| 38 | + List<Float> distances = new ArrayList<>(); |
| 39 | + for (int i = 0; i<sqliteFormatters.size(); i++) { |
| 40 | + Formatter sqlite = sqliteFormatters.get(i); |
| 41 | + Formatter tsql = tsqlFormatters.get(i); |
| 42 | + float editDistance = normalizedLevenshteinDistance(sqlite.getOutput(), tsql.getOutput()); |
| 43 | + distances.add(editDistance); |
| 44 | +// System.out.println(sqlite.testDoc.fileName+" edit distance "+editDistance); |
| 45 | + } |
25 | 46 |
|
26 | | - List<Float> distances = new ArrayList<>(); |
27 | | - for (int i = 0; i<sqliteFormatters.size(); i++) { |
28 | | - Formatter sqlite = sqliteFormatters.get(i); |
29 | | - Formatter tsql = tsqlFormatters.get(i); |
30 | | - float editDistance = normalizedLevenshteinDistance(sqlite.getOutput(), tsql.getOutput()); |
31 | | - distances.add(editDistance); |
32 | | - System.out.println(sqlite.testDoc.fileName+" edit distance "+editDistance); |
| 47 | + { |
| 48 | + Collections.sort(distances); |
| 49 | + int n = distances.size(); |
| 50 | + float min = distances.get(0); |
| 51 | + float quart = distances.get((int)(0.27*n)); |
| 52 | + float median = distances.get(n/2); |
| 53 | + float quart3 = distances.get((int)(0.75*n)); |
| 54 | + float max = distances.get(distances.size()-1); |
| 55 | + String display = "("+min+","+median+","+max+")"; |
| 56 | + sql_median = median; |
| 57 | + } |
33 | 58 | } |
34 | 59 |
|
35 | 60 | { |
36 | | - Collections.sort(distances); |
37 | | - int n = distances.size(); |
38 | | - float min = distances.get(0); |
39 | | - float quart = distances.get((int)(0.27*n)); |
40 | | - float median = distances.get(n/2); |
41 | | - float quart3 = distances.get((int)(0.75*n)); |
42 | | - float max = distances.get(distances.size()-1); |
43 | | - String display = "("+min+","+median+","+max+")"; |
44 | | - System.out.println("SQLite vs TSQL edit distance info (min,median,max)="+display); |
45 | | - } |
| 61 | + // JAVA |
| 62 | + List<Float> distances = new ArrayList<>(); |
| 63 | + LeaveOneOutValidator javaValidator = new LeaveOneOutValidator(JAVA_DESCR.corpusDir, JAVA_DESCR); |
| 64 | + LeaveOneOutValidator java8Validator = new LeaveOneOutValidator(JAVA8_DESCR.corpusDir, JAVA8_DESCR); |
| 65 | + Triple<List<Formatter>, List<Float>, List<Float>> javaResults = javaValidator.validateDocuments(false, null); |
| 66 | + Triple<List<Formatter>, List<Float>, List<Float>> java8Results = java8Validator.validateDocuments(false, null); |
| 67 | + List<Formatter> javaFormatters = javaResults.a; |
| 68 | + List<Formatter> java8Formatters = java8Results.a; |
46 | 69 |
|
47 | | - // JAVA |
48 | | - distances.clear(); |
49 | | - LeaveOneOutValidator javaValidator = new LeaveOneOutValidator(JAVA_DESCR.corpusDir, JAVA_DESCR); |
50 | | - LeaveOneOutValidator java8Validator = new LeaveOneOutValidator(JAVA8_DESCR.corpusDir, JAVA8_DESCR); |
51 | | - Triple<List<Formatter>, List<Float>, List<Float>> javaResults = javaValidator.validateDocuments(false, null); |
52 | | - Triple<List<Formatter>, List<Float>, List<Float>> java8Results = java8Validator.validateDocuments(false, null); |
53 | | - List<Formatter> javaFormatters = javaResults.a; |
54 | | - List<Formatter> java8Formatters = java8Results.a; |
| 70 | + for (int i = 0; i<javaFormatters.size(); i++) { |
| 71 | + Formatter java = javaFormatters.get(i); |
| 72 | + Formatter java8 = java8Formatters.get(i); |
| 73 | + float editDistance = normalizedLevenshteinDistance(java.getOutput(), java8.getOutput()); |
| 74 | + distances.add(editDistance); |
| 75 | +// System.out.println(java.testDoc.fileName+" edit distance "+editDistance); |
| 76 | + } |
55 | 77 |
|
56 | | - for (int i = 0; i<javaFormatters.size(); i++) { |
57 | | - Formatter java = javaFormatters.get(i); |
58 | | - Formatter java8 = java8Formatters.get(i); |
59 | | - float editDistance = normalizedLevenshteinDistance(java.getOutput(), java8.getOutput()); |
60 | | - distances.add(editDistance); |
61 | | - System.out.println(java.testDoc.fileName+" edit distance "+editDistance); |
| 78 | + { |
| 79 | + Collections.sort(distances); |
| 80 | + int n = distances.size(); |
| 81 | + float min = distances.get(0); |
| 82 | + float quart = distances.get((int) (0.27*n)); |
| 83 | + float median = distances.get(n/2); |
| 84 | + float quart3 = distances.get((int) (0.75*n)); |
| 85 | + float max = distances.get(distances.size()-1); |
| 86 | + String display = "("+min+","+median+","+max+")"; |
| 87 | + java_st_median = median; |
| 88 | + } |
62 | 89 | } |
63 | 90 |
|
64 | 91 | { |
65 | | - Collections.sort(distances); |
66 | | - int n = distances.size(); |
67 | | - float min = distances.get(0); |
68 | | - float quart = distances.get((int) (0.27*n)); |
69 | | - float median = distances.get(n/2); |
70 | | - float quart3 = distances.get((int) (0.75*n)); |
71 | | - float max = distances.get(distances.size()-1); |
72 | | - String display = "("+min+","+median+","+max+")"; |
73 | | - System.out.println("Java vs Java8 edit distance info (min,median,max)="+display); |
| 92 | + // JAVA GUAVA |
| 93 | + List<Float> distances = new ArrayList<>(); |
| 94 | + LeaveOneOutValidator java_guavaValidator = new LeaveOneOutValidator(JAVA_GUAVA_DESCR.corpusDir, JAVA_GUAVA_DESCR); |
| 95 | + LeaveOneOutValidator java8_guavaValidator = new LeaveOneOutValidator(JAVA8_GUAVA_DESCR.corpusDir, JAVA8_GUAVA_DESCR); |
| 96 | + Triple<List<Formatter>, List<Float>, List<Float>> java_guavaResults = java_guavaValidator.validateDocuments(false, null); |
| 97 | + Triple<List<Formatter>, List<Float>, List<Float>> java8_guavaResults = java8_guavaValidator.validateDocuments(false, null); |
| 98 | + List<Formatter> java_guavaFormatters = java_guavaResults.a; |
| 99 | + List<Formatter> java8_guavaFormatters = java8_guavaResults.a; |
| 100 | + |
| 101 | + for (int i = 0; i<java_guavaFormatters.size(); i++) { |
| 102 | + Formatter java_guava = java_guavaFormatters.get(i); |
| 103 | + Formatter java8_guava = java8_guavaFormatters.get(i); |
| 104 | + float editDistance = normalizedLevenshteinDistance(java_guava.getOutput(), java8_guava.getOutput()); |
| 105 | + distances.add(editDistance); |
| 106 | +// System.out.println(java_guava.testDoc.fileName+" edit distance "+editDistance); |
| 107 | + } |
| 108 | + |
| 109 | + { |
| 110 | + Collections.sort(distances); |
| 111 | + int n = distances.size(); |
| 112 | + float min = distances.get(0); |
| 113 | + float quart = distances.get((int) (0.27*n)); |
| 114 | + float median = distances.get(n/2); |
| 115 | + float quart3 = distances.get((int) (0.75*n)); |
| 116 | + float max = distances.get(distances.size()-1); |
| 117 | + String display = "("+min+","+median+","+max+")"; |
| 118 | + java_guava_median = median; |
| 119 | + } |
74 | 120 | } |
| 121 | + System.out.println("clean SQLite vs TSQL edit distance info median="+sql_median); |
| 122 | + System.out.println("Java vs Java8 edit distance info median="+java_st_median); |
| 123 | + System.out.println("Java vs Java8 guava edit distance info median="+java_guava_median); |
75 | 124 | } |
76 | 125 | } |
0 commit comments