Enum moore_svlog::QueryTag[][src]

pub enum QueryTag<'a> {
Show 64 variants HirOf(HirOfQueryKey), HirOfModule(HirOfModuleQueryKey<'a>), HirOfInterface(HirOfInterfaceQueryKey<'a>), HirOfExpr(HirOfExprQueryKey<'a>), AccessedNodes(AccessedNodesQueryKey), InstDetails(InstDetailsQueryKey<'a>), InstTargetDetails(InstTargetDetailsQueryKey<'a>), MirAssignmentFromProcedural(MirAssignmentFromProceduralQueryKey), MirAssignmentFromConcurrent(MirAssignmentFromConcurrentQueryKey<'a>), MirSimplifyAssignment(MirSimplifyAssignmentQueryKey<'a>), MirLvalue(MirLvalueQueryKey), MirRvalue(MirRvalueQueryKey), ParamEnv(ParamEnvQueryKey<'a>), MapPattern(MapPatternQueryKey<'a>), CanonicalizePorts(CanonicalizePortsQueryKey<'a>), PortMapping(PortMappingQueryKey<'a>), LocalRib(LocalRibQueryKey), HierarchicalRib(HierarchicalRibQueryKey), ResolveUpwards(ResolveUpwardsQueryKey), ResolveDownwards(ResolveDownwardsQueryKey), ResolveNode(ResolveNodeQueryKey), StructDef(StructDefQueryKey), ResolveFieldAccess(ResolveFieldAccessQueryKey), GeneratedScope(GeneratedScopeQueryKey<'a>), ScopeLocation(ScopeLocationQueryKey<'a>), ResolveLocal(ResolveLocalQueryKey<'a>), ResolveLocalOrError(ResolveLocalOrErrorQueryKey<'a>), ResolveNamespace(ResolveNamespaceQueryKey<'a>), ResolveNamespaceOrError(ResolveNamespaceOrErrorQueryKey<'a>), ResolveHierarchical(ResolveHierarchicalQueryKey<'a>), ResolveHierarchicalOrError(ResolveHierarchicalOrErrorQueryKey<'a>), ResolveImportedScope(ResolveImportedScopeQueryKey<'a>), Nameck(NameckQueryKey<'a>), ResolveInstTarget(ResolveInstTargetQueryKey<'a>), DisambKind(DisambKindQueryKey<'a>), DisambTypeOrExpr(DisambTypeOrExprQueryKey<'a>), TypeOf(TypeOfQueryKey), TypeOfIntPort(TypeOfIntPortQueryKey<'a>), TypeOfExtPort(TypeOfExtPortQueryKey<'a>), TypeOfPortDecl(TypeOfPortDeclQueryKey<'a>), TypeOfVarDecl(TypeOfVarDeclQueryKey<'a>), TypeOfNetDecl(TypeOfNetDeclQueryKey<'a>), TypeOfStructMember(TypeOfStructMemberQueryKey<'a>), TypeOfValueParam(TypeOfValueParamQueryKey<'a>), TypeOfInst(TypeOfInstQueryKey<'a>), MapToType(MapToTypeQueryKey<'a>), MapToTypeOrError(MapToTypeOrErrorQueryKey<'a>), PackedTypeFromAst(PackedTypeFromAstQueryKey<'a>), UnpackedTypeFromAst(UnpackedTypeFromAstQueryKey<'a>), TypeOfExpr(TypeOfExprQueryKey<'a>), CastType(CastTypeQueryKey), CastExprType(CastExprTypeQueryKey<'a>), SelfDeterminedType(SelfDeterminedTypeQueryKey), NeedSelfDeterminedType(NeedSelfDeterminedTypeQueryKey), OperationType(OperationTypeQueryKey), NeedOperationType(NeedOperationTypeQueryKey), TypeContext(TypeContextQueryKey), NeedTypeContext(NeedTypeContextQueryKey), ConstantValueOf(ConstantValueOfQueryKey), ConstMirRvalueInt(ConstMirRvalueIntQueryKey<'a>), ConstMirRvalueString(ConstMirRvalueStringQueryKey<'a>), ConstMirRvalue(ConstMirRvalueQueryKey<'a>), IsConstant(IsConstantQueryKey), TypeDefaultValue(TypeDefaultValueQueryKey<'a>),
}
Expand description

