| 
  | ||||||||||||||||
The Push instruction owns the element.
|  Push (Element* e)
 | Push | 
Element is owned by Push. Caller must not delete element.
Parameters:
| e | element associated with push. | 
|  ~Push ()
 | ~Push | 
|  INSTR_VISITABLE ()
 | INSTR_VISITABLE | 
| const Element&  elem ()
 | elem | 
[const]
Returns: element associated with push.