1 Clazz.declarePackage ("com.stevesoft.pat");
\r
2 c$ = Clazz.decorateAsClass (function () {
\r
5 Clazz.instantialize (this, arguments);
\r
6 }, com.stevesoft.pat, "patInt");
\r
7 Clazz.makeConstructor (c$,
\r
12 Clazz.makeConstructor (c$,
\r
17 Clazz.makeConstructor (c$,
\r
21 }, "com.stevesoft.pat.patInt");
\r
22 Clazz.defineMethod (c$, "setInf",
\r
26 this.i = 2147483647;
\r
28 Clazz.defineMethod (c$, "inc",
\r
33 Clazz.defineMethod (c$, "dec",
\r
38 Clazz.defineMethod (c$, "lessEq",
\r
40 return !this.inf && (j.inf || this.i <= j.i);
\r
41 }, "com.stevesoft.pat.patInt");
\r
42 Clazz.defineMethod (c$, "equals",
\r
44 return !j.inf && !this.inf && this.i == j.i;
\r
45 }, "com.stevesoft.pat.patInt");
\r
46 Clazz.overrideMethod (c$, "toString",
\r
53 Clazz.defineMethod (c$, "pluseq",
\r
55 if (this.inf || p.inf) {
\r
60 }, "com.stevesoft.pat.patInt");
\r
61 Clazz.defineMethod (c$, "mul",
\r
63 if (this.inf || p.inf) {
\r
64 return new com.stevesoft.pat.patInf ();
\r
65 }return new com.stevesoft.pat.patInt (this.i * p.i);
\r
66 }, "com.stevesoft.pat.patInt");
\r
67 Clazz.defineMethod (c$, "mineq",
\r
73 } else if (p.i < this.i) {
\r
75 }this.setInf (false);
\r
77 }, "com.stevesoft.pat.patInt");
\r
78 Clazz.defineMethod (c$, "maxeq",
\r
80 if (this.inf || p.inf) {
\r
83 }if (p.i > this.i) {
\r
86 }, "com.stevesoft.pat.patInt");
\r
87 Clazz.defineMethod (c$, "finite",
\r
91 Clazz.defineMethod (c$, "intValue",
\r
93 return this.inf ? 2147483647 : this.i;
\r