📄 attributenode.java
字号:
/*
* AttributeNode.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;
/**
*
* @author 王刚
*/
import XRSystem.Util.*;
import java.lang.*;
import java.util.*;
public class AttributeNode extends PreAttribute{
private int ElementPost;
/** Creates a new instance of AttributeNode */
public AttributeNode(int DocumentID,int AttributeID,int ElementPre,int ElementPost,String AttributeName,String AttributeValue) {
super(DocumentID,AttributeID,ElementPre,AttributeName,AttributeValue);
this.ElementPost = ElementPost;
}
public int GetElementPost() {
return ElementPost;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -