Struct moore_svlog::QueryStorage[−][src]

pub struct QueryStorage<'a> {
Show 66 fields
    pub stack: RefCell<Vec<QueryTag<'a>>>,
    pub inflight: RefCell<HashSet<QueryTag<'a>>>,
    pub cached_hir_of: RefCell<HashMap<HirOfQueryKey, Result<HirNode<'a>>>>,
    pub cached_hir_of_module: RefCell<HashMap<HirOfModuleQueryKey<'a>, Result<&'a Module<'a>>>>,
    pub cached_hir_of_interface: RefCell<HashMap<HirOfInterfaceQueryKey<'a>, Result<&'a Interface<'a>>>>,
    pub cached_hir_of_expr: RefCell<HashMap<HirOfExprQueryKey<'a>, Result<&'a Expr<'a>>>>,
    pub cached_accessed_nodes: RefCell<HashMap<AccessedNodesQueryKey, Result<Arc<AccessTable>>>>,
    pub cached_inst_details: RefCell<HashMap<InstDetailsQueryKey<'a>, Result<Arc<InstDetails<'a>>>>>,
    pub cached_inst_target_details: RefCell<HashMap<InstTargetDetailsQueryKey<'a>, Result<Arc<InstTargetDetails<'a>>>>>,
    pub cached_mir_assignment_from_procedural: RefCell<HashMap<MirAssignmentFromProceduralQueryKey, &'a Assignment<'a>>>,
    pub cached_mir_assignment_from_concurrent: RefCell<HashMap<MirAssignmentFromConcurrentQueryKey<'a>, &'a Assignment<'a>>>,
    pub cached_mir_simplify_assignment: RefCell<HashMap<MirSimplifyAssignmentQueryKey<'a>, Vec<&'a Assignment<'a>>>>,
    pub cached_mir_lvalue: RefCell<HashMap<MirLvalueQueryKey, &'a Lvalue<'a>>>,
    pub cached_mir_rvalue: RefCell<HashMap<MirRvalueQueryKey, &'a Rvalue<'a>>>,
    pub cached_param_env: RefCell<HashMap<ParamEnvQueryKey<'a>, Result<ParamEnv>>>,
    pub cached_map_pattern: RefCell<HashMap<MapPatternQueryKey<'a>, Result<Arc<PatternMapping<'a>>>>>,
    pub cached_canonicalize_ports: RefCell<HashMap<CanonicalizePortsQueryKey<'a>, &'a PortList<'a>>>,
    pub cached_port_mapping: RefCell<HashMap<PortMappingQueryKey<'a>, Result<Arc<PortMapping<'a>>>>>,
    pub cached_local_rib: RefCell<HashMap<LocalRibQueryKey, Result<&'a Rib>>>,
    pub cached_hierarchical_rib: RefCell<HashMap<HierarchicalRibQueryKey, Result<&'a Rib>>>,
    pub cached_resolve_upwards: RefCell<HashMap<ResolveUpwardsQueryKey, Result<Option<NodeId>>>>,
    pub cached_resolve_downwards: RefCell<HashMap<ResolveDownwardsQueryKey, Result<Option<NodeId>>>>,
    pub cached_resolve_node: RefCell<HashMap<ResolveNodeQueryKey, Result<NodeId>>>,
    pub cached_struct_def: RefCell<HashMap<StructDefQueryKey, Result<Arc<StructDef>>>>,
    pub cached_resolve_field_access: RefCell<HashMap<ResolveFieldAccessQueryKey, Result<(usize, &'a StructMember<'a>)>>>,
    pub cached_generated_scope: RefCell<HashMap<GeneratedScopeQueryKey<'a>, &'a Scope<'a>>>,
    pub cached_scope_location: RefCell<HashMap<ScopeLocationQueryKey<'a>, ScopeLocation<'a>>>,
    pub cached_resolve_local: RefCell<HashMap<ResolveLocalQueryKey<'a>, Result<Option<&'a Def<'a>>>>>,
    pub cached_resolve_local_or_error: RefCell<HashMap<ResolveLocalOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>,
    pub cached_resolve_namespace: RefCell<HashMap<ResolveNamespaceQueryKey<'a>, Option<&'a Def<'a>>>>,
    pub cached_resolve_namespace_or_error: RefCell<HashMap<ResolveNamespaceOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>,
    pub cached_resolve_hierarchical: RefCell<HashMap<ResolveHierarchicalQueryKey<'a>, Option<&'a Def<'a>>>>,
    pub cached_resolve_hierarchical_or_error: RefCell<HashMap<ResolveHierarchicalOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>,
    pub cached_resolve_imported_scope: RefCell<HashMap<ResolveImportedScopeQueryKey<'a>, Result<&'a dyn ScopedNode<'a>>>>,
    pub cached_nameck: RefCell<HashMap<NameckQueryKey<'a>, bool>>,
    pub cached_resolve_inst_target: RefCell<HashMap<ResolveInstTargetQueryKey<'a>, Result<InstTarget<'a>>>>,
    pub cached_disamb_kind: RefCell<HashMap<DisambKindQueryKey<'a>, Kind>>,
    pub cached_disamb_type_or_expr: RefCell<HashMap<DisambTypeOrExprQueryKey<'a>, Result<&'a TypeOrExpr<'a>>>>,
    pub cached_type_of: RefCell<HashMap<TypeOfQueryKey, Result<&'a UnpackedType<'a>>>>,
    pub cached_type_of_int_port: RefCell<HashMap<TypeOfIntPortQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_ext_port: RefCell<HashMap<TypeOfExtPortQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_port_decl: RefCell<HashMap<TypeOfPortDeclQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_var_decl: RefCell<HashMap<TypeOfVarDeclQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_net_decl: RefCell<HashMap<TypeOfNetDeclQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_struct_member: RefCell<HashMap<TypeOfStructMemberQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_value_param: RefCell<HashMap<TypeOfValueParamQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_inst: RefCell<HashMap<TypeOfInstQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_map_to_type: RefCell<HashMap<MapToTypeQueryKey<'a>, Option<&'a UnpackedType<'a>>>>,
    pub cached_map_to_type_or_error: RefCell<HashMap<MapToTypeOrErrorQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_packed_type_from_ast: RefCell<HashMap<PackedTypeFromAstQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_unpacked_type_from_ast: RefCell<HashMap<UnpackedTypeFromAstQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_type_of_expr: RefCell<HashMap<TypeOfExprQueryKey<'a>, &'a UnpackedType<'a>>>,
    pub cached_cast_type: RefCell<HashMap<CastTypeQueryKey, Option<CastType<'a>>>>,
    pub cached_cast_expr_type: RefCell<HashMap<CastExprTypeQueryKey<'a>, CastType<'a>>>,
    pub cached_self_determined_type: RefCell<HashMap<SelfDeterminedTypeQueryKey, Option<&'a UnpackedType<'a>>>>,
    pub cached_need_self_determined_type: RefCell<HashMap<NeedSelfDeterminedTypeQueryKey, &'a UnpackedType<'a>>>,
    pub cached_operation_type: RefCell<HashMap<OperationTypeQueryKey, Option<&'a UnpackedType<'a>>>>,
    pub cached_need_operation_type: RefCell<HashMap<NeedOperationTypeQueryKey, &'a UnpackedType<'a>>>,
    pub cached_type_context: RefCell<HashMap<TypeContextQueryKey, Option<TypeContext<'a>>>>,
    pub cached_need_type_context: RefCell<HashMap<NeedTypeContextQueryKey, TypeContext<'a>>>,
    pub cached_constant_value_of: RefCell<HashMap<ConstantValueOfQueryKey, Value<'a>>>,
    pub cached_const_mir_rvalue_int: RefCell<HashMap<ConstMirRvalueIntQueryKey<'a>, Result<&'a BigInt>>>,
    pub cached_const_mir_rvalue_string: RefCell<HashMap<ConstMirRvalueStringQueryKey<'a>, Result<&'a Vec<u8>>>>,
    pub cached_const_mir_rvalue: RefCell<HashMap<ConstMirRvalueQueryKey<'a>, Value<'a>>>,
    pub cached_is_constant: RefCell<HashMap<IsConstantQueryKey, Result<bool>>>,
    pub cached_type_default_value: RefCell<HashMap<TypeDefaultValueQueryKey<'a>, Value<'a>>>,

}
Expand description

