void function ( int arg0 ) { if ( size >= elements . length ) { int [ ] loc0 = new int [ elements . length * 2 ] ; System . arraycopy ( elements , 0 , loc0 , 0 , elements . length ) ; elements = loc0 ; } elements [ size ++ ] = arg0 ; }
push a new integer into the top of the stack concode_field_sep int DEFAULT_CAPACITY concode_elem_sep int size concode_elem_sep int[] elements concode_field_sep int pop concode_elem_sep int getSize concode_elem_sep int peek concode_elem_sep boolean empty