mirror of
https://github.com/danbulant/oxc
synced 2026-05-25 04:42:10 +00:00
feat(hir): remove more TypeScript syntax
This commit is contained in:
Boshen
parent
9c6fc7dc51
commit
aed7b5d795
3 changed files with 9 additions and 819 deletions
|
|
@ -1243,10 +1243,6 @@ impl<'a> AstLower<'a> {
|
|||
let decl = self.lower_ts_enum_declaration(decl)?;
|
||||
Some(hir::Declaration::TSEnumDeclaration(decl))
|
||||
}
|
||||
ast::Declaration::TSImportEqualsDeclaration(decl) => {
|
||||
let decl = self.lower_ts_import_equals_declaration(decl)?;
|
||||
Some(hir::Declaration::TSImportEqualsDeclaration(decl))
|
||||
}
|
||||
_ => None,
|
||||
}
|
||||
}
|
||||
|
|
@ -1456,13 +1452,6 @@ impl<'a> AstLower<'a> {
|
|||
None
|
||||
}
|
||||
|
||||
fn lower_ts_import_equals_declaration(
|
||||
&mut self,
|
||||
_decl: &ast::TSImportEqualsDeclaration<'a>,
|
||||
) -> Option<Box<'a, hir::TSImportEqualsDeclaration<'a>>> {
|
||||
None
|
||||
}
|
||||
|
||||
fn lower_decorator(&mut self, decorator: &ast::Decorator<'a>) -> hir::Decorator<'a> {
|
||||
let expression = self.lower_expression(&decorator.expression);
|
||||
self.hir.decorator(decorator.span, expression)
|
||||
|
|
|
|||
|
|
@ -1036,7 +1036,6 @@ pub enum Declaration<'a> {
|
|||
ClassDeclaration(Box<'a, Class<'a>>),
|
||||
|
||||
TSEnumDeclaration(Box<'a, TSEnumDeclaration<'a>>),
|
||||
TSImportEqualsDeclaration(Box<'a, TSImportEqualsDeclaration<'a>>),
|
||||
}
|
||||
|
||||
/// Variable Declaration
|
||||
|
|
@ -1891,777 +1890,6 @@ pub enum TSEnumMemberName<'a> {
|
|||
NumberLiteral(NumberLiteral<'a>),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeAnnotation<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_annotation: TSType<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSLiteralType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub literal: TSLiteral<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSLiteral<'a> {
|
||||
BooleanLiteral(Box<'a, BooleanLiteral>),
|
||||
NullLiteral(Box<'a, NullLiteral>),
|
||||
NumberLiteral(Box<'a, NumberLiteral<'a>>),
|
||||
BigintLiteral(Box<'a, BigintLiteral>),
|
||||
RegExpLiteral(Box<'a, RegExpLiteral>),
|
||||
StringLiteral(Box<'a, StringLiteral>),
|
||||
TemplateLiteral(Box<'a, TemplateLiteral<'a>>),
|
||||
UnaryExpression(Box<'a, UnaryExpression<'a>>),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSType<'a> {
|
||||
// Keyword
|
||||
TSAnyKeyword(Box<'a, TSAnyKeyword>),
|
||||
TSBigIntKeyword(Box<'a, TSBigIntKeyword>),
|
||||
TSBooleanKeyword(Box<'a, TSBooleanKeyword>),
|
||||
TSNeverKeyword(Box<'a, TSNeverKeyword>),
|
||||
TSNullKeyword(Box<'a, TSNullKeyword>),
|
||||
TSNumberKeyword(Box<'a, TSNumberKeyword>),
|
||||
TSObjectKeyword(Box<'a, TSObjectKeyword>),
|
||||
TSStringKeyword(Box<'a, TSStringKeyword>),
|
||||
TSSymbolKeyword(Box<'a, TSSymbolKeyword>),
|
||||
TSThisKeyword(Box<'a, TSThisKeyword>),
|
||||
TSUndefinedKeyword(Box<'a, TSUndefinedKeyword>),
|
||||
TSUnknownKeyword(Box<'a, TSUnknownKeyword>),
|
||||
TSVoidKeyword(Box<'a, TSVoidKeyword>),
|
||||
// Compound
|
||||
TSArrayType(Box<'a, TSArrayType<'a>>),
|
||||
TSConditionalType(Box<'a, TSConditionalType<'a>>),
|
||||
TSConstructorType(Box<'a, TSConstructorType<'a>>),
|
||||
TSFunctionType(Box<'a, TSFunctionType<'a>>),
|
||||
TSImportType(Box<'a, TSImportType<'a>>),
|
||||
TSIndexedAccessType(Box<'a, TSIndexedAccessType<'a>>),
|
||||
TSInferType(Box<'a, TSInferType<'a>>),
|
||||
TSIntersectionType(Box<'a, TSIntersectionType<'a>>),
|
||||
TSLiteralType(Box<'a, TSLiteralType<'a>>),
|
||||
TSMappedType(Box<'a, TSMappedType<'a>>),
|
||||
TSQualifiedName(Box<'a, TSQualifiedName<'a>>),
|
||||
TSTemplateLiteralType(Box<'a, TSTemplateLiteralType<'a>>),
|
||||
TSTupleType(Box<'a, TSTupleType<'a>>),
|
||||
TSTypeLiteral(Box<'a, TSTypeLiteral<'a>>),
|
||||
TSTypeOperatorType(Box<'a, TSTypeOperatorType<'a>>),
|
||||
TSTypePredicate(Box<'a, TSTypePredicate<'a>>),
|
||||
TSTypeQuery(Box<'a, TSTypeQuery<'a>>),
|
||||
TSTypeReference(Box<'a, TSTypeReference<'a>>),
|
||||
TSUnionType(Box<'a, TSUnionType<'a>>),
|
||||
// JSDoc
|
||||
JSDocNullableType(Box<'a, JSDocNullableType<'a>>),
|
||||
JSDocUnknownType(Box<'a, JSDocUnknownType>),
|
||||
}
|
||||
|
||||
impl<'a> TSType<'a> {
|
||||
#[must_use]
|
||||
pub fn is_const_type_reference(&self) -> bool {
|
||||
matches!(self, TSType::TSTypeReference(reference) if reference.type_name.is_const())
|
||||
}
|
||||
}
|
||||
|
||||
/// `SomeType extends OtherType ? TrueType : FalseType;`
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/conditional-types.html#handbook-content>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSConditionalType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub check_type: TSType<'a>,
|
||||
pub extends_type: TSType<'a>,
|
||||
pub true_type: TSType<'a>,
|
||||
pub false_type: TSType<'a>,
|
||||
}
|
||||
|
||||
/// string | string[] | (() => string) | { s: string }
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes-func.html#unions>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSUnionType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub types: Vec<'a, TSType<'a>>,
|
||||
}
|
||||
|
||||
/// type `ColorfulCircle` = Colorful & Circle;
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/objects.html#intersection-types>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSIntersectionType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub types: Vec<'a, TSType<'a>>,
|
||||
}
|
||||
|
||||
/// keyof unique readonly
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/keyof-types.html>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename = "TSTypeOperator"))]
|
||||
pub struct TSTypeOperatorType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub operator: TSTypeOperator,
|
||||
pub type_annotation: TSType<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "lowercase"))]
|
||||
pub enum TSTypeOperator {
|
||||
Keyof,
|
||||
Unique,
|
||||
Readonly,
|
||||
}
|
||||
|
||||
impl TSTypeOperator {
|
||||
#[must_use]
|
||||
pub fn from_src(src: &str) -> Option<Self> {
|
||||
match src {
|
||||
"keyof" => Some(Self::Keyof),
|
||||
"unique" => Some(Self::Unique),
|
||||
"readonly" => Some(Self::Readonly),
|
||||
_ => None,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/// `let myArray: string[] = ["hello", "world"];`
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/objects.html#the-array-type>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSArrayType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub element_type: TSType<'a>,
|
||||
}
|
||||
|
||||
/// `type I1 = Person["age" | "name"];`
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/indexed-access-types.html#handbook-content>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSIndexedAccessType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub object_type: TSType<'a>,
|
||||
pub index_type: TSType<'a>,
|
||||
}
|
||||
|
||||
/// type `StringNumberPair` = [string, number];
|
||||
///
|
||||
/// <https://www.typescriptlang.org/docs/handbook/2/objects.html#tuple-types>
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTupleType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub element_types: Vec<'a, TSTupleElement<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSNamedTupleMember<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub element_type: TSType<'a>,
|
||||
pub label: IdentifierName,
|
||||
pub optional: bool,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSOptionalType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_annotation: TSType<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSRestType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_annotation: TSType<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSTupleElement<'a> {
|
||||
TSType(TSType<'a>),
|
||||
TSOptionalType(Box<'a, TSOptionalType<'a>>),
|
||||
TSRestType(Box<'a, TSRestType<'a>>),
|
||||
TSNamedTupleMember(Box<'a, TSNamedTupleMember<'a>>),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSAnyKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSStringKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSBooleanKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSNumberKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSNeverKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSUnknownKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSNullKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSUndefinedKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSVoidKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSSymbolKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSThisKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSObjectKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type"))]
|
||||
pub struct TSBigIntKeyword {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
/// type C = A;
|
||||
/// type D = B.a;
|
||||
/// type E = D.c.b.a;
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeReference<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_name: TSTypeName<'a>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged))]
|
||||
pub enum TSTypeName<'a> {
|
||||
IdentifierName(Box<'a, IdentifierName>),
|
||||
QualifiedName(Box<'a, TSQualifiedName<'a>>),
|
||||
}
|
||||
|
||||
impl<'a> TSTypeName<'a> {
|
||||
#[must_use]
|
||||
pub fn get_first_name(name: &TSTypeName) -> IdentifierName {
|
||||
match name {
|
||||
TSTypeName::IdentifierName(name) => (*name).clone(),
|
||||
TSTypeName::QualifiedName(name) => TSTypeName::get_first_name(&name.left),
|
||||
}
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub fn is_const(&self) -> bool {
|
||||
if let TSTypeName::IdentifierName(ident) = self {
|
||||
if ident.name == "const" {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
false
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub fn is_identifier(&self) -> bool {
|
||||
matches!(self, Self::IdentifierName(_))
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub fn is_qualified_name(&self) -> bool {
|
||||
matches!(self, Self::QualifiedName(_))
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSQualifiedName<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub left: TSTypeName<'a>,
|
||||
pub right: IdentifierName,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeParameterInstantiation<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub params: Vec<'a, TSType<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeParameter<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub name: BindingIdentifier,
|
||||
pub constraint: Option<TSType<'a>>,
|
||||
pub default: Option<TSType<'a>>,
|
||||
pub r#in: bool,
|
||||
pub out: bool,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeParameterDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub params: Vec<'a, Box<'a, TSTypeParameter<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeAliasDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub id: BindingIdentifier,
|
||||
pub type_annotation: TSType<'a>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSAbstractMethodDefinition<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub method_definition: MethodDefinition<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSAbstractPropertyDefinition<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub property_definition: PropertyDefinition<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash, Clone, Copy)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(rename_all = "lowercase"))]
|
||||
pub enum TSAccessibility {
|
||||
Private,
|
||||
Protected,
|
||||
Public,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSClassImplements<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: TSTypeName<'a>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
/// Interface Declaration
|
||||
///
|
||||
/// interface `BindingIdentifier` `TypeParameters_opt` `InterfaceExtendsClause_opt` `ObjectType`
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSInterfaceDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub id: BindingIdentifier,
|
||||
pub body: Box<'a, TSInterfaceBody<'a>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
pub extends: Option<Vec<'a, Box<'a, TSInterfaceHeritage<'a>>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSInterfaceBody<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub body: Vec<'a, TSSignature<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSPropertySignature<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub computed: bool,
|
||||
pub optional: bool,
|
||||
pub readonly: bool,
|
||||
pub key: PropertyKey<'a>,
|
||||
pub type_annotation: Option<Box<'a, TSTypeAnnotation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSSignature<'a> {
|
||||
TSIndexSignature(Box<'a, TSIndexSignature<'a>>),
|
||||
TSPropertySignature(Box<'a, TSPropertySignature<'a>>),
|
||||
TSCallSignatureDeclaration(Box<'a, TSCallSignatureDeclaration<'a>>),
|
||||
TSConstructSignatureDeclaration(Box<'a, TSConstructSignatureDeclaration<'a>>),
|
||||
TSMethodSignature(Box<'a, TSMethodSignature<'a>>),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSIndexSignature<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub parameters: Vec<'a, Box<'a, TSIndexSignatureName<'a>>>,
|
||||
pub type_annotation: Box<'a, TSTypeAnnotation<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSCallSignatureDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub params: Box<'a, FormalParameters<'a>>,
|
||||
pub return_type: Option<Box<'a, TSTypeAnnotation<'a>>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(rename_all = "lowercase"))]
|
||||
pub enum TSMethodSignatureKind {
|
||||
Method,
|
||||
Get,
|
||||
Set,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSMethodSignature<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub key: PropertyKey<'a>,
|
||||
pub computed: bool,
|
||||
pub optional: bool,
|
||||
pub kind: TSMethodSignatureKind,
|
||||
pub params: Box<'a, FormalParameters<'a>>,
|
||||
pub return_type: Option<Box<'a, TSTypeAnnotation<'a>>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSConstructSignatureDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub params: Box<'a, FormalParameters<'a>>,
|
||||
pub return_type: Option<Box<'a, TSTypeAnnotation<'a>>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSIndexSignatureName<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub name: Atom,
|
||||
pub type_annotation: Box<'a, TSTypeAnnotation<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSInterfaceHeritage<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: Expression<'a>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypePredicate<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub parameter_name: TSTypePredicateName,
|
||||
pub asserts: bool,
|
||||
pub type_annotation: Option<Box<'a, TSTypeAnnotation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSTypePredicateName {
|
||||
Identifier(IdentifierName),
|
||||
This(TSThisKeyword),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSModuleDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub id: TSModuleDeclarationName,
|
||||
pub body: TSModuleDeclarationBody<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged))]
|
||||
pub enum TSModuleDeclarationName {
|
||||
Identifier(IdentifierName),
|
||||
StringLiteral(StringLiteral),
|
||||
}
|
||||
|
||||
impl TSModuleDeclarationName {
|
||||
#[must_use]
|
||||
pub fn name(&self) -> &Atom {
|
||||
match self {
|
||||
Self::Identifier(ident) => &ident.name,
|
||||
Self::StringLiteral(lit) => &lit.value,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged))]
|
||||
pub enum TSModuleDeclarationBody<'a> {
|
||||
TSModuleDeclaration(Box<'a, TSModuleDeclaration<'a>>),
|
||||
TSModuleBlock(Box<'a, TSModuleBlock<'a>>),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSModuleBlock<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub body: Vec<'a, Statement<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeLiteral<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub members: Vec<'a, TSSignature<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSInferType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_parameter: Box<'a, TSTypeParameter<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTypeQuery<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expr_name: TSTypeName<'a>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSImportType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub is_type_of: bool,
|
||||
pub parameter: TSType<'a>,
|
||||
pub qualifier: Option<TSTypeName<'a>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSFunctionType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub params: Box<'a, FormalParameters<'a>>,
|
||||
pub return_type: Box<'a, TSTypeAnnotation<'a>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSConstructorType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub r#abstract: bool,
|
||||
pub params: Box<'a, FormalParameters<'a>>,
|
||||
pub return_type: Box<'a, TSTypeAnnotation<'a>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSMappedType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_parameter: Box<'a, TSTypeParameter<'a>>,
|
||||
pub name_type: Option<TSType<'a>>,
|
||||
pub type_annotation: TSType<'a>,
|
||||
pub optional: TSMappedTypeModifierOperator,
|
||||
pub readonly: TSMappedTypeModifierOperator,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSMappedTypeModifierOperator {
|
||||
True,
|
||||
#[cfg_attr(feature = "serde", serde(rename = "+"))]
|
||||
Plus,
|
||||
#[cfg_attr(feature = "serde", serde(rename = "-"))]
|
||||
Minus,
|
||||
None,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSTemplateLiteralType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub quasis: Vec<'a, TemplateElement>,
|
||||
pub types: Vec<'a, TSType<'a>>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSImportEqualsDeclaration<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub id: BindingIdentifier,
|
||||
pub module_reference: Box<'a, TSModuleReference<'a>>,
|
||||
pub is_export: bool,
|
||||
pub import_kind: ImportOrExportKind,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(untagged, rename_all = "camelCase"))]
|
||||
pub enum TSModuleReference<'a> {
|
||||
TypeName(TSTypeName<'a>),
|
||||
ExternalModuleReference(TSExternalModuleReference),
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSExternalModuleReference {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: StringLiteral,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct Decorator<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: Expression<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub enum ModifierKind {
|
||||
Abstract,
|
||||
Accessor,
|
||||
Async,
|
||||
Const,
|
||||
Declare,
|
||||
Default,
|
||||
Export,
|
||||
In,
|
||||
Public,
|
||||
Private,
|
||||
Protected,
|
||||
Readonly,
|
||||
Static,
|
||||
Out,
|
||||
Override,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct Modifier {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub kind: ModifierKind,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSExportAssignment<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: Expression<'a>,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct TSNamespaceExportDeclaration {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub id: IdentifierName,
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub enum ImportOrExportKind {
|
||||
|
|
@ -2681,22 +1909,6 @@ impl ImportOrExportKind {
|
|||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct JSDocNullableType<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub type_annotation: TSType<'a>,
|
||||
pub postfix: bool,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct JSDocUnknownType {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
}
|
||||
|
||||
/// JSX Element
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
|
|
@ -2717,7 +1929,6 @@ pub struct JSXOpeningElement<'a> {
|
|||
pub self_closing: bool,
|
||||
pub name: JSXElementName<'a>,
|
||||
pub attributes: Vec<'a, JSXAttributeItem<'a>>,
|
||||
pub type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
}
|
||||
|
||||
/// JSX Closing Element
|
||||
|
|
@ -3304,3 +2515,11 @@ impl fmt::Display for UpdateOperator {
|
|||
write!(f, "{operator}")
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Hash)]
|
||||
#[cfg_attr(feature = "serde", derive(Serialize), serde(tag = "type", rename_all = "camelCase"))]
|
||||
pub struct Decorator<'a> {
|
||||
#[cfg_attr(feature = "serde", serde(flatten))]
|
||||
pub span: Span,
|
||||
pub expression: Expression<'a>,
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1054,9 +1054,8 @@ impl<'a> HirBuilder<'a> {
|
|||
self_closing: bool,
|
||||
name: JSXElementName<'a>,
|
||||
attributes: Vec<'a, JSXAttributeItem<'a>>,
|
||||
type_parameters: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
|
||||
) -> Box<'a, JSXOpeningElement<'a>> {
|
||||
self.alloc(JSXOpeningElement { span, self_closing, name, attributes, type_parameters })
|
||||
self.alloc(JSXOpeningElement { span, self_closing, name, attributes })
|
||||
}
|
||||
|
||||
pub fn jsx_closing_element(
|
||||
|
|
@ -1148,23 +1147,6 @@ impl<'a> HirBuilder<'a> {
|
|||
JSXText { span, value }
|
||||
}
|
||||
|
||||
pub fn ts_import_equals_declaration(
|
||||
&mut self,
|
||||
span: Span,
|
||||
id: BindingIdentifier,
|
||||
module_reference: TSModuleReference<'a>,
|
||||
is_export: bool,
|
||||
import_kind: ImportOrExportKind,
|
||||
) -> Declaration<'a> {
|
||||
Declaration::TSImportEqualsDeclaration(self.alloc(TSImportEqualsDeclaration {
|
||||
span,
|
||||
id,
|
||||
module_reference: self.alloc(module_reference),
|
||||
is_export,
|
||||
import_kind,
|
||||
}))
|
||||
}
|
||||
|
||||
pub fn ts_enum_declaration(
|
||||
&mut self,
|
||||
span: Span,
|
||||
|
|
|
|||
Loading…
Reference in a new issue