Method pushContext

lib/php/lib/Protocol/TJSONProtocol.php:171–175

($c)

    public $reader_;

    private function pushContext($c)
    {
        array_push($this->contextStack_, $this->context_);
        $this->context_ = $c;
    }

    private function popContext()
    {