A tag identifying any of the queries in QueryDatabase.

Variants

The hir_of query.

Tuple Fields of HirOf

0: HirOfQueryKey
HirOfModule(HirOfModuleQueryKey<'a>)

The hir_of_module query.

Tuple Fields of HirOfModule

0: HirOfModuleQueryKey<'a>
HirOfInterface(HirOfInterfaceQueryKey<'a>)

The hir_of_interface query.

Tuple Fields of HirOfInterface

0: HirOfInterfaceQueryKey<'a>
HirOfExpr(HirOfExprQueryKey<'a>)

The hir_of_expr query.

Tuple Fields of HirOfExpr

0: HirOfExprQueryKey<'a>
AccessedNodes(AccessedNodesQueryKey)

The accessed_nodes query.

Tuple Fields of AccessedNodes

0: AccessedNodesQueryKey
InstDetails(InstDetailsQueryKey<'a>)

The inst_details query.

Tuple Fields of InstDetails

0: InstDetailsQueryKey<'a>
InstTargetDetails(InstTargetDetailsQueryKey<'a>)

The inst_target_details query.

Tuple Fields of InstTargetDetails

0: InstTargetDetailsQueryKey<'a>
MirAssignmentFromProcedural(MirAssignmentFromProceduralQueryKey)

The mir_assignment_from_procedural query.

Tuple Fields of MirAssignmentFromProcedural

0: MirAssignmentFromProceduralQueryKey
MirAssignmentFromConcurrent(MirAssignmentFromConcurrentQueryKey<'a>)

The mir_assignment_from_concurrent query.

Tuple Fields of MirAssignmentFromConcurrent

0: MirAssignmentFromConcurrentQueryKey<'a>
MirSimplifyAssignment(MirSimplifyAssignmentQueryKey<'a>)

The mir_simplify_assignment query.

Tuple Fields of MirSimplifyAssignment

0: MirSimplifyAssignmentQueryKey<'a>

The mir_lvalue query.

Tuple Fields of MirLvalue

0: MirLvalueQueryKey

The mir_rvalue query.

Tuple Fields of MirRvalue

0: MirRvalueQueryKey
ParamEnv(ParamEnvQueryKey<'a>)

The param_env query.

Tuple Fields of ParamEnv

0: ParamEnvQueryKey<'a>
MapPattern(MapPatternQueryKey<'a>)

The map_pattern query.

Tuple Fields of MapPattern

0: MapPatternQueryKey<'a>
CanonicalizePorts(CanonicalizePortsQueryKey<'a>)

The canonicalize_ports query.

Tuple Fields of CanonicalizePorts

0: CanonicalizePortsQueryKey<'a>
PortMapping(PortMappingQueryKey<'a>)

The port_mapping query.

Tuple Fields of PortMapping

0: PortMappingQueryKey<'a>

The local_rib query.

Tuple Fields of LocalRib

0: LocalRibQueryKey
HierarchicalRib(HierarchicalRibQueryKey)

The hierarchical_rib query.

Tuple Fields of HierarchicalRib

0: HierarchicalRibQueryKey
ResolveUpwards(ResolveUpwardsQueryKey)

The resolve_upwards query.

Tuple Fields of ResolveUpwards

0: ResolveUpwardsQueryKey
ResolveDownwards(ResolveDownwardsQueryKey)

The resolve_downwards query.

Tuple Fields of ResolveDownwards

0: ResolveDownwardsQueryKey
ResolveNode(ResolveNodeQueryKey)

The resolve_node query.

Tuple Fields of ResolveNode

0: ResolveNodeQueryKey

The struct_def query.

Tuple Fields of StructDef

0: StructDefQueryKey
ResolveFieldAccess(ResolveFieldAccessQueryKey)

The resolve_field_access query.

Tuple Fields of ResolveFieldAccess

0: ResolveFieldAccessQueryKey
GeneratedScope(GeneratedScopeQueryKey<'a>)

The generated_scope query.

Tuple Fields of GeneratedScope

0: GeneratedScopeQueryKey<'a>
ScopeLocation(ScopeLocationQueryKey<'a>)

The scope_location query.

Tuple Fields of ScopeLocation

0: ScopeLocationQueryKey<'a>
ResolveLocal(ResolveLocalQueryKey<'a>)

The resolve_local query.

Tuple Fields of ResolveLocal

0: ResolveLocalQueryKey<'a>
ResolveLocalOrError(ResolveLocalOrErrorQueryKey<'a>)

The resolve_local_or_error query.

Tuple Fields of ResolveLocalOrError

0: ResolveLocalOrErrorQueryKey<'a>
ResolveNamespace(ResolveNamespaceQueryKey<'a>)

The resolve_namespace query.

Tuple Fields of ResolveNamespace

0: ResolveNamespaceQueryKey<'a>
ResolveNamespaceOrError(ResolveNamespaceOrErrorQueryKey<'a>)

The resolve_namespace_or_error query.

Tuple Fields of ResolveNamespaceOrError

0: ResolveNamespaceOrErrorQueryKey<'a>
ResolveHierarchical(ResolveHierarchicalQueryKey<'a>)

The resolve_hierarchical query.

Tuple Fields of ResolveHierarchical

0: ResolveHierarchicalQueryKey<'a>
ResolveHierarchicalOrError(ResolveHierarchicalOrErrorQueryKey<'a>)

The resolve_hierarchical_or_error query.

Tuple Fields of ResolveHierarchicalOrError

0: ResolveHierarchicalOrErrorQueryKey<'a>
ResolveImportedScope(ResolveImportedScopeQueryKey<'a>)

The resolve_imported_scope query.

Tuple Fields of ResolveImportedScope

0: ResolveImportedScopeQueryKey<'a>
Nameck(NameckQueryKey<'a>)

The nameck query.

Tuple Fields of Nameck

0: NameckQueryKey<'a>
ResolveInstTarget(ResolveInstTargetQueryKey<'a>)

The resolve_inst_target query.

Tuple Fields of ResolveInstTarget

0: ResolveInstTargetQueryKey<'a>
DisambKind(DisambKindQueryKey<'a>)

The disamb_kind query.

Tuple Fields of DisambKind

0: DisambKindQueryKey<'a>
DisambTypeOrExpr(DisambTypeOrExprQueryKey<'a>)

The disamb_type_or_expr query.

Tuple Fields of DisambTypeOrExpr

0: DisambTypeOrExprQueryKey<'a>

The type_of query.

Tuple Fields of TypeOf

0: TypeOfQueryKey
TypeOfIntPort(TypeOfIntPortQueryKey<'a>)

The type_of_int_port query.

Tuple Fields of TypeOfIntPort

0: TypeOfIntPortQueryKey<'a>
TypeOfExtPort(TypeOfExtPortQueryKey<'a>)

The type_of_ext_port query.

Tuple Fields of TypeOfExtPort

0: TypeOfExtPortQueryKey<'a>
TypeOfPortDecl(TypeOfPortDeclQueryKey<'a>)

The type_of_port_decl query.

Tuple Fields of TypeOfPortDecl

0: TypeOfPortDeclQueryKey<'a>
TypeOfVarDecl(TypeOfVarDeclQueryKey<'a>)

The type_of_var_decl query.

Tuple Fields of TypeOfVarDecl

0: TypeOfVarDeclQueryKey<'a>
TypeOfNetDecl(TypeOfNetDeclQueryKey<'a>)

The type_of_net_decl query.

Tuple Fields of TypeOfNetDecl

0: TypeOfNetDeclQueryKey<'a>
TypeOfStructMember(TypeOfStructMemberQueryKey<'a>)

The type_of_struct_member query.

Tuple Fields of TypeOfStructMember

0: TypeOfStructMemberQueryKey<'a>
TypeOfValueParam(TypeOfValueParamQueryKey<'a>)

The type_of_value_param query.

Tuple Fields of TypeOfValueParam

0: TypeOfValueParamQueryKey<'a>
TypeOfInst(TypeOfInstQueryKey<'a>)

The type_of_inst query.

Tuple Fields of TypeOfInst

0: TypeOfInstQueryKey<'a>
MapToType(MapToTypeQueryKey<'a>)

The map_to_type query.

Tuple Fields of MapToType

0: MapToTypeQueryKey<'a>
MapToTypeOrError(MapToTypeOrErrorQueryKey<'a>)

The map_to_type_or_error query.

Tuple Fields of MapToTypeOrError

0: MapToTypeOrErrorQueryKey<'a>
PackedTypeFromAst(PackedTypeFromAstQueryKey<'a>)

The packed_type_from_ast query.

Tuple Fields of PackedTypeFromAst

0: PackedTypeFromAstQueryKey<'a>
UnpackedTypeFromAst(UnpackedTypeFromAstQueryKey<'a>)

The unpacked_type_from_ast query.

Tuple Fields of UnpackedTypeFromAst

0: UnpackedTypeFromAstQueryKey<'a>
TypeOfExpr(TypeOfExprQueryKey<'a>)

The type_of_expr query.

Tuple Fields of TypeOfExpr

0: TypeOfExprQueryKey<'a>

The cast_type query.

Tuple Fields of CastType

0: CastTypeQueryKey
CastExprType(CastExprTypeQueryKey<'a>)

The cast_expr_type query.

Tuple Fields of CastExprType

0: CastExprTypeQueryKey<'a>
SelfDeterminedType(SelfDeterminedTypeQueryKey)

The self_determined_type query.

Tuple Fields of SelfDeterminedType

0: SelfDeterminedTypeQueryKey
NeedSelfDeterminedType(NeedSelfDeterminedTypeQueryKey)

The need_self_determined_type query.

Tuple Fields of NeedSelfDeterminedType

0: NeedSelfDeterminedTypeQueryKey
OperationType(OperationTypeQueryKey)

The operation_type query.

Tuple Fields of OperationType

0: OperationTypeQueryKey
NeedOperationType(NeedOperationTypeQueryKey)

The need_operation_type query.

Tuple Fields of NeedOperationType

0: NeedOperationTypeQueryKey
TypeContext(TypeContextQueryKey)

The type_context query.

Tuple Fields of TypeContext

0: TypeContextQueryKey
NeedTypeContext(NeedTypeContextQueryKey)

The need_type_context query.

Tuple Fields of NeedTypeContext

0: NeedTypeContextQueryKey
ConstantValueOf(ConstantValueOfQueryKey)

The constant_value_of query.

Tuple Fields of ConstantValueOf

0: ConstantValueOfQueryKey
ConstMirRvalueInt(ConstMirRvalueIntQueryKey<'a>)

The const_mir_rvalue_int query.

Tuple Fields of ConstMirRvalueInt

0: ConstMirRvalueIntQueryKey<'a>
ConstMirRvalueString(ConstMirRvalueStringQueryKey<'a>)

The const_mir_rvalue_string query.

Tuple Fields of ConstMirRvalueString

0: ConstMirRvalueStringQueryKey<'a>
ConstMirRvalue(ConstMirRvalueQueryKey<'a>)

The const_mir_rvalue query.

Tuple Fields of ConstMirRvalue

0: ConstMirRvalueQueryKey<'a>
IsConstant(IsConstantQueryKey)

The is_constant query.

Tuple Fields of IsConstant

0: IsConstantQueryKey
TypeDefaultValue(TypeDefaultValueQueryKey<'a>)

The type_default_value query.

Tuple Fields of TypeDefaultValue

0: TypeDefaultValueQueryKey<'a>

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

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 resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. 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.