List of all items

Structs

• context::ScopeContext
• diff::CodebaseDiff
• flags::attribute::AttributeFlags
• identifier::method::MethodIdentifier
• metadata::CodebaseMetadata
• metadata::attribute::AttributeMetadata
• metadata::class_like::ClassLikeMetadata
• metadata::class_like_constant::ClassLikeConstantMetadata
• metadata::constant::ConstantMetadata
• metadata::enum_case::EnumCaseMetadata
• metadata::flags::MetadataFlags
• metadata::function_like::FunctionLikeMetadata
• metadata::function_like::MethodMetadata
• metadata::parameter::FunctionLikeParameterMetadata
• metadata::property::PropertyMetadata
• metadata::property_hook::PropertyHookMetadata
• metadata::ttype::TypeMetadata
• misc::VariableIdentifier
• reference::InvalidSymbols
• reference::SymbolReferences
• signature::DefSignatureNode
• signature::FileSignature
• symbol::Symbols
• ttype::atomic::alias::TAlias
• ttype::atomic::array::keyed::TKeyedArray
• ttype::atomic::array::list::TList
• ttype::atomic::callable::TCallableSignature
• ttype::atomic::callable::parameter::TCallableParameter
• ttype::atomic::conditional::TConditional
• ttype::atomic::derived::index_access::TIndexAccess
• ttype::atomic::derived::int_mask::TIntMask
• ttype::atomic::derived::int_mask_of::TIntMaskOf
• ttype::atomic::derived::key_of::TKeyOf
• ttype::atomic::derived::properties_of::TPropertiesOf
• ttype::atomic::derived::value_of::TValueOf
• ttype::atomic::generic::TGenericParameter
• ttype::atomic::iterable::TIterable
• ttype::atomic::mixed::TMixed
• ttype::atomic::object::enum::TEnum
• ttype::atomic::object::has_method::TObjectHasMethod
• ttype::atomic::object::has_property::TObjectHasProperty
• ttype::atomic::object::named::TNamedObject
• ttype::atomic::object::with_properties::TObjectWithProperties
• ttype::atomic::resource::TResource
• ttype::atomic::scalar::bool::TBool
• ttype::atomic::scalar::string::TString
• ttype::combination::CombinationFlags
• ttype::combination::TypeCombination
• ttype::comparator::ComparisonResult
• ttype::expander::TypeExpansionOptions
• ttype::resolution::TypeResolutionContext
• ttype::template::TemplateBound
• ttype::template::TemplateResult
• ttype::template::standin_type_replacer::StandinOptions
• ttype::union::TUnion
• ttype::union::UnionFlags

Enums

• assertion::Assertion
• identifier::function_like::FunctionLikeIdentifier
• metadata::function_like::FunctionLikeKind
• misc::ExpressionIdentifier
• misc::GenericParent
• reference::ReferenceSource
• symbol::SymbolKind
• ttype::TypeRef
• ttype::atomic::TAtomic
• ttype::atomic::array::TArray
• ttype::atomic::array::key::ArrayKey
• ttype::atomic::callable::TCallable
• ttype::atomic::derived::TDerived
• ttype::atomic::mixed::truthiness::TMixedTruthiness
• ttype::atomic::object::TObject
• ttype::atomic::reference::TReference
• ttype::atomic::reference::TReferenceMemberSelector
• ttype::atomic::scalar::TScalar
• ttype::atomic::scalar::class_like_string::TClassLikeString
• ttype::atomic::scalar::class_like_string::TClassLikeStringKind
• ttype::atomic::scalar::float::TFloat
• ttype::atomic::scalar::int::TInteger
• ttype::atomic::scalar::string::TStringLiteral
• ttype::error::TypeError
• ttype::expander::StaticClassType
• ttype::template::variance::Variance
• visibility::Visibility

Traits

• ttype::TType

Functions

