non-empty-string-substr-specifying.php

<?php

namespace NonEmptyStringSubstr;

use function PHPStan\Testing\assertType;

class Foo {
	public function nonEmptySubstr(string $s, int $offset, int $length): void
	{
		if (substr($s, 10) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, -10) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, 10, 5) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, 10, -5) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, $offset) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, $offset, $length) === 'hallo') {
			assertType('non-empty-string', $s);
		}
		assertType('string', $s);

		if (substr($s, $offset, $length) !== 'hallo') {
			assertType('string', $s);
		}
		assertType('string', $s);

		if (substr($s, $offset, $length) === '') {
			assertType('string', $s);
		}
		assertType('string', $s);

		if (substr($s, $offset, $length) == '') {
			assertType('string', $s);
		}
		assertType('string', $s);

	}
}