<?php

declare(strict_types=1);

namespace PHPJava\Kernel\Frames;

class AppendFrame implements FrameInterface

{

use \PHPJava\Kernel\Core\BinaryReader;

use \PHPJava\Kernel\Core\ConstantPool;

/**

* @var int

*/

private $frameType;

/**

* @var int

*/

private $offsetDelta;

/**

* @var \PHPJava\Kernel\Structures\VerificationTypeInfo[]

*/

private $locals = [];

public function execute(): void

{

$this->frameType = $this->readUnsignedByte();

$this->offsetDelta = $this->readUnsignedShort();

for ($i = 0, $s = $this->frameType - 251; $i < $s; $i++) {

$local = new \PHPJava\Kernel\Structures\VerificationTypeInfo($this->reader);

$local->execute();

$this->locals[] = $local;

}

}

}