OLD | NEW |
1 | 1 |
2 class _DocumentTypeJs extends _NodeJs implements DocumentType native "*DocumentT
ype" { | 2 class _DocumentTypeJs extends _NodeJs implements DocumentType native "*DocumentT
ype" { |
3 | 3 |
4 _NamedNodeMapJs get entities() native "return this.entities;"; | 4 final _NamedNodeMapJs entities; |
5 | 5 |
6 String get internalSubset() native "return this.internalSubset;"; | 6 final String internalSubset; |
7 | 7 |
8 String get name() native "return this.name;"; | 8 final String name; |
9 | 9 |
10 _NamedNodeMapJs get notations() native "return this.notations;"; | 10 final _NamedNodeMapJs notations; |
11 | 11 |
12 String get publicId() native "return this.publicId;"; | 12 final String publicId; |
13 | 13 |
14 String get systemId() native "return this.systemId;"; | 14 final String systemId; |
15 } | 15 } |
OLD | NEW |