List of all items

Structs

• Backend
• Settings
• core::ast::Ast
• core::ast::AstDocument
• core::ast::TreeMap
• core::ast::collapse::Collapse
• core::ast::collapse::VisitorCollapse
• core::ast::def::Attribute
• core::ast::def::ConstraintDecl
• core::ast::def::Dir
• core::ast::def::ExprDecl
• core::ast::def::Feature
• core::ast::def::Group
• core::ast::def::Import
• core::ast::def::Keyword
• core::ast::def::LanguageLevelDecl
• core::ast::def::Namespace
• core::ast::def::Path
• core::ast::def::Reference
• core::ast::def::SymbolSpan
• core::ast::def::ValueDecl
• core::ast::graph::Graph
• core::ast::graph::GraphNode
• core::ast::graph::VisitorGraph
• core::ast::transform::VisitorState
• core::cache::Cache
• core::cache::FileSystem
• core::cache::LinkedAstDocument
• core::check::DiagnosticState
• core::check::DiagnosticUpdate
• core::check::ErrorInfo
• core::check::ErrorsAcc
• core::check::FileErrorInfo
• core::config::ConfigDocument
• core::config::FileConfig
• core::config::State
• core::module::ConfigModule
• core::module::InstanceID
• core::module::Module
• core::module::ModuleSymbol
• core::pipeline::AsyncPipeline
• core::pipeline::DraftState
• core::query::Queries
• core::resolve::TypeResolveContext
• core::semantic::FileID
• core::semantic::RootGraph
• core::semantic::RootSymbol
• core::util::CancelledError
• core::util::ParseConstants
• core::util::TS
• ide::color::AbsToken
• ide::color::FileState
• ide::color::State
• ide::completion::CompletionOpt
• ide::completion::CompletionQuery
• ide::completion::ModulePath
• ide::completion::TopN
• ide::inlays::InlayHandler
• ide::inlays::InlayRequest
• ide::location::TextObject
• smt::HAS_Z3
• smt::OwnedSMTModel
• smt::SmtSolver
• smt::parse::ValueParser
• smt::smt_lib::Assert
• smt::smt_lib::AssertInfo
• smt::smt_lib::SMTBuilder
• smt::smt_lib::SMTModule
• webview::AppProps
• webview::ConfigSource
• webview::UIConfigState
• webview::UIEntry
• webview::UIState
• webview::frontend::ConfigInputProps
• webview::frontend::FileEntryProps
• webview::frontend::IconProps
• webview::frontend::RealInputProps
• webview::frontend::ValueProps

Enums

• core::ast::def::AggregateOP
• core::ast::def::Cardinality
• core::ast::def::Constraint
• core::ast::def::EquationOP
• core::ast::def::Expr
• core::ast::def::GroupMode
• core::ast::def::IntegerOP
• core::ast::def::LanguageLevel
• core::ast::def::LanguageLevelArithmetic
• core::ast::def::LanguageLevelBoolean
• core::ast::def::LanguageLevelMajor
• core::ast::def::LanguageLevelType
• core::ast::def::LogicOP
• core::ast::def::NumericOP
• core::ast::def::Symbol
• core::ast::def::SymbolKind
• core::ast::def::Type
• core::ast::def::Value
• core::ast::graph::ArrowEnd
• core::ast::graph::GraphSymbol
• core::ast::graph::Shape
• core::cache::FSEdge
• core::cache::FSNode
• core::check::ErrorType
• core::config::CardinalityEntry
• core::config::ConfigEntry
• core::config::ConfigValue
• core::config::JSONItem
• core::document::DocumentState
• core::document::Draft
• core::pipeline::DraftMsg
• core::pipeline::LinkMsg
• core::resolve::ResolveState
• ide::color::ColorUpdate
• ide::completion::CompletionEnv
• ide::completion::CompletionFormatter
• ide::completion::CompletionKind
• ide::completion::CompletionOffset
• ide::completion::Section
• ide::completion::TextOP
• ide::inlays::InlayEvent
• ide::inlays::InlaySource
• ide::location::TextObjectKind
• smt::SMTModel
• smt::SMTValueState
• smt::smt_lib::AssertName
• smt::smt_lib::Expr
• webview::AppInitialParams
• webview::Icon
• webview::SatState
• webview::UIAction
• webview::UIEntryValue
• webview::UISyncState

Traits

• core::ast::visitor::Visitor
• core::config::Overlaps
• core::parse::SymbolSlice
• core::resolve::AstContainer

Macros

• core::info

Functions

