00001 /* 00002 [The "BSD licence"] 00003 Copyright (c) 2005-2008 Terence Parr 00004 All rights reserved. 00005 00006 Redistribution and use in source and binary forms, with or without 00007 modification, are permitted provided that the following conditions 00008 are met: 00009 1. Redistributions of source code must retain the above copyright 00010 notice, this list of conditions and the following disclaimer. 00011 2. Redistributions in binary form must reproduce the above copyright 00012 notice, this list of conditions and the following disclaimer in the 00013 documentation and/or other materials provided with the distribution. 00014 3. The name of the author may not be used to endorse or promote products 00015 derived from this software without specific prior written permission. 00016 00017 THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 00018 IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 00019 OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00020 IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 00021 INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 00022 NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00023 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00024 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00025 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 00026 THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00027 */ 00028 package org.antlr.runtime.misc; 00029 00044 public class IntArray { 00045 public static final int INITIAL_SIZE = 10; 00046 public int[] data; 00047 protected int p = -1; 00048 00049 public void add(int v) { 00050 ensureCapacity(p+1); 00051 data[++p] = v; 00052 } 00053 00054 public void push(int v) { 00055 add(v); 00056 } 00057 00058 public int pop() { 00059 int v = data[p]; 00060 p--; 00061 return v; 00062 } 00063 00065 public int size() { 00066 return p; 00067 } 00068 00069 public void clear() { 00070 p = -1; 00071 } 00072 00073 public void ensureCapacity(int index) { 00074 if ( data==null ) { 00075 data = new int[INITIAL_SIZE]; 00076 } 00077 else if ( (index+1)>=data.length ) { 00078 int newSize = data.length*2; 00079 if ( index>newSize ) { 00080 newSize = index+1; 00081 } 00082 int[] newData = new int[newSize]; 00083 System.arraycopy(data, 0, newData, 0, data.length); 00084 data = newData; 00085 } 00086 } 00087 }
1.5.5