PHPCfg\Op\Expr\Assertion::__construct PHP Method

    public function __construct(Operand $read, Operand $write, Assert $assertion, array $attributes = [])
    {
        parent::__construct($attributes);
        $this->expr = $this->addReadRef($read);
        $this->assertion = $this->addReadRef($assertion);
        $this->result = $this->addWriteRef($write);
    }