| OLD | NEW |
| 1 #library("util"); | 1 #library("util"); |
| 2 | 2 |
| 3 #import("dart:io"); | 3 #import("dart:io"); |
| 4 #import("dart:json"); | 4 #import("dart:json"); |
| 5 | 5 |
| 6 Map<String, Map> _allProps; | 6 Map<String, Map> _allProps; |
| 7 | 7 |
| 8 Map<String, Map> get allProps() { | 8 Map<String, Map> get allProps { |
| 9 if (_allProps == null) { | 9 if (_allProps == null) { |
| 10 // Database of expected property names for each type in WebKit. | 10 // Database of expected property names for each type in WebKit. |
| 11 _allProps = JSON.parse( | 11 _allProps = JSON.parse( |
| 12 new File('data/dartIdl.json').readAsTextSync()); | 12 new File('data/dartIdl.json').readAsTextSync()); |
| 13 } | 13 } |
| 14 return _allProps; | 14 return _allProps; |
| 15 } | 15 } |
| 16 | 16 |
| 17 Set<String> matchedTypes; | 17 Set<String> matchedTypes; |
| 18 | 18 |
| (...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 87 | 87 |
| 88 /** | 88 /** |
| 89 * Helper for sync creation of a whole file from a string. | 89 * Helper for sync creation of a whole file from a string. |
| 90 */ | 90 */ |
| 91 void writeFileSync(String filename, String data) { | 91 void writeFileSync(String filename, String data) { |
| 92 File f = new File(filename); | 92 File f = new File(filename); |
| 93 RandomAccessFile raf = f.openSync(FileMode.WRITE); | 93 RandomAccessFile raf = f.openSync(FileMode.WRITE); |
| 94 raf.writeStringSync(data); | 94 raf.writeStringSync(data); |
| 95 raf.closeSync(); | 95 raf.closeSync(); |
| 96 } | 96 } |
| OLD | NEW |