Un-hiding Node.nodeType.

sdk/lib/html/dart2js/html_dart2js.dart

 library html;
 
 import 'dart:isolate';
 import 'dart:json';
 import 'dart:svg' as svg;
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // DO NOT EDIT
@@ skipping 13491 matching lines @@
   /** @domName Node.firstChild */
   Node get $dom_firstChild => JS("Node", "#.firstChild", this);
 
   /** @domName Node.lastChild */
   Node get $dom_lastChild => JS("Node", "#.lastChild", this);
 
   /** @domName Node.nextSibling */
   Node get nextNode => JS("Node", "#.nextSibling", this);
 
   /** @domName Node.nodeType */
-  int get $dom_nodeType => JS("int", "#.nodeType", this);
+  final int nodeType;
 
   /** @domName Node.ownerDocument */
   Document get document => JS("Document", "#.ownerDocument", this);
 
   /** @domName Node.parentNode */
   Node get parent => JS("Node", "#.parentNode", this);
 
   /** @domName Node.previousSibling */
   Node get previousNode => JS("Node", "#.previousSibling", this);
 
@@ skipping 11332 matching lines @@
     if (length < 0) throw new ArgumentError('length');
     if (start < 0) throw new RangeError.value(start);
     int end = start + length;
     if (end > a.length) throw new RangeError.value(end);
     for (int i = start; i < end; i++) {
       accumulator.add(a[i]);
     }
     return accumulator;
   }
 }