2017-07-25 22:11:02 +02:00
|
|
|
<?php
|
|
|
|
namespace Psalm;
|
|
|
|
|
|
|
|
class Aliases
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $uses;
|
|
|
|
|
2019-06-01 16:07:38 +02:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $uses_flipped;
|
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
/**
|
2020-05-15 16:18:05 +02:00
|
|
|
* @var array<string, non-empty-string>
|
2017-07-25 22:11:02 +02:00
|
|
|
*/
|
|
|
|
public $functions;
|
|
|
|
|
2019-06-01 16:07:38 +02:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $functions_flipped;
|
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $constants;
|
|
|
|
|
2019-06-01 16:07:38 +02:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $constants_flipped;
|
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
/** @var string|null */
|
|
|
|
public $namespace;
|
|
|
|
|
2019-06-30 03:32:26 +02:00
|
|
|
/** @var ?int */
|
|
|
|
public $namespace_first_stmt_start;
|
|
|
|
|
|
|
|
/** @var ?int */
|
|
|
|
public $uses_start;
|
|
|
|
|
|
|
|
/** @var ?int */
|
|
|
|
public $uses_end;
|
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
/**
|
|
|
|
* @param array<string, string> $uses
|
2020-05-15 16:18:05 +02:00
|
|
|
* @param array<string, non-empty-string> $functions
|
2017-07-25 22:11:02 +02:00
|
|
|
* @param array<string, string> $constants
|
2019-06-01 16:07:38 +02:00
|
|
|
* @param array<string, string> $uses_flipped
|
|
|
|
* @param array<string, string> $functions_flipped
|
|
|
|
* @param array<string, string> $constants_flipped
|
2017-07-25 22:11:02 +02:00
|
|
|
*/
|
|
|
|
public function __construct(
|
2020-10-12 21:46:47 +02:00
|
|
|
?string $namespace = null,
|
2017-07-25 22:11:02 +02:00
|
|
|
array $uses = [],
|
|
|
|
array $functions = [],
|
2019-06-01 16:07:38 +02:00
|
|
|
array $constants = [],
|
|
|
|
array $uses_flipped = [],
|
|
|
|
array $functions_flipped = [],
|
|
|
|
array $constants_flipped = []
|
2017-07-25 22:11:02 +02:00
|
|
|
) {
|
|
|
|
$this->namespace = $namespace;
|
|
|
|
$this->uses = $uses;
|
|
|
|
$this->functions = $functions;
|
|
|
|
$this->constants = $constants;
|
2019-06-01 16:07:38 +02:00
|
|
|
$this->uses_flipped = $uses_flipped;
|
|
|
|
$this->functions_flipped = $functions_flipped;
|
|
|
|
$this->constants_flipped = $constants_flipped;
|
2017-07-25 22:11:02 +02:00
|
|
|
}
|
|
|
|
}
|