01: package org.antlr.misc;
02:
03: /** Java won't let you modify an Integer; not sure how that's more
04: * efficient, but...here's one that let's you modify it.
05: * Frightening I have to implement this myself. Blech.
06: */
07: public class MutableInteger {
08: public int value;
09:
10: public MutableInteger() {
11: this (0);
12: }
13:
14: public MutableInteger(int value) {
15: this.value = value;
16: }
17: }
|