public void push ( AObject obj ) { if ( obj == null || obj . getId ( ) != GlobalConstant . NULLID ) { return ; } // Grow if we are at capacity if ( nextid == objects . length ) { grow ( ) ; } obj . setId ( nextid ) ; objects [ nextid ++ ] = obj ; }
Pushes a new object to the top of the catalog .