01: package java_cup;
02:
03: /** This class contains version and authorship information.
04: * It contains only static data elements and basically just a central
05: * place to put this kind of information so it can be updated easily
06: * for each release.
07: *
08: * Version numbers used here are broken into 3 parts: major, minor, and
09: * update, and are written as v<major>.<minor>.<update> (e.g. v0.10a).
10: * Major numbers will change at the time of major reworking of some
11: * part of the system. Minor numbers for each public release or
12: * change big enough to cause incompatibilities. Finally update
13: * letter will be incremented for small bug fixes and changes that
14: * probably wouldn't be noticed by a user.
15: *
16: * @version last updated: 12/22/97 [CSA]
17: * @author Frank Flannery
18: */
19:
20: public class version {
21: /** The major version number. */
22: public static final int major = 0;
23:
24: /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
25:
26: /** The minor version number. */
27: public static final int minor = 11;
28:
29: /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
30:
31: /** The update letter. */
32: public static final String update = "a beta 20060608";
33:
34: /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
35:
36: /** String for the current version. */
37: public static final String version_str = "v" + major + "." + minor
38: + 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 = "Scott E. Hudson, Frank Flannery, Andrea Flexeder, Michael Petter and C. Scott Ananian";
49:
50: /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
51:
52: /** The command name normally used to invoke this program */
53: public static final String program_name = "java_cup";
54: }
|