Enum moore_svlog::QueryTag

pub enum QueryTag<'a> {
    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>),
}

A tag identifying any of the queries in QueryDatabase.

Variants

HirOf(HirOfQueryKey)

The hir_of query.

HirOfModule(HirOfModuleQueryKey<'a>)

The hir_of_module query.

HirOfInterface(HirOfInterfaceQueryKey<'a>)

The hir_of_interface query.

HirOfExpr(HirOfExprQueryKey<'a>)

The hir_of_expr query.

AccessedNodes(AccessedNodesQueryKey)

The accessed_nodes query.

InstDetails(InstDetailsQueryKey<'a>)

The inst_details query.

InstTargetDetails(InstTargetDetailsQueryKey<'a>)

The inst_target_details query.

MirAssignmentFromProcedural(MirAssignmentFromProceduralQueryKey)

The mir_assignment_from_procedural query.

MirAssignmentFromConcurrent(MirAssignmentFromConcurrentQueryKey<'a>)

The mir_assignment_from_concurrent query.

MirSimplifyAssignment(MirSimplifyAssignmentQueryKey<'a>)

The mir_simplify_assignment query.

MirLvalue(MirLvalueQueryKey)

The mir_lvalue query.

MirRvalue(MirRvalueQueryKey)

The mir_rvalue query.

ParamEnv(ParamEnvQueryKey<'a>)

The param_env query.

MapPattern(MapPatternQueryKey<'a>)

The map_pattern query.

CanonicalizePorts(CanonicalizePortsQueryKey<'a>)

The canonicalize_ports query.

PortMapping(PortMappingQueryKey<'a>)

The port_mapping query.

LocalRib(LocalRibQueryKey)

The local_rib query.

HierarchicalRib(HierarchicalRibQueryKey)

The hierarchical_rib query.

ResolveUpwards(ResolveUpwardsQueryKey)

The resolve_upwards query.

ResolveDownwards(ResolveDownwardsQueryKey)

The resolve_downwards query.

ResolveNode(ResolveNodeQueryKey)

The resolve_node query.

StructDef(StructDefQueryKey)

The struct_def query.

ResolveFieldAccess(ResolveFieldAccessQueryKey)

The resolve_field_access query.

GeneratedScope(GeneratedScopeQueryKey<'a>)

The generated_scope query.

ScopeLocation(ScopeLocationQueryKey<'a>)

The scope_location query.

ResolveLocal(ResolveLocalQueryKey<'a>)

The resolve_local query.

ResolveLocalOrError(ResolveLocalOrErrorQueryKey<'a>)

The resolve_local_or_error query.

ResolveNamespace(ResolveNamespaceQueryKey<'a>)

The resolve_namespace query.

ResolveNamespaceOrError(ResolveNamespaceOrErrorQueryKey<'a>)

The resolve_namespace_or_error query.

ResolveHierarchical(ResolveHierarchicalQueryKey<'a>)

The resolve_hierarchical query.

ResolveHierarchicalOrError(ResolveHierarchicalOrErrorQueryKey<'a>)

The resolve_hierarchical_or_error query.

ResolveImportedScope(ResolveImportedScopeQueryKey<'a>)

The resolve_imported_scope query.

Nameck(NameckQueryKey<'a>)

The nameck query.

ResolveInstTarget(ResolveInstTargetQueryKey<'a>)

The resolve_inst_target query.

DisambKind(DisambKindQueryKey<'a>)

The disamb_kind query.

DisambTypeOrExpr(DisambTypeOrExprQueryKey<'a>)

The disamb_type_or_expr query.

TypeOf(TypeOfQueryKey)

The type_of query.

TypeOfIntPort(TypeOfIntPortQueryKey<'a>)

The type_of_int_port query.

TypeOfExtPort(TypeOfExtPortQueryKey<'a>)

The type_of_ext_port query.

TypeOfPortDecl(TypeOfPortDeclQueryKey<'a>)

The type_of_port_decl query.

TypeOfVarDecl(TypeOfVarDeclQueryKey<'a>)

The type_of_var_decl query.

TypeOfNetDecl(TypeOfNetDeclQueryKey<'a>)

The type_of_net_decl query.

TypeOfStructMember(TypeOfStructMemberQueryKey<'a>)

The type_of_struct_member query.

TypeOfValueParam(TypeOfValueParamQueryKey<'a>)

The type_of_value_param query.

TypeOfInst(TypeOfInstQueryKey<'a>)

The type_of_inst query.

MapToType(MapToTypeQueryKey<'a>)

The map_to_type query.

MapToTypeOrError(MapToTypeOrErrorQueryKey<'a>)

The map_to_type_or_error query.

PackedTypeFromAst(PackedTypeFromAstQueryKey<'a>)

The packed_type_from_ast query.

UnpackedTypeFromAst(UnpackedTypeFromAstQueryKey<'a>)

The unpacked_type_from_ast query.

TypeOfExpr(TypeOfExprQueryKey<'a>)

The type_of_expr query.

CastType(CastTypeQueryKey)

The cast_type query.

CastExprType(CastExprTypeQueryKey<'a>)

The cast_expr_type query.

SelfDeterminedType(SelfDeterminedTypeQueryKey)

The self_determined_type query.

NeedSelfDeterminedType(NeedSelfDeterminedTypeQueryKey)

The need_self_determined_type query.

OperationType(OperationTypeQueryKey)

The operation_type query.

NeedOperationType(NeedOperationTypeQueryKey)

The need_operation_type query.

TypeContext(TypeContextQueryKey)

The type_context query.

NeedTypeContext(NeedTypeContextQueryKey)

The need_type_context query.

ConstantValueOf(ConstantValueOfQueryKey)

The constant_value_of query.

ConstMirRvalueInt(ConstMirRvalueIntQueryKey<'a>)

The const_mir_rvalue_int query.

ConstMirRvalueString(ConstMirRvalueStringQueryKey<'a>)

The const_mir_rvalue_string query.

ConstMirRvalue(ConstMirRvalueQueryKey<'a>)

The const_mir_rvalue query.

IsConstant(IsConstantQueryKey)

The is_constant query.

TypeDefaultValue(TypeDefaultValueQueryKey<'a>)

The type_default_value query.

Trait Implementations

impl<'a> Clone for QueryTag<'a>

pub fn clone(&self) -> QueryTag<'a>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for QueryTag<'a>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Eq for QueryTag<'a>

impl<'a> Hash for QueryTag<'a>

pub fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'a> PartialEq<QueryTag<'a>> for QueryTag<'a>

pub fn eq(&self, other: &QueryTag<'a>) -> bool

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

pub fn ne(&self, other: &QueryTag<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for QueryTag<'a>

impl<'a> StructuralPartialEq for QueryTag<'a>