Struct swc_plugin::ast::Ident
[−]pub struct Ident {
pub span: Span,
pub sym: Atom<JsWordStaticSet>,
pub optional: bool,
}
Expand description
A complete identifier with span.
Identifier of swc consists of two parts. The first one is symbol, which is stored using an interned string, JsWord . The second one is SyntaxContext, which can be used to distinguish identifier with same symbol.
Let me explain this with an example.
let a = 5
{
let a = 3;
}
In the code above, there are two variables with the symbol a.
Other compilers typically uses type like Scope
, and store them nested, but
in rust, type like Scope
requires [Arc<Mutexfoo#1
For the example above, after applying resolver pass, it becomes.
let a#1 = 5
{
let a#2 = 3;
}
Thanks to the tag
we attached, we can now distinguish them.
See Id, which is a type alias for this.
This can be used to store all variables in a module to single hash map.
Comparison
While comparing two identifiers, you can use .to_id()
.
HashMap
There’s a type named Id which only contains minimal information to distinguish identifiers.
Fields
span: Span
sym: Atom<JsWordStaticSet>
optional: bool
TypeScript only. Used in case of an optional parameter.
Implementations
impl Ident
impl Ident
pub fn within_ignored_ctxt<F, Ret>(op: F) -> Ret where
F: FnOnce() -> Ret,
pub fn within_ignored_ctxt<F, Ret>(op: F) -> Ret where
F: FnOnce() -> Ret,
In op
, EqIgnoreSpan of Ident will ignore the syntax context.
pub fn to_id(&self) -> (Atom<JsWordStaticSet>, SyntaxContext)
pub fn to_id(&self) -> (Atom<JsWordStaticSet>, SyntaxContext)
Creates Id
using JsWord
and SyntaxContext
of self
.
pub fn is_valid_start(c: char) -> bool
pub fn is_valid_start(c: char) -> bool
Returns true if c
is a valid character for an identifier start.
pub fn is_valid_continue(c: char) -> bool
pub fn is_valid_continue(c: char) -> bool
Returns true if c
is a valid character for an identifier part after
start.
impl Ident
impl Ident
pub const fn new(sym: Atom<JsWordStaticSet>, span: Span) -> Ident
Trait Implementations
impl Archive for Ident
impl Archive for Ident
impl<'de> Deserialize<'de> for Ident
impl<'de> Deserialize<'de> for Ident
fn deserialize<__D>(
__deserializer: __D
) -> Result<Ident, <__D as Deserializer<'de>>::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D
) -> Result<Ident, <__D as Deserializer<'de>>::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl<__D> Deserialize<Ident, __D> for <Ident as Archive>::Archived where
__D: Fallible + SharedDeserializeRegistry + ?Sized,
impl<__D> Deserialize<Ident, __D> for <Ident as Archive>::Archived where
__D: Fallible + SharedDeserializeRegistry + ?Sized,
fn deserialize(
&self,
deserializer: &mut __D
) -> Result<Ident, <__D as Fallible>::Error>
fn deserialize(
&self,
deserializer: &mut __D
) -> Result<Ident, <__D as Fallible>::Error>
Deserializes using the given deserializer
impl EqIgnoreSpan for Ident
impl EqIgnoreSpan for Ident
fn eq_ignore_span(&self, other: &Ident) -> bool
impl From<(Atom<JsWordStaticSet>, SyntaxContext)> for Ident
impl From<(Atom<JsWordStaticSet>, SyntaxContext)> for Ident
fn from(id: (Atom<JsWordStaticSet>, SyntaxContext)) -> Ident
fn from(id: (Atom<JsWordStaticSet>, SyntaxContext)) -> Ident
Converts to this type from the input type.
impl From<Ident> for JSXAttrName
impl From<Ident> for JSXAttrName
fn from(v: Ident) -> JSXAttrName
fn from(v: Ident) -> JSXAttrName
Converts to this type from the input type.
impl From<Ident> for BindingIdent
impl From<Ident> for BindingIdent
fn from(id: Ident) -> BindingIdent
fn from(id: Ident) -> BindingIdent
Converts to this type from the input type.
impl From<Ident> for (Atom<JsWordStaticSet>, SyntaxContext)
impl From<Ident> for (Atom<JsWordStaticSet>, SyntaxContext)
fn from(i: Ident) -> (Atom<JsWordStaticSet>, SyntaxContext)
fn from(i: Ident) -> (Atom<JsWordStaticSet>, SyntaxContext)
Converts to this type from the input type.
impl From<Ident> for MemberProp
impl From<Ident> for MemberProp
fn from(v: Ident) -> MemberProp
fn from(v: Ident) -> MemberProp
Converts to this type from the input type.
impl From<Ident> for TsModuleName
impl From<Ident> for TsModuleName
fn from(v: Ident) -> TsModuleName
fn from(v: Ident) -> TsModuleName
Converts to this type from the input type.
impl From<Ident> for TsEnumMemberId
impl From<Ident> for TsEnumMemberId
fn from(v: Ident) -> TsEnumMemberId
fn from(v: Ident) -> TsEnumMemberId
Converts to this type from the input type.
impl From<Ident> for TsThisTypeOrIdent
impl From<Ident> for TsThisTypeOrIdent
fn from(v: Ident) -> TsThisTypeOrIdent
fn from(v: Ident) -> TsThisTypeOrIdent
Converts to this type from the input type.
impl From<Ident> for ModuleExportName
impl From<Ident> for ModuleExportName
fn from(v: Ident) -> ModuleExportName
fn from(v: Ident) -> ModuleExportName
Converts to this type from the input type.
impl From<Ident> for TsEntityName
impl From<Ident> for TsEntityName
fn from(v: Ident) -> TsEntityName
fn from(v: Ident) -> TsEntityName
Converts to this type from the input type.
impl From<Ident> for JSXElementName
impl From<Ident> for JSXElementName
fn from(v: Ident) -> JSXElementName
fn from(v: Ident) -> JSXElementName
Converts to this type from the input type.
impl IdentExt for Ident
impl IdentExt for Ident
fn is_reserved(&self) -> bool
fn is_reserved_in_strict_mode(&self, is_module: bool) -> bool
fn is_reserved_in_strict_bind(&self) -> bool
fn is_reserved_in_es3(&self) -> bool
impl IdentLike for Ident
impl IdentLike for Ident
fn from_ident(i: &Ident) -> Ident
fn to_id(&self) -> (Atom<JsWordStaticSet>, SyntaxContext)
fn into_id(self) -> (Atom<JsWordStaticSet>, SyntaxContext)
sourceimpl ImplicitClone for Ident
impl ImplicitClone for Ident
fn clone_quote_var(&self) -> Self
impl Serialize for Ident
impl Serialize for Ident
fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
impl<__S> Serialize<__S> for Ident where
__S: Fallible + Serializer + ScratchSpace + SharedSerializeRegistry + ?Sized,
impl<__S> Serialize<__S> for Ident where
__S: Fallible + Serializer + ScratchSpace + SharedSerializeRegistry + ?Sized,
impl<V> VisitAllWith<V> for Ident where
V: VisitAll + ?Sized,
impl<V> VisitAllWith<V> for Ident where
V: VisitAll + ?Sized,
fn visit_all_with(&self, v: &mut V)
fn visit_all_children_with(&self, _visitor: &mut V)
fn visit_all_children_with(&self, _visitor: &mut V)
Visit children nodes of self with v
impl<V> VisitMutWith<V> for Ident where
V: VisitMut + ?Sized,
impl<V> VisitMutWith<V> for Ident where
V: VisitMut + ?Sized,
fn visit_mut_with(&mut self, v: &mut V)
fn visit_mut_children_with(&mut self, _visitor: &mut V)
impl<V> VisitWith<V> for Ident where
V: Visit + ?Sized,
impl<V> VisitWith<V> for Ident where
V: Visit + ?Sized,
fn visit_with(&self, v: &mut V)
fn visit_children_with(&self, _visitor: &mut V)
fn visit_children_with(&self, _visitor: &mut V)
Visit children nodes of self with v
impl Eq for Ident
impl StructuralEq for Ident
impl StructuralPartialEq for Ident
Auto Trait Implementations
impl RefUnwindSafe for Ident
impl Send for Ident
impl Sync for Ident
impl Unpin for Ident
impl UnwindSafe for Ident
Blanket Implementations
impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
impl<T> ArchiveUnsized for T where
T: Archive,
impl<T> ArchiveUnsized for T where
T: Archive,
type Archived = <T as Archive>::Archived
type Archived = <T as Archive>::Archived
The archived counterpart of this type. Unlike Archive
, it may be unsized. Read more
type MetadataResolver = ()
type MetadataResolver = ()
The resolver for the metadata of this type. Read more
unsafe fn resolve_metadata(
&self,
usize,
<T as ArchiveUnsized>::MetadataResolver,
*mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata
)
unsafe fn resolve_metadata(
&self,
usize,
<T as ArchiveUnsized>::MetadataResolver,
*mut <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata
)
Creates the archived version of the metadata for this value at the given position and writes it to the given output. Read more
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<F, W, T, D> Deserialize<With<T, W>, D> for F where
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
impl<F, W, T, D> Deserialize<With<T, W>, D> for F where
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
fn deserialize(
&self,
deserializer: &mut D
) -> Result<With<T, W>, <D as Fallible>::Error>
fn deserialize(
&self,
deserializer: &mut D
) -> Result<With<T, W>, <D as Fallible>::Error>
Deserializes using the given deserializer
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.
impl<T> ExprFactory for T where
T: Into<Expr>,
impl<T> ExprFactory for T where
T: Into<Expr>,
fn as_arg(self) -> ExprOrSpread
fn as_arg(self) -> ExprOrSpread
Creates an ExprOrSpread using the given Expr. Read more
fn as_pat_or_expr(self) -> PatOrExpr
fn into_return_stmt(self) -> ReturnStmt
fn into_return_stmt(self) -> ReturnStmt
Creates a statement whcih return self
.
fn as_callee(self) -> Callee
fn as_iife(self) -> CallExpr
fn into_lazy_arrow(self, params: Vec<Pat, Global>) -> ArrowExpr
fn into_lazy_arrow(self, params: Vec<Pat, Global>) -> ArrowExpr
create a ArrowExpr which return self Read more
fn into_lazy_fn(self, params: Vec<Param, Global>) -> Function
fn into_lazy_fn(self, params: Vec<Param, Global>) -> Function
create a Function which return self Read more
fn into_lazy_auto(self, params: Vec<Pat, Global>, support_arrow: bool) -> Expr
fn into_var_decl(self, kind: VarDeclKind, name: Pat) -> VarDecl
fn into_var_decl(self, kind: VarDeclKind, name: Pat) -> VarDecl
create a var declartor using self as init Read more
fn into_new_expr(
self,
span: Span,
args: Option<Vec<ExprOrSpread, Global>>
) -> NewExpr
fn apply(
self,
span: Span,
this: Box<Expr, Global>,
args: Vec<ExprOrSpread, Global>
) -> Expr
fn call_fn(self, span: Span, args: Vec<ExprOrSpread, Global>) -> Expr
fn as_call(self, span: Span, args: Vec<ExprOrSpread, Global>) -> Expr
fn as_fn_decl(self) -> Option<FnDecl>
fn as_class_decl(self) -> Option<ClassDecl>
fn wrap_with_paren(self) -> Expr
fn make_bin<T>(self, op: BinaryOp, right: T) -> Expr where
T: Into<Expr>,
fn make_bin<T>(self, op: BinaryOp, right: T) -> Expr where
T: Into<Expr>,
Creates a binary expr $self $op $rhs
fn make_assign_to(self, op: AssignOp, left: PatOrExpr) -> Expr
fn make_assign_to(self, op: AssignOp, left: PatOrExpr) -> Expr
Creates a assign expr $lhs $op $self
fn make_member<T>(self, prop: T) -> Expr where
T: Into<Ident>,
fn computed_member<T>(self, prop: T) -> Expr where
T: Into<Expr>,
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
impl<T, S> SerializeUnsized<S> for T where
T: Serialize<S>,
S: Serializer + ?Sized,
impl<T, S> SerializeUnsized<S> for T where
T: Serialize<S>,
S: Serializer + ?Sized,
fn serialize_unsized(
&self,
serializer: &mut S
) -> Result<usize, <S as Fallible>::Error>
fn serialize_unsized(
&self,
serializer: &mut S
) -> Result<usize, <S as Fallible>::Error>
Writes the object and returns the position of the archived type.
fn serialize_metadata(&self, &mut S) -> Result<(), <S as Fallible>::Error>
fn serialize_metadata(&self, &mut S) -> Result<(), <S as Fallible>::Error>
Serializes the metadata for the given type.
impl<T> SpanExt for T where
T: Spanned,
impl<T> SpanExt for T where
T: Spanned,
fn is_synthesized(&self) -> bool
fn starts_on_new_line(&self, format: ListFormat) -> bool
fn comment_range(&self) -> Span
fn comment_range(&self) -> Span
Gets a custom text range to use when emitting comments.
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more