action.java

PEPA模型性能分析工具

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());
		}
	}
}