action.java
来自「PEPA模型性能分析工具」· Java 代码 · 共 50 行
JAVA
50 行
package semantic;
import java.util.Enumeration;
import java.util.HashSet;
import java.util.Iterator;
import trans.Debug;
public class Action {
public static HashSet actdef;
private static String rateUnspec="T";
protected String name;
public Action(String s)
{
name=s;
actdef.add((Object)s);
}
public Action(Action a)
{
name=a.name;
}
public String toString()
{
return name;
}
public static void initialize()
{
actdef=new HashSet();
}
public boolean equals(Action a)
{
return name.equals(a.name);
}
public boolean isTao()
{
return name.equals(rateUnspec);
}
public static void PrintActions()
{
Debug.println(6,"-------------------------Action Definition-------------------------");
Iterator item=actdef.iterator();
while(item.hasNext())
{
Object o=item.next();
Debug.println(6,o.toString());
}
}
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?