| 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 |