RootDocumentPart.java

package org.eclipse.iee.core.document;

import java.util.List;

public class RootDocumentPart extends DocumentPart {

	private Document document;
	
	public RootDocumentPart(List<DocumentPart> children) {
		super(children);
	}

	void setDocument(Document document) {
		Document oldValue = this.document;
		this.document = document;
		getPropertyChangeSupport().firePropertyChange("document", oldValue, document);
	}
	
	public Document getDocument() {
		return document;
	}
	
}