equal
deleted
inserted
replaced
1440 Node *pop() { return _nodes[--_cnt]; } |
1440 Node *pop() { return _nodes[--_cnt]; } |
1441 Node *rpop() { Node *b = _nodes[0]; _nodes[0]=_nodes[--_cnt]; return b;} |
1441 Node *rpop() { Node *b = _nodes[0]; _nodes[0]=_nodes[--_cnt]; return b;} |
1442 void clear() { _cnt = 0; Node_Array::clear(); } // retain storage |
1442 void clear() { _cnt = 0; Node_Array::clear(); } // retain storage |
1443 uint size() const { return _cnt; } |
1443 uint size() const { return _cnt; } |
1444 void dump() const; |
1444 void dump() const; |
|
1445 void dump_simple() const; |
1445 }; |
1446 }; |
1446 |
1447 |
1447 //------------------------------Unique_Node_List------------------------------- |
1448 //------------------------------Unique_Node_List------------------------------- |
1448 class Unique_Node_List : public Node_List { |
1449 class Unique_Node_List : public Node_List { |
1449 friend class VMStructs; |
1450 friend class VMStructs; |