2016-11-11 23:13:13 +01:00
|
|
|
<?php
|
|
|
|
namespace Psalm;
|
|
|
|
|
|
|
|
class IfScope
|
|
|
|
{
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>|null
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $new_vars = null;
|
|
|
|
|
|
|
|
/**
|
2017-01-02 07:07:44 +01:00
|
|
|
* @var array<string, boolean|string>
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $new_vars_possibly_in_scope = [];
|
|
|
|
|
2017-05-27 02:16:18 +02:00
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>|null
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $forced_new_vars = null;
|
|
|
|
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>|null
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $redefined_vars = null;
|
|
|
|
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $possibly_redefined_vars = [];
|
|
|
|
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>|null
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $redefined_loop_vars = null;
|
|
|
|
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, Type\Union>
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $possibly_redefined_loop_vars = [];
|
|
|
|
|
|
|
|
/**
|
2017-02-24 01:36:51 +01:00
|
|
|
* @var array<string, bool>
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $updated_vars = [];
|
|
|
|
|
|
|
|
/**
|
2016-12-24 19:23:22 +01:00
|
|
|
* @var array<string, string>
|
2016-11-11 23:13:13 +01:00
|
|
|
*/
|
|
|
|
public $negated_types = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, string>|null
|
|
|
|
*/
|
|
|
|
public $negatable_if_types = null;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var Context|null
|
|
|
|
*/
|
|
|
|
public $loop_context;
|
2017-03-16 19:45:45 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @var bool
|
|
|
|
*/
|
|
|
|
public $has_elseifs;
|
|
|
|
|
|
|
|
/**
|
2017-03-18 19:04:26 +01:00
|
|
|
* @var array<int, Clause>
|
2017-03-16 19:45:45 +01:00
|
|
|
*/
|
|
|
|
public $negated_clauses;
|
|
|
|
|
|
|
|
/**
|
2017-03-18 19:04:26 +01:00
|
|
|
* @var array<int, Clause>
|
2017-03-16 19:45:45 +01:00
|
|
|
*/
|
2017-03-18 18:37:00 +01:00
|
|
|
public $reasonable_clauses = [];
|
2016-11-11 23:13:13 +01:00
|
|
|
}
|