OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #import("dart:html", prefix:"html"); | 5 #import("dart:html", prefix:"html"); |
6 #import("../../frog/lang.dart", prefix:"lang"); | 6 #import("../../frog/lang.dart", prefix:"lang"); |
7 #import("../../frog/file_system.dart", prefix:"file_system"); | 7 #import("../../frog/file_system.dart", prefix:"file_system"); |
8 | 8 |
9 class Dartboard { | 9 class Dartboard { |
10 final List<Object> markers; | 10 final List<Object> markers; |
(...skipping 125 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
136 | 136 |
137 void createDirectory(String path, [bool recursive]) { | 137 void createDirectory(String path, [bool recursive]) { |
138 throw new UnsupportedOperationException(); | 138 throw new UnsupportedOperationException(); |
139 } | 139 } |
140 void removeDirectory(String path, [bool recursive]) { | 140 void removeDirectory(String path, [bool recursive]) { |
141 throw new UnsupportedOperationException(); | 141 throw new UnsupportedOperationException(); |
142 } | 142 } |
143 | 143 |
144 static final Map<String, String> symbolToRelPath = const <String>{ | 144 static final Map<String, String> symbolToRelPath = const <String>{ |
145 "core" : "frog/lib/corelib.dart", | 145 "core" : "frog/lib/corelib.dart", |
146 "dom" : "frog/lib/corelib_impl.dart", | 146 "dom" : "lib/dom/frog/dom_frog.dart", |
147 "html" : "client/html/release/html.dart", | 147 "html" : "lib/html/html_frog.dart", |
148 "json" : "lib/json/json_frog.dart", | 148 "json" : "lib/json/json_frog.dart", |
149 "uri" : "lib/uri/uri.dart", | 149 "uri" : "lib/uri/uri.dart", |
150 "utf" : "lib/utf/utf.dart" | 150 "utf" : "lib/utf/utf.dart" |
151 }; | 151 }; |
152 } | 152 } |
153 | 153 |
154 void main() { | 154 void main() { |
155 // TODO - temporary, the if(false) here is so that tree-shaking doesn't | 155 // TODO - temporary, the if(false) here is so that tree-shaking doesn't |
156 // delete frogPondMain. (We want to be able to call frogPondMain at | 156 // delete frogPondMain. (We want to be able to call frogPondMain at |
157 // the appropriate time after js setup.) | 157 // the appropriate time after js setup.) |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
219 </scrip_t> | 219 </scrip_t> |
220 </head> | 220 </head> |
221 <body> | 221 <body> |
222 <h2 id="status">not running</h2> | 222 <h2 id="status">not running</h2> |
223 </body> | 223 </body> |
224 </html> | 224 </html> |
225 '''.replaceAll("scrip_t", "script"); | 225 '''.replaceAll("scrip_t", "script"); |
226 } | 226 } |
227 } | 227 } |
228 | 228 |
OLD | NEW |