Wrapperless dart:html generator

client/html/generated/html/interface/History.dart

 // 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.
 
 // WARNING: Do not edit - generated code.
 
-interface $ID$!EXTENDS {
-$!MEMBERS}
+interface History {
+
+  final int length;
+
+  void back();
+
+  void forward();
+
+  void go(int distance);
+
+  void pushState(Object data, String title, [String url]);
+
+  void replaceState(Object data, String title, [String url]);
+}