A collection of query caches and runtime data for a QueryDatabase.

Fields

stack: RefCell<Vec<QueryTag<'a>>>

A stack of the currently-executing queries.

inflight: RefCell<HashSet<QueryTag<'a>>>

A set of the currently-executing queries.

cached_hir_of: RefCell<HashMap<HirOfQueryKey, Result<HirNode<'a>>>>

Cached results of the hir_of query.

cached_hir_of_module: RefCell<HashMap<HirOfModuleQueryKey<'a>, Result<&'a Module<'a>>>>

Cached results of the hir_of_module query.

cached_hir_of_interface: RefCell<HashMap<HirOfInterfaceQueryKey<'a>, Result<&'a Interface<'a>>>>

Cached results of the hir_of_interface query.

cached_hir_of_expr: RefCell<HashMap<HirOfExprQueryKey<'a>, Result<&'a Expr<'a>>>>

Cached results of the hir_of_expr query.

cached_accessed_nodes: RefCell<HashMap<AccessedNodesQueryKey, Result<Arc<AccessTable>>>>

Cached results of the accessed_nodes query.

cached_inst_details: RefCell<HashMap<InstDetailsQueryKey<'a>, Result<Arc<InstDetails<'a>>>>>

Cached results of the inst_details query.

cached_inst_target_details: RefCell<HashMap<InstTargetDetailsQueryKey<'a>, Result<Arc<InstTargetDetails<'a>>>>>

