package eduni.simanim; import java.awt.*; import java.applet.Applet; /** * An animation parameter type. Stores an array of strings * representing the different states of a parameter, e.g. * "Idle", "Busy" etc.

* You need to specify a parameter type in order to get a parameter * to display on a timing diagram.

* Example code to add a parameter type from a user's * entity constructor is below. *

 *   String[] wstate = {"idle","busy"};
 *   add_param(new Anim_param( "State", 
 *                          Anim_param.STATE, 
 *                           new Param_type("wstate", wstate)
 *                           ));
 * 
 * @version     1.0, 19 June 1997
 * @author      Fred Howell
 */

public class Param_type {
  private String typename;
  private String[] vals;
  public Param_type(String tp, String[] vals) {
    typename = tp;
    this.vals = vals;
  }
  /** Returns the array of strings */
  public String[] getVals() { return vals; }
  /** Returns the type name */
  public String getType() { return typename; }
  /** Returns the state index given a state name 
    * (or -1 if the state name isn't found)
    */
  public  int getIndex(String s) {
    for(int i=0; i   etc */
  public StringBuffer getSpec() {
    StringBuffer sb = new StringBuffer(typename);
    for (int i=0; i