?? elementnode.java
字號:
/*
* 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;
}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -