| // Copyright 2015 Google Inc. All Rights Reserved. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| // https://www.w3.org/TR/html5/dom.html#the-document-object |
| |
| [OverrideBuiltins] |
| partial /*sealed*/ interface Document { |
| [PutForwards=href, Unforgeable] readonly attribute Location? location; |
| // body attribute is changed, from the spec's: |
| // attribute HTMLElement? body; |
| // This is because we don't support frameset element, body has to be an |
| // HTMLBodyElement. |
| attribute HTMLBodyElement? body; |
| readonly attribute HTMLHeadElement? head; |
| readonly attribute DOMString title; |
| readonly attribute Element? activeElement; |
| |
| [LenientThis] attribute EventHandler onreadystatechange; |
| readonly attribute DocumentReadyState readyState; |
| }; |