List of all items

Structs

• bitset::StateSet
• compile::CState
• compile::CTransition
• compile::CompiledChart
• datamodel::Environment
• datamodel::EvalError
• datamodel::Event
• datamodel::SessionInfo
• ir::Chart
• ir::Content
• ir::Data
• ir::DoneData
• ir::Exec
• ir::Extension
• ir::IfBranch
• ir::Initial
• ir::Invoke
• ir::Param
• ir::Script
• ir::Send
• ir::Span
• ir::State
• ir::Transition
• kernel::EntryPlan
• kernel::History
• null::NullDatamodel
• null::NullRegistry
• null::WithNull
• session::Input
• session::Invocation
• session::InvokeRequest
• session::Options
• session::Outcome
• session::SendRequest
• session::Session
• session::StartInput
• tape::OracleRecord
• tape::TapeDatamodel
• tape::TapeEntry
• trace::MacrostepTrace
• trace::MicrostepTrace
• trace::TransitionRef
• types::Field
• types::Variant
• types::chart::BasicTyper
• types::chart::ChartTypes
• types::chart::Diagnostic
• types::chart::ExprError
• types::chart::Scope
• types::check::TypeError
• types::check::ValuePath
• types::decl::DeclError
• types::decl::Declarations
• types::decl::EventDecl
• types::decl::TypeDecl
• types::events::EventTable
• types::prim::Datetime
• types::syntax::SyntaxError
• validate::ResolvedInitial
• validate::Violation
• validate::Violations

Enums

• compile::Domain
• datamodel::EventType
• datamodel::Value
• ir::Binding
• ir::ExecKind
• ir::ExtensionValue
• ir::HistoryType
• ir::StateElement
• ir::StateKind
• ir::TransitionType
• order::DocNode
• session::Effect
• session::InputKind
• session::StartError
• session::Status
• session::StepError
• tape::Answer
• tape::OracleInput
• tape::Request
• trace::TraceInput
• types::Primitive
• types::Type
• types::chart::DiagnosticKind
• types::chart::ExprType
• types::chart::InstantiateError
• types::check::PathSeg
• types::check::TypeErrorKind
• types::decl::DeclErrorKind
• types::prim::DatetimeError
• types::prim::IriError
• validate::InitialSource
• validate::NodeRef
• validate::ViolationKind

Traits

• datamodel::Datamodel
• datamodel::DatamodelRegistry
• datamodel::StateQuery
• types::chart::ExprTyper

Functions

• datamodel::admit
• identity::assign_generated_ids
• kernel::compute_domain
• kernel::compute_entry_set
• kernel::compute_exit_set
• kernel::descriptor_matches
• kernel::effective_targets
• kernel::find_lcca
• kernel::is_atomic
• kernel::is_in_final_state
• kernel::name_match
• kernel::proper_ancestors
• kernel::record_history
• kernel::remove_conflicting_transitions
• kernel::select_transitions
• kernel::transition_domain
• kernel::transition_domains
• null::create_datamodel
• null::create_datamodel_for
• null::parse_in_predicate
• null::start_with_registry
• order::document_order
• order::same_chart
• order::state_order
• session::parse_delay
• session::start
• session::step
• types::chart::check_chart
• types::chart::compile_checked
• types::chart::data_type
• types::chart::declarations
• types::chart::declarations_element
• types::chart::is_typed
• types::chart::param_types
• types::chart::parse_types_element
• types::chart::send_type
• types::chart::set_data_type
• types::chart::set_declarations
• types::chart::set_param_type
• types::chart::set_send_type
• types::chart::set_type_annotation
• types::chart::type_annotation
• types::chart::types_element_xml
• types::check::check_value
• types::check::convert
• types::check::encode
• types::check::is_assignable
• types::check::kind_of
• types::decl::edit_distance
• types::decl::suggest
• types::events::descriptor_matches
• types::events::error_payload_type
• types::events::system_event_type
• types::prim::check_iri
• types::prim::f64_to_i64
• types::prim::is_decimal
• types::prim::parse_datetime
• types::syntax::is_ident
• types::syntax::is_reserved
• types::syntax::parse_declarations
• types::syntax::parse_type
• validate::resolve_initial
• validate::resolve_root_initial
• validate::validate

Type Aliases

• compile::StateIdx
• compile::TransIdx
• ir::Block
• ir::Expr

Constants

• compile::ROOT
• identity::GENERATED_PREFIX
• ir::SCXML_NS
• ir::VT_NS
• null::NULL_DATAMODEL
• session::COMMUNICATION_ERROR_MESSAGE
• session::DEFAULT_MICROSTEP_BUDGET
• session::EXECUTION_ERROR_MESSAGE
• session::SCXML_EVENT_PROCESSOR
• session::SCXML_INVOKE_TYPE
• types::chart::PARAM_TYPES_ATTR
• types::chart::TYPES_ELEMENT
• types::chart::TYPE_ATTR
• types::syntax::RESERVED