Repair/RepairCompiler/java_cup/version.java

   1
   2 package java_cup;
   3
   4 /** This class contains version and authorship information.
   5  *  It contains only static data elements and basically just a central
   6  *  place to put this kind of information so it can be updated easily
   7  *  for each release.
   8  *
   9  *  Version numbers used here are broken into 3 parts: major, minor, and
  10  *  update, and are written as v<major>.<minor>.<update> (e.g. v0.10a).
  11  *  Major numbers will change at the time of major reworking of some
  12  *  part of the system.  Minor numbers for each public release or
  13  *  change big enough to cause incompatibilities.  Finally update
  14  *  letter will be incremented for small bug fixes and changes that
  15  *  probably wouldn't be noticed by a user.
  16  *
  17  * @version last updated: 12/22/97 [CSA]
  18  * @author  Frank Flannery
  19  */
  20
  21 public class version {
  22   /** The major version number. */
  23   public static final int major = 0;
  24
  25   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  26
  27   /** The minor version number. */
  28   public static final int minor = 10;
  29
  30   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  31
  32   /** The update letter. */
  33   public static final char update = 'k';
  34
  35   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  36
  37   /** String for the current version. */
  38   public static final String version_str = "v" + major + "." + minor + update;
  39
  40   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  41
  42   /** Full title of the system */
  43   public static final String title_str = "CUP " + version_str;
  44
  45   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  46
  47   /** Name of the author */
  48   public static final String author_str =
  49       "Scott E. Hudson, Frank Flannery, and C. Scott Ananian";
  50
  51   /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
  52
  53   /** The command name normally used to invoke this program */
  54   public static final String program_name = "java_cup";
  55 }