← Back to branch summary

~ubuntu-branches/ubuntu/vivid/herold/vivid

« back to all changes in this revision

Viewing changes to java/org/dbdoclet/trafo/tag/html/HtmlDocument.java

  • Committer: Package Import Robot
  • Author(s): Mathieu Malaterre
  • Date: 2012-09-20 10:00:14 UTC
  • Revision ID: package-import@ubuntu.com-20120920100014-5pcwbw2err6on8yg
Tags: upstream-6.0.1
Import upstream version 6.0.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
java/org/dbdoclet/trafo/tag/html/HtmlDocument.java
 
1
/* 
 
2
 * Copyright (C) 2001-2012 Michael Fuchs
 
3
 *
 
4
 * This file is part of herold.
 
5
 * 
 
6
 * herold is free software: you can redistribute it and/or modify
 
7
 * it under the terms of the GNU General Public License as published by
 
8
 * the Free Software Foundation, either version 3 of the License, or
 
9
 * (at your option) any later version.
 
10
 * 
 
11
 * herold is distributed in the hope that it will be useful,
 
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
14
 * GNU General Public License for more details.
 
15
 * 
 
16
 * You should have received a copy of the GNU General Public License
 
17
 * along with herold.  If not, see <http://www.gnu.org/licenses/>.  
 
18
 */
 
19
package org.dbdoclet.trafo.tag.html;
 
20
 
 
21
import org.dbdoclet.xiphias.dom.DocumentImpl;
 
22
import org.dbdoclet.xiphias.dom.ElementImpl;
 
23
 
 
24
public class HtmlDocument extends DocumentImpl {
 
25
 
 
26
    private HtmlElement documentElement;
 
27
 
 
28
    @Override
 
29
    public HtmlElement getDocumentElement() {
 
30
        return documentElement;
 
31
    }
 
32
 
 
33
    @Override
 
34
    public void setDocumentElement(ElementImpl documentElement) {
 
35
        setDocumentElement((HtmlElement) documentElement);
 
36
    }
 
37
    
 
38
    public void setDocumentElement(HtmlElement documentElement) {
 
39
 
 
40
        if (documentElement == null) {
 
41
            throw new IllegalArgumentException("The argument documentElement must not be null!");
 
42
        }
 
43
 
 
44
        if (this.documentElement != null) {
 
45
            replaceChild(this.documentElement, documentElement);
 
46
        } else {
 
47
            appendChild(documentElement);
 
48
        }
 
49
 
 
50
        this.documentElement = documentElement;
 
51
    }
 
52
}