Page MenuHomeWickedGov Phorge
Files F1431818

TrueType.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

TrueType.php
View Options

<?php
declare(strict_types=1);
namespace Phan\Language\Type;
use AssertionError;
use Phan\CodeBase;
use Phan\Config;
use Phan\Language\Context;
use Phan\Language\Type;
/**
* Represents the type `true`
* @see BoolType
* @see FalseType
* @phan-pure
*/
final class TrueType extends ScalarType implements LiteralTypeInterface
{
use NativeTypeTrait;
/** @phan-override */
public const NAME = 'true';
public function isPossiblyTruthy(): bool
{
return true;
}
public function isPossiblyFalsey(): bool
{
return $this->is_nullable;
}
public function isAlwaysTruthy(): bool
{
return !$this->is_nullable;
}
public function isPossiblyTrue(): bool
{
return true;
}
public function isPossiblyFalse(): bool
{
return true;
}
public function isAlwaysTrue(): bool
{
return !$this->is_nullable; // If it can be null, it's not **always** identical to true
}
public function asNonTrueType(): Type
{
if (!$this->is_nullable) {
throw new AssertionError('should only call asNonTrueType on ?true');
}
return NullType::instance(true);
}
public function isInBoolFamily(): bool
{
return true;
}
/**
* Helper function for internal use by UnionType
*/
public function getNormalizationFlags(): int
{
return $this->is_nullable ? (self::_bit_nullable | self::_bit_true) : self::_bit_true;
}
public function isPrintableScalar(): bool
{
// This would be '1', which is probably not intended
return Config::getValue('scalar_implicit_cast');
}
public function isValidNumericOperand(): bool
{
return Config::getValue('scalar_implicit_cast');
}
/**
* Check if this type can satisfy a comparison (<, <=, >, >=)
* @param int|string|float|bool|null $scalar
* @param int $flags (e.g. \ast\flags\BINARY_IS_SMALLER)
* @internal
*/
public function canSatisfyComparison($scalar, int $flags): bool
{
return self::performComparison(true, $scalar, $flags);
}
public function canCastToDeclaredType(CodeBase $code_base, Context $context, Type $other): bool
{
return $other->isPossiblyTrue() ||
$other instanceof TemplateType ||
(!$context->isStrictTypes() && parent::canCastToDeclaredType($code_base, $context, $other));
}
// public function getTypeAfterIncOrDec() : UnionType - doesn't need to be changed
/**
* Returns the corresponding type that would be used in a signature
* @override
*/
public function asSignatureType(): Type
{
return BoolType::instance($this->is_nullable);
}
/** @return true */
public function getValue(): bool
{
return true;
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, May 16, 21:06 (1 d, 16 h)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
14/27/375e8658e0e2852d0aea94327080
Default Alt Text
TrueType.php (2 KB)

Event Timeline