Cached results of the inst_target_details query.

cached_mir_assignment_from_procedural: RefCell<HashMap<MirAssignmentFromProceduralQueryKey, &'a Assignment<'a>>>

Cached results of the mir_assignment_from_procedural query.

cached_mir_assignment_from_concurrent: RefCell<HashMap<MirAssignmentFromConcurrentQueryKey<'a>, &'a Assignment<'a>>>

Cached results of the mir_assignment_from_concurrent query.

cached_mir_simplify_assignment: RefCell<HashMap<MirSimplifyAssignmentQueryKey<'a>, Vec<&'a Assignment<'a>>>>

Cached results of the mir_simplify_assignment query.

cached_mir_lvalue: RefCell<HashMap<MirLvalueQueryKey, &'a Lvalue<'a>>>

Cached results of the mir_lvalue query.

cached_mir_rvalue: RefCell<HashMap<MirRvalueQueryKey, &'a Rvalue<'a>>>

Cached results of the mir_rvalue query.

cached_param_env: RefCell<HashMap<ParamEnvQueryKey<'a>, Result<ParamEnv>>>

Cached results of the param_env query.

cached_map_pattern: RefCell<HashMap<MapPatternQueryKey<'a>, Result<Arc<PatternMapping<'a>>>>>

Cached results of the map_pattern query.

cached_canonicalize_ports: RefCell<HashMap<CanonicalizePortsQueryKey<'a>, &'a PortList<'a>>>

Cached results of the canonicalize_ports query.

cached_port_mapping: RefCell<HashMap<PortMappingQueryKey<'a>, Result<Arc<PortMapping<'a>>>>>

Cached results of the port_mapping query.

cached_local_rib: RefCell<HashMap<LocalRibQueryKey, Result<&'a Rib>>>

Cached results of the local_rib query.

cached_hierarchical_rib: RefCell<HashMap<HierarchicalRibQueryKey, Result<&'a Rib>>>

Cached results of the hierarchical_rib query.

cached_resolve_upwards: RefCell<HashMap<ResolveUpwardsQueryKey, Result<Option<NodeId>>>>

Cached results of the resolve_upwards query.

cached_resolve_downwards: RefCell<HashMap<ResolveDownwardsQueryKey, Result<Option<NodeId>>>>

Cached results of the resolve_downwards query.

cached_resolve_node: RefCell<HashMap<ResolveNodeQueryKey, Result<NodeId>>>

Cached results of the resolve_node query.

cached_struct_def: RefCell<HashMap<StructDefQueryKey, Result<Arc<StructDef>>>>

Cached results of the struct_def query.

cached_resolve_field_access: RefCell<HashMap<ResolveFieldAccessQueryKey, Result<(usize, &'a StructMember<'a>)>>>

Cached results of the resolve_field_access query.

cached_generated_scope: RefCell<HashMap<GeneratedScopeQueryKey<'a>, &'a Scope<'a>>>

Cached results of the generated_scope query.

cached_scope_location: RefCell<HashMap<ScopeLocationQueryKey<'a>, ScopeLocation<'a>>>

Cached results of the scope_location query.

cached_resolve_local: RefCell<HashMap<ResolveLocalQueryKey<'a>, Result<Option<&'a Def<'a>>>>>

Cached results of the resolve_local query.

cached_resolve_local_or_error: RefCell<HashMap<ResolveLocalOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>

Cached results of the resolve_local_or_error query.

cached_resolve_namespace: RefCell<HashMap<ResolveNamespaceQueryKey<'a>, Option<&'a Def<'a>>>>

Cached results of the resolve_namespace query.

cached_resolve_namespace_or_error: RefCell<HashMap<ResolveNamespaceOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>

Cached results of the resolve_namespace_or_error query.

cached_resolve_hierarchical: RefCell<HashMap<ResolveHierarchicalQueryKey<'a>, Option<&'a Def<'a>>>>

Cached results of the resolve_hierarchical query.

cached_resolve_hierarchical_or_error: RefCell<HashMap<ResolveHierarchicalOrErrorQueryKey<'a>, Result<&'a Def<'a>>>>

Cached results of the resolve_hierarchical_or_error query.

cached_resolve_imported_scope: RefCell<HashMap<ResolveImportedScopeQueryKey<'a>, Result<&'a dyn ScopedNode<'a>>>>

