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