Enum syntax::ast::PatKind
[−]
[src]
pub enum PatKind {
Wild,
Ident(BindingMode, SpannedIdent, Option<P<Pat>>),
Struct(Path, Vec<Spanned<FieldPat>>, bool),
TupleStruct(Path, Vec<P<Pat>>, Option<usize>),
Path(Option<QSelf>, Path),
Tuple(Vec<P<Pat>>, Option<usize>),
Box(P<Pat>),
Ref(P<Pat>, Mutability),
Lit(P<Expr>),
Range(P<Expr>, P<Expr>, RangeEnd),
Slice(Vec<P<Pat>>, Option<P<Pat>>, Vec<P<Pat>>),
Mac(Mac),
}rustc_private)Variants
Wildrustc_private)Represents a wildcard pattern (_)
Ident(BindingMode, SpannedIdent, Option<P<Pat>>)rustc_private)A PatKind::Ident may either be a new bound variable (ref mut binding @ OPT_SUBPATTERN),
or a unit struct/variant pattern, or a const pattern (in the last two cases the third
field must be None). Disambiguation cannot be done with parser alone, so it happens
during name resolution.
Struct(Path, Vec<Spanned<FieldPat>>, bool)rustc_private)A struct or struct variant pattern, e.g. Variant {x, y, ..}.
The bool is true in the presence of a ...
TupleStruct(Path, Vec<P<Pat>>, Option<usize>)rustc_private)A tuple struct/variant pattern Variant(x, y, .., z).
If the .. pattern fragment is present, then Option<usize> denotes its position.
0 <= position <= subpats.len()
Path(Option<QSelf>, Path)rustc_private)A possibly qualified path pattern.
Unquailfied path patterns A::B::C can legally refer to variants, structs, constants
or associated constants. Quailfied path patterns <A>::B::C/<A as Trait>::B::C can
only legally refer to associated constants.
Tuple(Vec<P<Pat>>, Option<usize>)rustc_private)A tuple pattern (a, b).
If the .. pattern fragment is present, then Option<usize> denotes its position.
0 <= position <= subpats.len()
Box(P<Pat>)rustc_private)A box pattern
Ref(P<Pat>, Mutability)rustc_private)A reference pattern, e.g. &mut (a, b)
Lit(P<Expr>)rustc_private)A literal
Range(P<Expr>, P<Expr>, RangeEnd)rustc_private)A range pattern, e.g. 1...2 or 1..2
Slice(Vec<P<Pat>>, Option<P<Pat>>, Vec<P<Pat>>)rustc_private)[a, b, ..i, y, z] is represented as:
PatKind::Slice(box [a, b], Some(i), box [y, z])
Mac(Mac)rustc_private)A macro pattern; pre-expansion
Trait Implementations
impl Clone for PatKind[src]
fn clone(&self) -> PatKind
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0
Performs copy-assignment from source. Read more
impl PartialEq for PatKind[src]
fn eq(&self, __arg_0: &PatKind) -> bool
This method tests for self and other values to be equal, and is used by ==. Read more
fn ne(&self, __arg_0: &PatKind) -> bool
This method tests for !=.
impl Eq for PatKind[src]
impl Encodable for PatKind[src]
fn encode<__S: Encoder>(&self, __arg_0: &mut __S) -> Result<(), __S::Error>
🔬 This is a nightly-only experimental API. (rustc_private)
deprecated in favor of rustc-serialize on crates.io
impl Decodable for PatKind[src]
fn decode<__D: Decoder>(__arg_0: &mut __D) -> Result<PatKind, __D::Error>
🔬 This is a nightly-only experimental API. (rustc_private)
deprecated in favor of rustc-serialize on crates.io
impl Hash for PatKind[src]
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
Feeds this value into the state given, updating the hasher as necessary.
fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher1.3.0
Feeds a slice of this type into the state provided.