/**
* Will push a given element to the stack
*
* @param mixed $obj The element to push
*
* @return null
*
* @Requires("!in_array($obj, $this->container)")
*/
public function push($obj)
{
return parent::push($obj);
}
/**
* Will push a given element to the stack
*
* @param mixed $obj The element to push
*
* @return null
*
* @Requires("!in_array($obj, $this->container)")
*/
public function push($obj)
{
return parent::push($obj);
}
