OrientDB/OrientDBRecordDecoder.php
protected function stackPush($tokenType, $tokenValue = null)
    {
        array_push($this->stackTT, $tokenType);
        if ($tokenValue === null) {
            $tokenValue = $this->buffer;
        }
        array_push($this->stackTV, $tokenValue);
        $this->buffer = '';
    }
protected function stackPush($tokenType, $tokenValue = null)
    {
        array_push($this->stackTT, $tokenType);
        if ($tokenValue === null) {
            $tokenValue = $this->buffer;
        }
        array_push($this->stackTV, $tokenValue);
        $this->buffer = '';
    }
Pushes found value to internal stack and flushes $this->buffer. If no
$tokenValue is given, uses $this->buffer
@param int $tokenType
@param mixed $tokenValue