Page MenuHomeWickedGov Phorge
Files F1430727

Utils.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

Utils.php
View Options

<?php
declare(strict_types=1);
namespace Phan\LanguageServer;
use InvalidArgumentException;
use Sabre\Event\Loop;
use Throwable;
/**
* Utils that are useful for implementing a language server.
*
* Taken from code by Felix Frederick Becker
*
* Source: https://github.com/felixfbecker/php-language-server
*
* - Mostly from that project's src/utils.php
*/
class Utils
{
/**
* Causes the sabre event loop to crash, for debugging.
*
* E.g. this is called if there is an unrecoverable error elsewhere.
* @suppress PhanUnreferencedPublicMethod
*/
public static function crash(Throwable $err): void
{
Loop\nextTick(/** @return never */ static function () use ($err): void {
// @phan-suppress-next-line PhanThrowTypeAbsent this is meant to crash the loop for debugging.
throw $err;
});
}
/**
* Transforms an absolute file path into a URI as used by the language server protocol.
*
* @param string $filepath
*/
public static function pathToUri(string $filepath): string
{
// TODO: Make the return value of str_replace depend on the param value
$filepath = \trim(\str_replace('\\', '/', $filepath), '/');
$parts = \explode('/', $filepath);
// Don't %-encode the colon after a Windows drive letter
$first = (string)\array_shift($parts);
if (\substr($first, -1) !== ':') {
$first = \rawurlencode($first);
}
$parts = \array_map('rawurlencode', $parts);
\array_unshift($parts, $first);
$filepath = \implode('/', $parts);
return 'file:///' . $filepath;
}
/**
* Transforms URI into an absolute file path
*
* @param string $uri
* @throws InvalidArgumentException
*/
public static function uriToPath(string $uri): string
{
$fragments = \parse_url($uri);
if (!\is_array($fragments) || !isset($fragments['scheme']) || $fragments['scheme'] !== 'file') {
throw new InvalidArgumentException("Not a valid file URI: $uri");
}
$filepath = \urldecode($fragments['path']);
if (\DIRECTORY_SEPARATOR === "\\") {
$filepath = self::normalizePathFromWindowsURI($filepath);
}
return $filepath;
}
/**
* Converts "/C:/something/else.php" to "C:\something\else.php"
*
* Does nothing if not an absolute path.
*/
public static function normalizePathFromWindowsURI(string $filepath): string
{
if (!\preg_match('@[a-zA-Z]:[\\\\/]@', $filepath)) {
return $filepath;
}
if ($filepath[0] === '/') {
$filepath = (string)\substr($filepath, 1);
}
return \str_replace('/', '\\', $filepath);
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, May 16, 19:28 (4 h, 9 m)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
b0/6a/5b1558fbfc3c86631b7b4ae219fa
Default Alt Text
Utils.php (2 KB)

Event Timeline