📄 stateinfo.java
字号:
import java.io.*;import java.awt.*;import java.util.*;import com.sun.java.swing.*;//This class represents each stateclass StateInfo extends Info { int level = 0; //For nested states StateInfo higher = null; //Pointer to the next higher state enveloping this. CLOG_STATE stateDef; int procId; //Constructor public StateInfo () {super ();}; //Constructor public StateInfo (int pid, double beg, double end, CLOG_STATE s) { super (); procId = pid; begT = beg; endT = end; stateDef = s; } public String toString () { return ("StateInfo [level=" + level + ", procId=" + procId + ", begT=" + begT + ", endT=" + endT + ", lenT=" + lenT + ", name=" + stateDef.description.desc + "]"); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -