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