OLD | NEW |
1 // DO NOT EDIT | 1 // DO NOT EDIT |
2 // Auto-generated dart:web_gl library. | 2 // Auto-generated dart:web_gl library. |
3 | 3 |
4 library dart.dom.web_gl; | 4 library dart.dom.web_gl; |
5 | 5 |
6 import 'dart:async'; | 6 import 'dart:async'; |
7 import 'dart:collection'; | 7 import 'dart:collection'; |
8 import 'dart:_internal' hide deprecated; | 8 import 'dart:_internal' hide deprecated; |
9 import 'dart:html'; | 9 import 'dart:html'; |
10 import 'dart:html_common'; | 10 import 'dart:html_common'; |
11 import 'dart:nativewrappers'; | 11 import 'dart:nativewrappers'; |
12 import 'dart:typed_data'; | 12 import 'dart:typed_data'; |
13 $if DART_USE_BLINK | |
14 import 'dart:_blink' as _blink; | 13 import 'dart:_blink' as _blink; |
15 $endif | |
16 | 14 |
17 part '$AUXILIARY_DIR/WebGLConstants.dart'; | 15 part '$AUXILIARY_DIR/WebGLConstants.dart'; |
18 | 16 |
19 $!GENERATED_DART_FILES | 17 $!GENERATED_DART_FILES |
20 $if DART_USE_BLINK | |
21 // FIXME: Can we make this private? | 18 // FIXME: Can we make this private? |
22 final web_glBlinkMap = { | 19 final web_glBlinkMap = { |
23 $!TYPE_MAP | 20 $!TYPE_MAP |
24 }; | 21 }; |
25 $endif | |
OLD | NEW |