• differ::compute_file_diff
• get_anonymous_class_name
• populator::populate_codebase
• scanner::scan_program
• signature_builder::build_file_signature
• ttype::add_optional_union_type
• ttype::add_union_type
• ttype::atomic::populate_atomic_type
• ttype::builder::get_type_from_string
• ttype::builder::get_union_from_type_ast
• ttype::cast::cast_atomic_to_callable
• ttype::combine_optional_union_types
• ttype::combine_union_types
• ttype::combiner::combine
• ttype::comparator::atomic_comparator::expand_constant_value
• ttype::comparator::atomic_comparator::is_contained_by
• ttype::comparator::union_comparator::can_expression_types_be_identical
• ttype::comparator::union_comparator::is_contained_by
• ttype::expander::expand_union
• ttype::expander::get_atomic_of_function_like_identifier
• ttype::expander::get_signature_of_function_like_identifier
• ttype::expander::get_signature_of_function_like_metadata
• ttype::expander::reset_expansion_state
• ttype::get_array_parameters
• ttype::get_array_value_parameter
• ttype::get_arraykey
• ttype::get_bool
• ttype::get_class_string
• ttype::get_class_string_of_type
• ttype::get_closed_resource
• ttype::get_empty_keyed_array
• ttype::get_empty_string
• ttype::get_enum_string
• ttype::get_enum_string_of_type
• ttype::get_false
• ttype::get_float
• ttype::get_int
• ttype::get_int_or_float
• ttype::get_int_or_string
• ttype::get_int_range
• ttype::get_interface_string
• ttype::get_interface_string_of_type
• ttype::get_isset_from_mixed_mixed
• ttype::get_iterable
• ttype::get_iterable_parameters
• ttype::get_iterable_value_parameter
• ttype::get_keyed_array
• ttype::get_list
• ttype::get_literal_class_string
• ttype::get_literal_float
• ttype::get_literal_int
• ttype::get_literal_string
• ttype::get_lowercase_string
• ttype::get_minus_one_int
• ttype::get_mixed
• ttype::get_mixed_callable
• ttype::get_mixed_closure
• ttype::get_mixed_iterable
• ttype::get_mixed_keyed_array
• ttype::get_mixed_list
• ttype::get_mixed_maybe_from_loop
• ttype::get_named_object
• ttype::get_negative_int
• ttype::get_never
• ttype::get_non_empty_list
• ttype::get_non_empty_lowercase_string
• ttype::get_non_empty_string
• ttype::get_non_empty_unspecified_literal_string
• ttype::get_non_negative_int
• ttype::get_non_positive_int
• ttype::get_null
• ttype::get_nullable_float
• ttype::get_nullable_int
• ttype::get_nullable_object
• ttype::get_nullable_scalar
• ttype::get_nullable_string
• ttype::get_numeric
• ttype::get_numeric_string
• ttype::get_object
• ttype::get_one_int
• ttype::get_open_resource
• ttype::get_placeholder
• ttype::get_positive_int
• ttype::get_resource
• ttype::get_scalar
• ttype::get_signum_result
• ttype::get_specialized_template_type
• ttype::get_string
• ttype::get_string_with_props
• ttype::get_trait_string
• ttype::get_trait_string_of_type
• ttype::get_true
• ttype::get_truthy_mixed
• ttype::get_truthy_string
• ttype::get_undefined_null
• ttype::get_union_from_integer
• ttype::get_unspecified_literal_float
• ttype::get_unspecified_literal_int
• ttype::get_unspecified_literal_string
• ttype::get_void
• ttype::get_zero_int
• ttype::intersect_union_types
• ttype::template::inferred_type_replacer::replace
• ttype::template::standin_type_replacer::get_actual_type_from_literal
• ttype::template::standin_type_replacer::get_extended_templated_types
• ttype::template::standin_type_replacer::get_mapped_generic_type_parameters
• ttype::template::standin_type_replacer::get_most_specific_type_from_bounds
• ttype::template::standin_type_replacer::get_relevant_bounds
• ttype::template::standin_type_replacer::insert_bound_type
• ttype::template::standin_type_replacer::replace
• ttype::union::populate_union_type
• ttype::wrap_atomic

Type Aliases