• core::ast::collapse::add_range_of_current_level
• core::ast::collapse::visit_blk_decl
• core::ast::collapse::visit_feature
• core::ast::collapse::visit_features
• core::ast::collapse::visit_group
• core::ast::collapse::visit_root
• core::ast::collapse::visit_top_lvl
• core::ast::graph::opt_aggreate_op
• core::ast::graph::opt_aggregate
• core::ast::graph::opt_attrib_expr
• core::ast::graph::opt_bool
• core::ast::graph::opt_cardinality
• core::ast::graph::opt_equation
• core::ast::graph::opt_function_args
• core::ast::graph::opt_int
• core::ast::graph::opt_integer
• core::ast::graph::opt_integer_op
• core::ast::graph::opt_logic_op
• core::ast::graph::opt_name
• core::ast::graph::opt_number
• core::ast::graph::opt_numeric
• core::ast::graph::opt_numeric_op
• core::ast::graph::opt_path
• core::ast::graph::opt_string
• core::ast::graph::opt_value
• core::ast::graph::visit_attribute_value
• core::ast::graph::visit_attributes
• core::ast::graph::visit_blk_decl
• core::ast::graph::visit_constraint
• core::ast::graph::visit_constraint_decl
• core::ast::graph::visit_constraint_list
• core::ast::graph::visit_constraints
• core::ast::graph::visit_feature
• core::ast::graph::visit_features
• core::ast::graph::visit_group
• core::ast::graph::visit_import
• core::ast::graph::visit_import_decl
• core::ast::graph::visit_include
• core::ast::graph::visit_lang_lvl
• core::ast::graph::visit_namespace
• core::ast::graph::visit_ref
• core::ast::graph::visit_root
• core::ast::graph::visit_top_lvl
• core::ast::insert_multi
• core::ast::transform::check_langlvls
• core::ast::transform::check_no_extra_blk
• core::ast::transform::check_simple_blk
• core::ast::transform::opt_aggreate_op
• core::ast::transform::opt_aggregate
• core::ast::transform::opt_arithmetic_minor
• core::ast::transform::opt_attrib_expr
• core::ast::transform::opt_bool
• core::ast::transform::opt_boolean_minor
• core::ast::transform::opt_cardinality
• core::ast::transform::opt_constraint
• core::ast::transform::opt_equation
• core::ast::transform::opt_function_args
• core::ast::transform::opt_int
• core::ast::transform::opt_integer
• core::ast::transform::opt_integer_op
• core::ast::transform::opt_lang_lvl
• core::ast::transform::opt_logic_op
• core::ast::transform::opt_major_lang_lvl
• core::ast::transform::opt_name
• core::ast::transform::opt_number
• core::ast::transform::opt_numeric
• core::ast::transform::opt_numeric_op
• core::ast::transform::opt_path
• core::ast::transform::opt_string
• core::ast::transform::opt_type_minor
• core::ast::transform::opt_value
• core::ast::transform::visit_attribute_value
• core::ast::transform::visit_attributes
• core::ast::transform::visit_blk_decl
• core::ast::transform::visit_constraint
• core::ast::transform::visit_constraint_decl
• core::ast::transform::visit_constraint_list
• core::ast::transform::visit_constraints
• core::ast::transform::visit_feature
• core::ast::transform::visit_features
• core::ast::transform::visit_group
• core::ast::transform::visit_import
• core::ast::transform::visit_import_decl
• core::ast::transform::visit_include
• core::ast::transform::visit_lang_lvl
• core::ast::transform::visit_namespace
• core::ast::transform::visit_ref
• core::ast::transform::visit_root
• core::ast::transform::visit_top_lvl
• core::ast::uri_to_path
• core::ast::visitor::visit_children
• core::ast::visitor::visit_children_arg
• core::ast::visitor::visit_siblings
• core::cache::find_root_files
• core::check::check_errors
• core::check::check_includes
• core::check::check_sanity
• core::check::classify_error
• core::check::diagnostic_handler
• core::check::maybe_publish
• core::check::publish
• core::check::ts_filterd_visit
• core::config::completion_query
• core::config::estimate_env_json
• core::config::estimate_json_item
• core::config::find_file_id
• core::config::find_json_key
• core::config::find_selected_json_key
• core::config::json_path
• core::config::offset
• core::config::opt_configs
• core::config::parse_json
• core::config::parse_json_key
• core::config::selected_json_object
• core::config::visit_file
• core::config::visit_root
• core::document::update_text
• core::module::iterate_instances
• core::parse::move_span
• core::parse::parse
• core::parse::parse_json
• core::parse::parse_lang_lvl
• core::parse::parse_lang_lvl_path
• core::parse::parse_name
• core::parse::parse_or_lang_lvl
• core::parse::parse_path
• core::pipeline::draft_handler
• core::pipeline::link_handler
• core::pipeline::make_red_tree
• core::resolve::commit_expr
• core::resolve::common_prefix
• core::resolve::estimate_types
• core::resolve::gather_expr_options
• core::resolve::resolve
• core::resolve::resolve_attributes
• core::resolve::resolve_attributes_with_feature
• core::resolve::resolve_constraint
• core::resolve::resolve_file
• core::resolve::resolve_with_bind
• core::resolve::select_type
• core::util::byte_offset
• core::util::char_offset
• core::util::containing_blk
• core::util::create_new_uvl
• core::util::header_kind
• core::util::is_config
• core::util::lsp_position
• core::util::lsp_range
• core::util::maybe_cancel
• core::util::node_range
• core::util::node_source
• ide::actions::add_indentation
• ide::actions::add_language_level
• ide::actions::reference_to_string
• ide::actions::rename_dash
• ide::actions::starts_with_number
• ide::actions::surround_with_double_quotes
• ide::color::fast_lsp_range
• ide::color::modifier_bitset
• ide::color::modifiers
• ide::color::token_index
• ide::color::token_types
• ide::completion::add_function_keywords
• ide::completion::add_group_keywords
• ide::completion::add_keywords
• ide::completion::add_lang_lvl_arithmetic
• ide::completion::add_lang_lvl_boolean
• ide::completion::add_lang_lvl_major_keywords
• ide::completion::add_lang_lvl_type
• ide::completion::add_logic_op
• ide::completion::add_numeric_op
• ide::completion::add_string_op
• ide::completion::add_top_lvl_keywords
• ide::completion::completion_symbol
• ide::completion::completion_symbol_local
• ide::completion::completion_weight
• ide::completion::compute_completions
• ide::completion::compute_completions_impl
• ide::completion::compute_constraint_completion
• ide::completion::contains
• ide::completion::encode_float
• ide::completion::estimate_context
• ide::completion::estimate_env
• ide::completion::estimate_expr
• ide::completion::find_section
• ide::completion::longest_path
• ide::completion::make_path
• ide::completion::make_relativ_path
• ide::completion::node_at
• ide::completion::path_len
• ide::completion::position_to_node
• ide::completion::resolve_name
• ide::completion::starts_with
• ide::inlays::generate
• ide::inlays::inlay_handler
• ide::location::attribute_prefix
• ide::location::find_definitions
• ide::location::find_references
• ide::location::find_references_symboles
• ide::location::find_text_object
• ide::location::find_text_object_impl
• ide::location::goto_definition
• ide::location::rename
• ide::location::reverse_resolve
• ide::location::whole_expr
• load_all_blocking
• load_blocking
• main
• server_main
• shutdown_error
• smt::can_run_z3
• smt::check_base_sat
• smt::check_config
• smt::check_handler
• smt::create_model
• smt::find_fixed
• smt::parse::boolean
• smt::parse::decimal
• smt::parse::float
• smt::parse::iter_values
• smt::parse::real_expr
• smt::parse::real_op
• smt::parse::real_val
• smt::parse::string
• smt::parse::variable
• smt::smt_lib::translate_constraint
• smt::smt_lib::translate_expr
• smt::smt_lib::uvl2smt
• smt::smt_lib::uvl2smt_constraints
• smt::web_view_handler
• webview::create_file_tree
• webview::frontend::App
• webview::frontend::ConfigInput
• webview::frontend::FileEntry
• webview::frontend::Icon
• webview::frontend::RealInput
• webview::frontend::Spinner
• webview::frontend::Value
• webview::frontend::file_values_iter
• webview::frontend::icon
• webview::frontend::to_number
• webview::rebuild_config
• webview::rebuild_tree
• webview::transfer_config
• webview::ui_event_loop
• webview::ui_main
• webview::ui_sync
• webview::web_handler

Type Aliases

• core::ast::def::Span
• core::resolve::RefMap
• core::semantic::AstFiles
• core::semantic::ConfigFiles
• core::semantic::Snapshot
• core::util::Result

Statics

• core::query::CHECK_SANITY
• core::query::EXTRACT_SYNTAX_HIGHLIGHTING_SRC
• ide::completion::AVG_WEIGHT_THRESHOLD
• ide::completion::MAX_N
• ide::completion::MIN_WEIGHT
• ide::completion::W_LEN
• ide::completion::W_TYPE

Constants

• core::ast::graph::FEATURE_ABSTRACT_COLOR
• core::ast::graph::FEATURE_COLOR
• core::parse::PARSER_JSON
• core::parse::PARSER_UVL