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 + -
显示快捷键?