package contrib;

import java.util.List;

import org.jdom.DocType;
import org.jdom.Document;
import org.jdom.Element;

/**
 * @author Phill Perryman
 * 
 * Extends the Document class to provide access to the
 * root cast to Elementx
 * 
 */
public class Documentx extends Document {

	/**
	 * Constructor for ExtendedDocument.
	 */
	public Documentx() {
		super();
	}

	/**
	 * Constructor for ExtendedDocument.
	 * @param arg0
	 * @param arg1
	 */
	public Documentx(Element arg0, DocType arg1) {
		super(arg0, arg1);
	}

	/**
	 * Constructor for ExtendedDocument.
	 * @param arg0
	 */
	public Documentx(Element arg0) {
		super(arg0);
	}

	/**
	 * Constructor for ExtendedDocument.
	 * @param arg0
	 * @param arg1
	 */
	public Documentx(List arg0, DocType arg1) {
		super(arg0, arg1);
	}

	/**
	 * Constructor for ExtendedDocument.
	 * @param arg0
	 */
	public Documentx(List arg0) {
		super(arg0);
	}
	
	/**
	 * Extended version of getRootElement
	 */
	public Elementx getRootElementx() {
		return (Elementx) getRootElement();
	}

}