// Copyright (c) 2014, 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.

/// @assertion final Element documentElement
/// Returns the Element that is a direct child of document.
/// For HTML documents, this is normally the HTML element.
/// @description Checks the content of documentElement.

import "dart:html";
import "../../../Utils/expect.dart";

main() {
  var de = document.documentElement;
  Expect.isTrue(de is HtmlHtmlElement, "${de.runtimeType}!=HtmlHtmlElement");
}