📄 pretext.java
字号:
/*
* PreText.java
*
* Created on 2007年3月2日, 下午2:30
*
* To change this template, choose Tools | Template Manager
* and open the template in the editor.
*/
package XRSystem.Util;
import java.lang.*;
import java.util.*;
import XRSystem.Util.*;
/**
*
* @author 王刚
*/
public class PreText {
private int DocumentID;
private int TextID;
private int ElementPre;
private String TextContent;
/** Creates a new instance of PreText */
public PreText(int DocumentID,int TextID,int ElementPre,String TextContent)
{
this.DocumentID = DocumentID;
this.TextID = TextID;
this.ElementPre = ElementPre;
this.TextContent = TextContent;
}
public int GetDocumentID()
{
return DocumentID;
}
public int GetTextID()
{
return TextID;
}
public int GetElementPre()
{
return ElementPre;
}
public String GetTextContent()
{
return TextContent;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -