version.java

package java_cup;


/**
 * This class contains version and authorship information. It contains only
 * static data elements and basically just a central place to put this kind of
 * information so it can be updated easily for each release. Version numbers
 * used here are broken into 3 parts: major, minor, and update, and are written
 * as v<major>.<minor>.<update> (e.g. v0.10a). Major numbers will change at
 * the time of major reworking of some part of the system. Minor numbers for
 * each public release or change big enough to cause incompatibilities. Finally
 * update letter will be incremented for small bug fixes and changes that
 * probably wouldn't be noticed by a user.
 * 
 * @version last updated: 12/22/97 [CSA]
 * @author Frank Flannery
 */
@SuppressWarnings (
{ "all" } )
public class version
{

  /** The major version number. */
  public static final int major = 0;


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** The minor version number. */
  public static final int minor = 11;


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** The update letter. */
  public static final String update = "a beta 20060608";


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** String for the current version. */
  public static final String version_str = "v" + major + "." + minor + update;


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** Full title of the system */
  public static final String title_str = "CUP " + version_str;


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** Name of the author */
  public static final String author_str = "Scott E. Hudson, Frank Flannery, Andrea Flexeder, Michael Petter and C. Scott Ananian";


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** Name of the modifier */
  public static final String modifier = "Christian Fehler";


  /* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . */
  /** The command name normally used to invoke this program */
  public static final String program_name = "java_cup";
}