OLD | NEW |
1 | 1 |
2 class _MediaListJs extends _DOMTypeJs implements MediaList native "*MediaList" { | 2 class _MediaListJs extends _DOMTypeJs implements MediaList native "*MediaList" { |
3 | 3 |
4 int get length() native "return this.length;"; | 4 final int length; |
5 | 5 |
6 String get mediaText() native "return this.mediaText;"; | 6 String mediaText; |
7 | |
8 void set mediaText(String value) native "this.mediaText = value;"; | |
9 | 7 |
10 String operator[](int index) native "return this[index];"; | 8 String operator[](int index) native "return this[index];"; |
11 | 9 |
12 void operator[]=(int index, String value) { | 10 void operator[]=(int index, String value) { |
13 throw new UnsupportedOperationException("Cannot assign element of immutable
List."); | 11 throw new UnsupportedOperationException("Cannot assign element of immutable
List."); |
14 } | 12 } |
15 // -- start List<String> mixins. | 13 // -- start List<String> mixins. |
16 // String is the element type. | 14 // String is the element type. |
17 | 15 |
18 // From Iterable<String>: | 16 // From Iterable<String>: |
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
79 _Lists.getRange(this, start, length, <String>[]); | 77 _Lists.getRange(this, start, length, <String>[]); |
80 | 78 |
81 // -- end List<String> mixins. | 79 // -- end List<String> mixins. |
82 | 80 |
83 void appendMedium(String newMedium) native; | 81 void appendMedium(String newMedium) native; |
84 | 82 |
85 void deleteMedium(String oldMedium) native; | 83 void deleteMedium(String oldMedium) native; |
86 | 84 |
87 String item(int index) native; | 85 String item(int index) native; |
88 } | 86 } |
OLD | NEW |