kernel/src/runtime/Vector.h
/**
         * Inserts a new item to the end of the vector.
         */
Inserts a new item to the end of the vector.
Inserts a new item to the end of the vector .
void push_back(const T value) {
            this->ensureStorage();
            new(&this->storage[this->numAllocated]) T();
            this->storage[this->numAllocated++] = value;
        }
void push_back ( const T value ) { this -> ensureStorage ( ) ; new ( & this -> storage [ this -> numAllocated ] ) T ( ) ; this -> storage [ this -> numAllocated ++ ] = value ; }
Inserts a new item to the end of the vector.
Inserts a new item to the end of the vector .
// insert at the end (XXX: is the default allocation needed?)