[−][src]Struct moore_vhdl::make_ctx::MakeContext
A context within which compiler passes can be described.
See the module documentation for details.
Fields
ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>
The outer context.
span: Span
The span of the node in the source code.
id: I
The ID of the node being constructed.
Methods
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> where
I: Copy + Into<NodeId> + Debug,
[src]
I: Copy + Into<NodeId> + Debug,
pub fn new(
ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>,
span: Span,
id: I
) -> MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
[src]
ctx: &'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>,
span: Span,
id: I
) -> MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
Create a new context.
pub fn finish(self) -> I
[src]
Finalize the description and return the node Id.
This should be the very last step.
pub fn lower_to_hir<R>(&self, f: LazyHir<'sb, 'ast, 'ctx, R>) where
LazyHirTable<'sb, 'ast, 'ctx>: NodeStorage<I, Node = LazyNode<LazyHir<'sb, 'ast, 'ctx, R>>>,
[src]
LazyHirTable<'sb, 'ast, 'ctx>: NodeStorage<I, Node = LazyNode<LazyHir<'sb, 'ast, 'ctx, R>>>,
Schedule a callback that lowers the node to HIR.
pub fn set_hir<T>(&self, hir: T) where
T: 'ctx,
HirTable<'ctx>: NodeStorage<I, Node = &'ctx T>,
Arenas: Alloc<'ctx, 'ctx, T>,
[src]
T: 'ctx,
HirTable<'ctx>: NodeStorage<I, Node = &'ctx T>,
Arenas: Alloc<'ctx, 'ctx, T>,
Store a preconstructed HIR for the node.
pub fn typeck(&self, f: LazyTypeck<'sb, 'ast, 'ctx>)
[src]
Schedule a callback that type checks the node.
pub fn typeval(&self, f: LazyTypeval<'sb, 'ast, 'ctx>)
[src]
Schedule a callback that evaluates the type of the node.
Auto Trait Implementations
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> !Send for MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> !Sync for MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> Unpin for MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> where
I: Unpin,
'ast: 'sbc,
'ctx: 'sbc,
'lazy: 'sbc,
'sb: 'sbc,
I: Unpin,
'ast: 'sbc,
'ctx: 'sbc,
'lazy: 'sbc,
'sb: 'sbc,
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> !UnwindSafe for MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
impl<'sbc, 'lazy, 'sb, 'ast, 'ctx, I> !RefUnwindSafe for MakeContext<'sbc, 'lazy, 'sb, 'ast, 'ctx, I>
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,