/*
 * ElementNode.java
 *
 * Created on 2007年3月2日, 下午2:31
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package XRSystem.Util;
import XRSystem.Util.*;
/**
 *
 * @author 王剛
 */
public class ElementNode extends PreElement{
    
    private int ElementPost;
    private int ParentPre;
    private int ParentPost;
    
    /** Creates a new instance of ElementNode */
    public ElementNode(int DocumentID,int ElementPre,int ElementPost,String TagName,int ParentPre,int ParentPost) {
        super(DocumentID,ElementPre,TagName);
        this.ElementPost = ElementPost;
        this.ParentPre = ParentPre;
        this.ParentPost = ParentPost;
    }
    
    public int GetElementPost()
    {
        return ElementPost;
    }
    
    public int GetParentPre()
    {
        return ParentPre;
    }
    
    public int GetParentPost()
    {
        return ParentPost;
    }
}