• diff::DeletionRange
• diff::DiffHunk
• metadata::function_like::TemplateTuple
• symbol::SymbolIdentifier

Statics

• ttype::shared::EMPTY_KEYED_ARRAY_ATOMIC
• ttype::shared::EMPTY_STRING_ATOMIC
• ttype::shared::MIXED_CALLABLE_ATOMIC
• ttype::shared::MIXED_CLOSURE_ATOMIC
• ttype::shared::MIXED_ITERABLE_ATOMIC
• ttype::shared::MIXED_KEYED_ARRAY_ATOMIC

Constants

• consts::MAX_ENUM_CASES_FOR_ANALYSIS
• ttype::shared::ARRAYKEY_ATOMIC
• ttype::shared::BOOL_ATOMIC
• ttype::shared::CLASS_STRING_ATOMIC
• ttype::shared::CLOSED_RESOURCE_ATOMIC
• ttype::shared::ENUM_STRING_ATOMIC
• ttype::shared::FALSE_ATOMIC
• ttype::shared::FALSY_MIXED_ATOMIC
• ttype::shared::FLOAT_ATOMIC
• ttype::shared::INTERFACE_STRING_ATOMIC
• ttype::shared::INT_ATOMIC
• ttype::shared::INT_FLOAT_ATOMIC_SLICE
• ttype::shared::INT_STRING_ATOMIC_SLICE
• ttype::shared::ISSET_FROM_LOOP_MIXED_ATOMIC
• ttype::shared::LOWERCASE_STRING_ATOMIC
• ttype::shared::MINUS_ONE_INT_ATOMIC
• ttype::shared::MIXED_ATOMIC
• ttype::shared::NEGATIVE_INT_ATOMIC
• ttype::shared::NEVER_ATOMIC
• ttype::shared::NON_EMPTY_LOWERCASE_STRING_ATOMIC
• ttype::shared::NON_EMPTY_STRING_ATOMIC
• ttype::shared::NON_EMPTY_UNSPECIFIED_LITERAL_STRING_ATOMIC
• ttype::shared::NON_NEGATIVE_INT_ATOMIC
• ttype::shared::NON_NULL_ATOMIC
• ttype::shared::NON_POSITIVE_INT_ATOMIC
• ttype::shared::NULL_ATOMIC
• ttype::shared::NULL_FLOAT_ATOMIC_SLICE
• ttype::shared::NULL_INT_ATOMIC_SLICE
• ttype::shared::NULL_OBJECT_ATOMIC_SLICE
• ttype::shared::NULL_SCALAR_ATOMIC_SLICE
• ttype::shared::NULL_STRING_ATOMIC_SLICE
• ttype::shared::NUMERIC_ATOMIC
• ttype::shared::NUMERIC_STRING_ATOMIC
• ttype::shared::NUMERIC_TRUTHY_STRING_ATOMIC
• ttype::shared::OBJECT_ATOMIC
• ttype::shared::ONE_INT_ATOMIC
• ttype::shared::OPEN_RESOURCE_ATOMIC
• ttype::shared::PLACEHOLDER_ATOMIC
• ttype::shared::POSITIVE_INT_ATOMIC
• ttype::shared::RESOURCE_ATOMIC
• ttype::shared::SCALAR_ATOMIC
• ttype::shared::SIGNUM_RESULT_SLICE
• ttype::shared::STRING_ATOMIC
• ttype::shared::TRAIT_STRING_ATOMIC
• ttype::shared::TRUE_ATOMIC
• ttype::shared::TRUTHY_LOWERCASE_STRING_ATOMIC
• ttype::shared::TRUTHY_MIXED_ATOMIC
• ttype::shared::TRUTHY_STRING_ATOMIC
• ttype::shared::UNSPECIFIED_LITERAL_FLOAT_ATOMIC
• ttype::shared::UNSPECIFIED_LITERAL_INT_ATOMIC
• ttype::shared::UNSPECIFIED_LITERAL_STRING_ATOMIC
• ttype::shared::VOID_ATOMIC
• ttype::shared::ZERO_INT_ATOMIC