mirror of
https://github.com/danog/psalm.git
synced 2024-12-13 17:57:37 +01:00
61 lines
1.0 KiB
PHP
61 lines
1.0 KiB
PHP
<?php
|
|
namespace Psalm;
|
|
|
|
class IfScope
|
|
{
|
|
/**
|
|
* @var array<string, Type\Union>|null
|
|
*/
|
|
public $new_vars = null;
|
|
|
|
/**
|
|
* @var array<string, boolean>
|
|
*/
|
|
public $new_vars_possibly_in_scope = [];
|
|
|
|
/**
|
|
* @var array<string, Type\Union>|null
|
|
*/
|
|
public $forced_new_vars = null;
|
|
|
|
/**
|
|
* @var array<string, Type\Union>|null
|
|
*/
|
|
public $redefined_vars = null;
|
|
|
|
/**
|
|
* @var array<string, Type\Union>
|
|
*/
|
|
public $possibly_redefined_vars = [];
|
|
|
|
/**
|
|
* @var array<string, Type\Union>|null
|
|
*/
|
|
public $redefined_loop_vars = null;
|
|
|
|
/**
|
|
* @var array<string, Type\Union>
|
|
*/
|
|
public $possibly_redefined_loop_vars = [];
|
|
|
|
/**
|
|
* @var array<string, Type\Union>
|
|
*/
|
|
public $updated_vars = [];
|
|
|
|
/**
|
|
* @var array<string, string>
|
|
*/
|
|
public $negated_types = [];
|
|
|
|
/**
|
|
* @var array<string, string>|null
|
|
*/
|
|
public $negatable_if_types = null;
|
|
|
|
/**
|
|
* @var Context|null
|
|
*/
|
|
public $loop_context;
|
|
}
|