[−][src]Enum moore_vhdl::term::Term
A term.
This is a generalization of expressions and names in VHDL. It allows various parts of the AST to be mapped to a common data structure, and then remapped to the desired output structure. This is useful for example if the parser processes a subtype indication as an expression.
Variants
Null
A term of the form null
.
Open
A term of the form open
.
Others
A term of the form others
.
Default
A term of the form default
.
IntLit(BigInt)
An integer literal.
FloatLit(BigRational)
A floating point literal.
PhysLit(BigInt, Spanned<EitherUnit<'t>>)
A physical literal.
StrLit(Name)
A bit string literal.
Unresolved(ResolvableName)
An unresolved name.
Ident(Spanned<Def>)
A term that refers to a definition.
Ident2(Spanned<Def2<'t>>)
A term that refers to a definition.
TypeMark(Spanned<TypeMarkRef>)
A term that refers to a type or subtype definition.
Enum(Vec<Spanned<EnumRef>>)
A term that refers to an enum variant.
Enum2(Vec<Spanned<Def2<'t>>>)
A term that refers to an enum variant.
Select(Subterm<'t>, Spanned<ResolvableName>)
A term of the form T.<name>
.
SelectAll(Subterm<'t>)
A term of the form T.all
.
Range(Spanned<Dir>, Subterm<'t>, Subterm<'t>)
A term of the form T (to|downto) T
.
RangeSuffix(Subterm<'t>, Subterm<'t>)
A term of the form T range T
.
UnboundedRange(Subterm<'t>)
A term of the form T range <>
.
SubtypeInd(Spanned<TypeMarkRef>, Option<Subterm<'t>>, Option<Subterm<'t>>)
A term of the form [T] <type_mark> [T]
. The first optional subterm is
the resolution indication, the second is the constraint.
PrefixParen(Subterm<'t>, Subterm<'t>)
A term of the form (T) T
.
SuffixParen(Subterm<'t>, Subterm<'t>)
A term of the form T (T)
.
Paren(Vec<Spanned<Term<'t>>>)
A term of the form (T,T,…)
.
Aggregate(Vec<(Vec<Spanned<Term<'t>>>, Spanned<Term<'t>>)>)
A term of the form (T|T|… => T, T|T|… => T, …)
.
Unary(Spanned<UnaryOp>, Subterm<'t>)
A term of the form op T
.
Binary(Spanned<BinaryOp>, Subterm<'t>, Subterm<'t>)
A term of the form T op T
.
Qual(Subterm<'t>, Subterm<'t>)
A term of the form T'T
.
New(Subterm<'t>)
A term of the form new T
.
Trait Implementations
impl<'t> PartialEq<Term<'t>> for Term<'t>
[src]
impl<'t> PartialEq<Term<'t>> for Term<'t>
impl<'t> Eq for Term<'t>
[src]
impl<'t> Eq for Term<'t>
impl<'t> Debug for Term<'t>
[src]
impl<'t> Debug for Term<'t>
Auto Trait Implementations
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
impl<T, U> Into for T where
U: From<T>,
impl<T> From for T
[src]
impl<T> From for T
impl<T, U> TryFrom for T where
T: From<U>,
[src]
impl<T, U> TryFrom for T where
T: From<U>,
type Error = !
try_from
)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> Borrow for T where
T: ?Sized,
[src]
impl<T> Borrow for T where
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Any for T where
T: 'static + ?Sized,
fn get_type_id(&self) -> TypeId | [src] |
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error> | [src] |
impl<T> BorrowMut for T where
T: ?Sized,
[src]
impl<T> BorrowMut for T where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T | [src] |