Cached results of the resolve_imported_scope query.

cached_nameck: RefCell<HashMap<NameckQueryKey<'a>, bool>>

Cached results of the nameck query.

cached_resolve_inst_target: RefCell<HashMap<ResolveInstTargetQueryKey<'a>, Result<InstTarget<'a>>>>

Cached results of the resolve_inst_target query.

cached_disamb_kind: RefCell<HashMap<DisambKindQueryKey<'a>, Kind>>

Cached results of the disamb_kind query.

cached_disamb_type_or_expr: RefCell<HashMap<DisambTypeOrExprQueryKey<'a>, Result<&'a TypeOrExpr<'a>>>>

Cached results of the disamb_type_or_expr query.

cached_type_of: RefCell<HashMap<TypeOfQueryKey, Result<&'a UnpackedType<'a>>>>

Cached results of the type_of query.

cached_type_of_int_port: RefCell<HashMap<TypeOfIntPortQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_int_port query.

cached_type_of_ext_port: RefCell<HashMap<TypeOfExtPortQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_ext_port query.

cached_type_of_port_decl: RefCell<HashMap<TypeOfPortDeclQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_port_decl query.

cached_type_of_var_decl: RefCell<HashMap<TypeOfVarDeclQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_var_decl query.

cached_type_of_net_decl: RefCell<HashMap<TypeOfNetDeclQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_net_decl query.

cached_type_of_struct_member: RefCell<HashMap<TypeOfStructMemberQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_struct_member query.

cached_type_of_value_param: RefCell<HashMap<TypeOfValueParamQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_value_param query.

cached_type_of_inst: RefCell<HashMap<TypeOfInstQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_inst query.

cached_map_to_type: RefCell<HashMap<MapToTypeQueryKey<'a>, Option<&'a UnpackedType<'a>>>>

Cached results of the map_to_type query.

cached_map_to_type_or_error: RefCell<HashMap<MapToTypeOrErrorQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the map_to_type_or_error query.

cached_packed_type_from_ast: RefCell<HashMap<PackedTypeFromAstQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the packed_type_from_ast query.

cached_unpacked_type_from_ast: RefCell<HashMap<UnpackedTypeFromAstQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the unpacked_type_from_ast query.

cached_type_of_expr: RefCell<HashMap<TypeOfExprQueryKey<'a>, &'a UnpackedType<'a>>>

Cached results of the type_of_expr query.

cached_cast_type: RefCell<HashMap<CastTypeQueryKey, Option<CastType<'a>>>>

Cached results of the cast_type query.

cached_cast_expr_type: RefCell<HashMap<CastExprTypeQueryKey<'a>, CastType<'a>>>

Cached results of the cast_expr_type query.

cached_self_determined_type: RefCell<HashMap<SelfDeterminedTypeQueryKey, Option<&'a UnpackedType<'a>>>>

Cached results of the self_determined_type query.

cached_need_self_determined_type: RefCell<HashMap<NeedSelfDeterminedTypeQueryKey, &'a UnpackedType<'a>>>

Cached results of the need_self_determined_type query.

cached_operation_type: RefCell<HashMap<OperationTypeQueryKey, Option<&'a UnpackedType<'a>>>>

Cached results of the operation_type query.

cached_need_operation_type: RefCell<HashMap<NeedOperationTypeQueryKey, &'a UnpackedType<'a>>>

Cached results of the need_operation_type query.

cached_type_context: RefCell<HashMap<TypeContextQueryKey, Option<TypeContext<'a>>>>

Cached results of the type_context query.

cached_need_type_context: RefCell<HashMap<NeedTypeContextQueryKey, TypeContext<'a>>>

Cached results of the need_type_context query.

cached_constant_value_of: RefCell<HashMap<ConstantValueOfQueryKey, Value<'a>>>

Cached results of the constant_value_of query.

cached_const_mir_rvalue_int: RefCell<HashMap<ConstMirRvalueIntQueryKey<'a>, Result<&'a BigInt>>>

Cached results of the const_mir_rvalue_int query.

cached_const_mir_rvalue_string: RefCell<HashMap<ConstMirRvalueStringQueryKey<'a>, Result<&'a Vec<u8>>>>

Cached results of the const_mir_rvalue_string query.

cached_const_mir_rvalue: RefCell<HashMap<ConstMirRvalueQueryKey<'a>, Value<'a>>>

Cached results of the const_mir_rvalue query.

cached_is_constant: RefCell<HashMap<IsConstantQueryKey, Result<bool>>>

Cached results of the is_constant query.

cached_type_default_value: RefCell<HashMap<TypeDefaultValueQueryKey<'a>, Value<'a>>>

Cached results of the type_default_value query.

Trait Implementations

Returns the “default value” for a type. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.