/*
 * Copyright 2008 Google Inc.
 * 
 * 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.
 */
package com.google.gwt.dom.client;

/**
 * For the H1 to H6 elements.
 * 
 * @see <a
 *      href="http://www.w3.org/TR/1999/REC-html401-19991224/struct/global.html#edef-H1">W3C
 *      HTML Specification</a>
 */
@TagName({HeadingElement.TAG_H1, HeadingElement.TAG_H2, HeadingElement.TAG_H3,
    HeadingElement.TAG_H4, HeadingElement.TAG_H5, HeadingElement.TAG_H6})
public class HeadingElement extends Element {

  static final String[] TAGS = {
      HeadingElement.TAG_H1, HeadingElement.TAG_H2, HeadingElement.TAG_H3,
      HeadingElement.TAG_H4, HeadingElement.TAG_H5, HeadingElement.TAG_H6};

  static final String TAG_H1 = "h1";
  static final String TAG_H2 = "h2";
  static final String TAG_H3 = "h3";
  static final String TAG_H4 = "h4";
  static final String TAG_H5 = "h5";
  static final String TAG_H6 = "h6";

  /**
   * Assert that the given {@link Element} is compatible with this class and
   * automatically typecast it.
   */
  public static HeadingElement as(Element elem) {
    if (HeadingElement.class.desiredAssertionStatus()) {
      // Assert that this element's tag name is one of [h1 .. h6].
      String tag = elem.getTagName().toLowerCase();
      assert tag.length() == 2;
      assert tag.charAt(0) == 'h';

      int n = Integer.parseInt(tag.substring(1, 2));
      assert (n >= 1) && (n <= 6);
    }

    return (HeadingElement) elem;
  }

  protected HeadingElement() {
  }
}