private void pushStack(int newTop){
  if (stackSize == stack.length) {
    int[] newStack=new int[stackSize * 2];
    int[] newPathIndices=new int[stackSize * 2];
    String[] newPathNames=new String[stackSize * 2];
    System.arraycopy(stack,0,newStack,0,stackSize);
    System.arraycopy(pathIndices,0,newPathIndices,0,stackSize);
    System.arraycopy(pathNames,0,newPathNames,0,stackSize);
    stack=newStack;
    pathIndices=newPathIndices;
    pathNames=newPathNames;
  }
  stack[stackSize++]=newTop;
}

private void pushStack ( int newTop ) { if ( stackSize == stack . length ) { int [ ] newStack = new int [ stackSize * 2 ] ; int [ ] newPathIndices = new int [ stackSize * 2 ] ; String [ ] newPathNames = new String [ stackSize * 2 ] ; System . arraycopy ( stack , 0 , newStack , 0 , stackSize ) ; System . arraycopy ( pathIndices , 0 , newPathIndices , 0 , stackSize ) ; System . arraycopy ( pathNames , 0 , newPathNames , 0 , stackSize ) ; stack = newStack ; pathIndices = newPathIndices ; pathNames = newPathNames ; } stack [ stackSize ++ ] = newTop ; }
push a new scope on top of the scope stack
