ClosureToken(int type,
    Token tok) 
{
            
            super(type);
            this.child = tok;
            this.setMin(-1);
            this.setMax(-1);
}

 Token getChild(int index) 
{
            return this.child;
}

 final int getMax() 
{
            return this.max;
}

 final int getMin() 
{
            return this.min;
}

 final  void setMax(int max) 
{
            this.max = max;
}

 final  void setMin(int min) 
{
            this.min = min;
}

 int size() 
{
            return 1;
}

 public String toString(int options) 
{
            String ret;
            if (this.type == CLOSURE) {
                if (this.getMin() <  0 && this.getMax() <  0) {
                    ret = this.child.toString(options)+"*";
                } else if (this.getMin() == this.getMax()) {
                    ret = this.child.toString(options)+"{"+this.getMin()+"}";
                } else if (this.getMin()  >= 0 && this.getMax()  >= 0) {
                    ret = this.child.toString(options)+"{"+this.getMin()+","+this.getMax()+"}";
                } else if (this.getMin()  >= 0 && this.getMax() <  0) {
                    ret = this.child.toString(options)+"{"+this.getMin()+",}";
                } else
                    throw new RuntimeException("Token#toString(): CLOSURE "
                                               +this.getMin()+", "+this.getMax());
            } else {
                if (this.getMin() <  0 && this.getMax() <  0) {
                    ret = this.child.toString(options)+"*?";
                } else if (this.getMin() == this.getMax()) {
                    ret = this.child.toString(options)+"{"+this.getMin()+"}?";
                } else if (this.getMin()  >= 0 && this.getMax()  >= 0) {
                    ret = this.child.toString(options)+"{"+this.getMin()+","+this.getMax()+"}?";
                } else if (this.getMin()  >= 0 && this.getMax() <  0) {
                    ret = this.child.toString(options)+"{"+this.getMin()+",}?";
                } else
                    throw new RuntimeException("Token#toString(): NONGREEDYCLOSURE "
                                               +this.getMin()+", "+this.getMax());
            }
            return ret;
}