<?php
class WGGIntAllowNULL extends WGGInt
{
	public function __construct( int $min = 0, int $max = PHP_INT_MAX )
	{
		parent::__construct( $min, $max );
		$this->invalid(new WGGThru());
	}
}

trait EXParaIdAllowNULL
{
	#[WGPara( name: 'id', gauntlet: new WGGIntAllowNULL(), default: null )]
	public ?int $id = null;
}

<?php
require_once 'waggo.php';

class EXXMLBoxesBoxParams extends WGParameters
{
	use EXParaIdAllowNULL;
}

class EXXMLBoxesBox extends HKXMLController
{
	protected EXXMLBoxesBoxParams $p;
	protected function initFirst()
	{
		$this->p = ( new EXXMLBoxesBoxParams() )->by( WGParameters::METHOD_GET )->store( $this );
	}

	protected function init()
	{
		if ( ( $this->p = EXXMLBoxesBoxParams::restore( $this, WGParameters::METHOD_GET ) ) == null ||
			 $this->p->hasError() )
		{
			$this->abort();
		}
	}
}