[−][src]Trait peepmatic_traits::TypingContext
A trait to represent a typing context.
This is used by the macro-generated operator methods that create the type
variables for their immediates, parameters, and results. This trait is
implemented by the concrete typing context in peepmatic/src/verify.rs
.
Associated Types
Loading content...Required methods
pub fn cc(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create a condition code type.
pub fn bNN(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create a boolean type with a polymorphic bit width.
Each use of bNN
by the same operator refers to the same type variable.
pub fn iNN(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create an integer type with a polymorphic bit width.
Each use of iNN
by the same operator refers to the same type variable.
pub fn iMM(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create an integer type with a polymorphic bit width.
Each use of iMM
by the same operator refers to the same type variable.
pub fn cpu_flags(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create the CPU flags type variable.
pub fn b1(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create a boolean type of size one bit.
pub fn void(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create the void type, used as the result of operators that branch away, or do not return anything.
pub fn bool_or_int(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create a type variable that may be either a boolean or an integer.
pub fn any_t(&mut self, span: Self::Span) -> Self::TypeVariable
[src]
Create a type variable that can be any type T.
Each use of any_t
by the same operator refers to the same type
variable.