Struct moore_vhdl::typeck::TypeckContext

pub struct TypeckContext<'sbc, 'lazy: 'sbc, 'sb: 'lazy, 'ast: 'sb, 'ctx: 'sb> {
    pub ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>,
    // some fields omitted
}

A context to typecheck things in.

This context helps checking the types of things and keeping track of errors.

Fields

ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>

The parent context.

Implementations

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

pub fn new(
    ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>
) -> TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

Create a new type checking context.

pub fn finish(self) -> bool

Consume the context and return the result of the typeck.

pub fn emit(&self, diag: DiagBuilder2)

Emit a diagnostic message.

pub fn lazy_typeck<I>(&self, id: I) where
    I: Into<NodeId>, 

Check the type of a node.

If the node already had its type checked, immediately returns the result of that operation. Otherwise runs the task scheduled in the lazy table.

pub fn lazy_typeval<I>(&self, id: I) -> Result<&'ctx Ty> where
    I: Into<NodeId>, 

Determine the type of a node.

If the node already had its type determined, immediately returns the result of that operation. Otherwise runs the task scheduled in the lazy table.

pub fn must_match(&self, exp: &'ctx Ty, act: &'ctx Ty, span: Span) -> bool

Ensure that two types are compatible.

pub fn must_cast(&self, into: &'ctx Ty, from: &'ctx Ty, span: Span) -> bool

Ensure that one type can be cast into the other.

pub fn typeck_delay_mechanism(&self, _node: &'ctx DelayMechanism)

Type check the time expression in a delay mechanism.

pub fn typeck_waveform(&self, node: &'ctx Waveform, exp: &'ctx Ty)

Type check a waveform.

pub fn typeck_wave_elem(&self, node: &'ctx WaveElem, _exp: &'ctx Ty)

Type check a waveform element.

pub fn typeck_subprog_spec(&self, node: &'ctx SubprogSpec)

Type check a subprogram specification.

pub fn typeck_node<I>(&self, id: I, exp: &'ctx Ty) where
    I: 'ctx + Copy + Debug + Into<NodeId>,
    ScoreContext<'lazy, 'sb, 'ast, 'ctx>: NodeMaker<I, &'ctx Ty>, 

Type check any node that can have its type calculated.

pub fn typeck_slice<T, I>(&self, ids: T) where
    T: AsRef<[I]>,
    I: Copy,
    TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>: Typeck<I>, 

Type check a slice of nodes.

pub fn apply_range_constraint(
    &self,
    ty: &Ty,
    con: Spanned<&Range>
) -> Result<&'ctx Ty>

Apply a range constraint to a type.

pub fn apply_array_constraint(
    &self,
    ty: &'ctx Ty,
    con: Spanned<&ArrayConstraint>
) -> Result<&'ctx Ty>

Apply an array constraint to a type.

pub fn apply_record_constraint(
    &self,
    ty: &'ctx Ty,
    con: Spanned<&RecordConstraint>
) -> Result<&'ctx Ty>

Apply a record constraint to a type.

pub fn apply_index_constraint(
    &self,
    index: &'ctx ArrayIndex,
    con: Spanned<&DiscreteRange>
) -> Result<ArrayIndex>

Apply an index constraint to an array index.

pub fn apply_subtype(
    &self,
    orig_ty: &'ctx Ty,
    subty: Spanned<&Ty>
) -> Result<&'ctx Ty>

Impose a subtype on a type.

pub fn type_from_discrete_range(
    &self,
    range: Spanned<&DiscreteRange>
) -> Result<&'ctx Ty>

Evaluate a discrete range as a type.

pub fn type_from_range(&self, range: Spanned<&Range>) -> Result<&'ctx Ty>

Evaluate a range as a type.

Trait Implementations

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<AliasDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: AliasDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ArchRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ArchRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<AttrDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: AttrDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<AttrSpecRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: AttrSpecRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<BlockStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: BlockStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CaseGenStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CaseGenStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CfgRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CfgRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CfgSpecRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CfgSpecRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CompDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CompDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CompInstStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CompInstStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ConcAssertStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ConcAssertStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ConcCallStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ConcCallStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ConcSigAssignStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ConcSigAssignStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ConcStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ConcStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ConstDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ConstDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<CtxRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: CtxRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DeclInBlockRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DeclInBlockRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DeclInPkgBodyRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DeclInPkgBodyRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DeclInPkgRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DeclInPkgRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DeclInProcRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DeclInProcRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DeclInSubprogRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DeclInSubprogRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<DisconSpecRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: DisconSpecRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<EntityRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: EntityRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<FileDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: FileDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ForGenStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ForGenStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<GenericRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: GenericRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<GroupDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: GroupDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<GroupTempRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: GroupTempRef)

impl<'sbc, 'lazy: 'sbc, 'sb: 'lazy, 'ast: 'sb, 'ctx: 'sb, I> Typeck<I> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx> where
    ScoreContext<'lazy, 'sb, 'ast, 'ctx>: NodeMaker<I, &'ctx Ty>, 

fn typeck(&self, id: I)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<IfGenStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: IfGenStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<IntfPkgRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: IntfPkgRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<IntfSubprogRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: IntfSubprogRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<IntfTypeRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: IntfTypeRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<LibRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: LibRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<PkgBodyRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: PkgBodyRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<PkgDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: PkgDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<PkgInstRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: PkgInstRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<ProcessStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: ProcessStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SeqStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SeqStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SigAssignStmtRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SigAssignStmtRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SignalDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SignalDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SubprogBodyRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SubprogBodyRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SubprogDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SubprogDeclRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<SubprogInstRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: SubprogInstRef)

impl<'sbc, 'lazy, 'sb, 'ast, 'ctx> Typeck<VarDeclRef> for TypeckContext<'sbc, 'lazy, 'sb, 'ast, 'ctx>

fn typeck(&self, id: VarDeclRef)