ToTask.java

/**
  * Class for defining a task, for the applications demonstrator.
  *
  * @author H W Yau
  * @version $Revision: 1.6 $ $Date: 1999/02/16 18:53:20 $
  */
public class ToTask<region R> implements java.io.Serializable {
  private String header in R;
  private long randomSeed in R;

  public ToTask(String header, long randomSeed) pure {
    this.header         = header;
    this.randomSeed     = randomSeed;
  }
  //------------------------------------------------------------------------
  // Accessor methods for class ToTask.
  // Generated by 'makeJavaAccessor.pl' script.  HWY.  20th January 1999.
  //------------------------------------------------------------------------
  /**
    * Accessor method for private instance variable <code>header</code>.
    *
    * @return Value of instance variable <code>header</code>.
    */
  public String get_header() reads R {
    return(this.header);
  }
  /**
    * Set method for private instance variable <code>header</code>.
    *
    * @param header the value to set for the instance variable <code>header</code>.
    */
  public void set_header(String header) writes R {
    this.header = header;
  }
  /**
    * Accessor method for private instance variable <code>randomSeed</code>.
    *
    * @return Value of instance variable <code>randomSeed</code>.
    */
  public long get_randomSeed() reads R {
    return(this.randomSeed);
  }
  /**
    * Set method for private instance variable <code>randomSeed</code>.
    *
    * @param randomSeed the value to set for the instance variable <code>randomSeed</code>.
    */
  public void set_randomSeed(long randomSeed) writes R {
    this.randomSeed = randomSeed;
  }
  //------------------------------------------------------------------------
}