ast_package_overview.md•19.1 kB
# std.ast
## 功能介绍
ast 包主要包含了仓颉源码的语法解析器和仓颉语法树节点,提供语法解析函数。可将仓颉源码的词法单元([Tokens](./ast_package_api/ast_package_classes.md#class-tokens))解析为抽象语法树(Abstract Syntax Tree)节点对象。
仓颉 ast 包提供了 `Macro With Context` 的相关函数,用于在宏展开时获取展开过程中的上下文相关信息。在嵌套宏场景下,内层宏可以调用库函数 [assertParentContext(String)](./ast_package_api/ast_package_funcs.md#func-assertparentcontextstring) 来保证内层宏调用一定嵌套在特定的外层宏调用中。如果内层宏调用这个函数时没有嵌套在给定的外层宏调用中,该函数将抛出一个错误。同时,函数 [insideParentContext(String)](./ast_package_api/ast_package_funcs.md#func-insideparentcontextstring) 也用于检查内层宏调用是否嵌套在特定的外层宏调用中,但是返回一个布尔值。`Macro With Context` 的相关函数只能作为函数被直接调用,不能赋值给变量,不能作为实参或返回值使用。
`Macro With Context` 相关函数如下:
- [assertParentContext(String)](./ast_package_api/ast_package_funcs.md#func-assertparentcontextstring)
- [getChildMessages(String)](./ast_package_api/ast_package_funcs.md#func-getchildmessagesstring)
- [insideParentContext(String)](./ast_package_api/ast_package_funcs.md#func-insideparentcontextstring)
- [setItem(String, Bool)](./ast_package_api/ast_package_funcs.md#func-setitemstring-bool)
- [setItem(String, Int64)](./ast_package_api/ast_package_funcs.md#func-setitemstring-int64)
- [setItem(String, String)](./ast_package_api/ast_package_funcs.md#func-setitemstring-string)
- [setItem(String, Tokens)](./ast_package_api/ast_package_funcs.md#func-setitemstring-tokens)
## API 列表
### 函数
| 函数名 | 功能 |
| --------------------------- | ------------------------ |
| [assertParentContext(String)](./ast_package_api/ast_package_funcs.md#func-assertparentcontextstring) | 检查当前宏调用是否在特定的宏调用内。若检查不符合预期,编译器出现一个错误提示。 |
| [cangjieLex(String)](./ast_package_api/ast_package_funcs.md#func-cangjielexstring) | 将字符串转换为 `Tokens` 类型。 |
| [cangjieLex(String, Bool)](./ast_package_api/ast_package_funcs.md#func-cangjielexstring-bool) | 将字符串转换为 `Tokens` 类型。 |
| [compareTokens(Tokens, Tokens)](./ast_package_api/ast_package_funcs.md#func-comparetokenstokens-tokens) | 用于比较两个 `Tokens` 是否一致。 |
| [diagReport(DiagReportLevel, Tokens, String, String)](./ast_package_api/ast_package_funcs.md#func-diagreportdiagreportlevel-tokens-string-string) | 报错接口,在编译过程的宏展开阶段输出错误提示信息,支持 `WARNING` 和 `ERROR` 两个等级的报错。 |
| [getChildMessages(String)](./ast_package_api/ast_package_funcs.md#func-getchildmessagesstring) | 获取特定内层宏发送的信息。 |
| [getTokenKind(UInt16)](./ast_package_api/ast_package_funcs.md#func-gettokenkinduint16) | 将词法单元种类序号转化为 `TokenKind`。 |
| [insideParentContext(String)](./ast_package_api/ast_package_funcs.md#func-insideparentcontextstring) | 检查当前宏调用是否在特定的宏调用内,返回一个布尔值。 |
| [parseDecl(Tokens, String)](./ast_package_api/ast_package_funcs.md#func-parsedecltokens-string) | 用于解析一组词法单元,获取一个 `Decl` 类型的节点。 |
| [parseDeclFragment(Tokens, Int64)](./ast_package_api/ast_package_funcs.md#func-parsedeclfragmenttokens-int64) | 用于解析一组词法单元,获取一个 `Decl` 类型的节点和继续解析节点的索引。 |
| [parseExpr(Tokens)](./ast_package_api/ast_package_funcs.md#func-parseexprtokens) | 用于解析一组词法单元,获取一个 `Expr` 类型的节点。 |
| [parseExprFragment(Tokens, Int64)](./ast_package_api/ast_package_funcs.md#func-parseexprfragmenttokens-int64) | 用于解析一组词法单元,获取一个 `Expr` 类型的节点和继续解析节点的索引。 |
| [parsePattern(Tokens)](./ast_package_api/ast_package_funcs.md#func-parsepatterntokens) | 用于解析一组词法单元,获取一个 `Pattern` 类型的节点。 |
| [parsePatternFragment(Tokens, Int64)](./ast_package_api/ast_package_funcs.md#func-parsepatternfragmenttokens-int64) | 用于解析一组词法单元,获取一个 `Pattern` 类型的节点和继续解析节点的索引。 |
| [parseProgram(Tokens)](./ast_package_api/ast_package_funcs.md#func-parseprogramtokens) | 用于解析单个仓颉文件的源码,获取一个 `Program` 类型的节点。 |
| [parseType(Tokens)](./ast_package_api/ast_package_funcs.md#func-parsetypetokens) | 用于解析一组词法单元,获取一个 `TypeNode` 类型的节点。 |
| [parseTypeFragment(Tokens, Int64)](./ast_package_api/ast_package_funcs.md#func-parsetypefragmenttokens-int64) | 用于解析一组词法单元,获取一个 `TypeNode` 类型的节点和继续解析节点的索引。 |
| [setItem(String, Bool)](./ast_package_api/ast_package_funcs.md#func-setitemstring-bool) | 内层宏通过该接口发送 `Bool` 类型的信息到外层宏。 |
| [setItem(String, Int64)](./ast_package_api/ast_package_funcs.md#func-setitemstring-int64) | 内层宏通过该接口发送 `Int64` 类型的信息到外层宏。 |
| [setItem(String, String)](./ast_package_api/ast_package_funcs.md#func-setitemstring-string) | 内层宏通过该接口发送 `String` 类型的信息到外层宏。 |
| [setItem(String, Tokens)](./ast_package_api/ast_package_funcs.md#func-setitemstring-tokens) | 内层宏通过该接口发送 `Tokens` 类型的信息到外层宏。 |
### 接口
| 接口名 | 功能 |
| --------------------------------- | ---------------------------------- |
| [ToBytes](./ast_package_api/ast_package_interfaces.md#interface-tobytes) | 提供对应类型的序列化功能。 |
| [ToTokens](./ast_package_api/ast_package_interfaces.md#interface-totokens) | 实现对应类型的实例到 `Tokens` 类型转换的接口,作为支持 quote 插值操作必须实现的接口。 |
### 类
| 类名 | 功能 |
| --------------------------------- | ---------------------------------- |
| [Annotation](./ast_package_api/ast_package_classes.md#class-annotation) | 表示编译器内置的注解节点。 |
| [Argument](./ast_package_api/ast_package_classes.md#class-argument) | 表示函数调用的实参节点。 |
| [ArrayLiteral](./ast_package_api/ast_package_classes.md#class-arrayliteral) | 表示 `Array` 字面量节点。 |
| [AsExpr](./ast_package_api/ast_package_classes.md#class-asexpr) | 表示一个类型检查表达式。 |
| [AssignExpr](./ast_package_api/ast_package_classes.md#class-assignexpr) | 表示赋值表达式节点。 |
| [BinaryExpr](./ast_package_api/ast_package_classes.md#class-binaryexpr) | 表示一个二元操作表达式节点。 |
| [Block](./ast_package_api/ast_package_classes.md#class-block) | 表示块节点。 |
| [Body](./ast_package_api/ast_package_classes.md#class-body) | 表示 Class 类型、 Struct 类型、 Interface 类型以及扩展中由 `{}` 和内部的一组声明节点组成的结构。 |
| [CallExpr](./ast_package_api/ast_package_classes.md#class-callexpr) | 表示函数调用节点节点。 |
| [ClassDecl](./ast_package_api/ast_package_classes.md#class-classdecl) | 类定义节点。 |
| [ConstPattern](./ast_package_api/ast_package_classes.md#class-constpattern) | 表示常量模式节点。 |
| [Constructor](./ast_package_api/ast_package_classes.md#class-constructor) | 表示 `enum` 类型中的 `Constructor` 节点。 |
| [Decl](./ast_package_api/ast_package_classes.md#class-decl) | 所有声明节点的父类,继承自 `Node` 节点,提供了所有声明节点的通用接口。 |
| [DoWhileExpr](./ast_package_api/ast_package_classes.md#class-dowhileexpr) | 表示 `do-while` 表达式。 |
| [EnumDecl](./ast_package_api/ast_package_classes.md#class-enumdecl) | 表示一个 `Enum` 定义节点。 |
| [EnumPattern](./ast_package_api/ast_package_classes.md#class-enumpattern) | 表示 enum 模式节点。 |
| [ExceptTypePattern](./ast_package_api/ast_package_classes.md#class-excepttypepattern) | 表示一个用于异常模式状态下的节点。 |
| [Expr](./ast_package_api/ast_package_classes.md#class-expr) | 所有表达式节点的父类,继承自 `Node` 节点。 |
| [ExtendDecl](./ast_package_api/ast_package_classes.md#class-extenddecl) | 表示一个扩展定义节点。 |
| [ForInExpr](./ast_package_api/ast_package_classes.md#class-forinexpr) | 表示 `for-in` 表达式。 |
| [FuncDecl](./ast_package_api/ast_package_classes.md#class-funcdecl) | 表示一个函数定义节点。 |
| [FuncParam](./ast_package_api/ast_package_classes.md#class-funcparam) | 表示函数参数节点,包括非命名参数和命名参数。 |
| [FuncType](./ast_package_api/ast_package_classes.md#class-functype) | 表示函数类型节点。 |
| [GenericConstraint](./ast_package_api/ast_package_classes.md#class-genericconstraint) | 表示一个泛型约束节点。 |
| [GenericParam](./ast_package_api/ast_package_classes.md#class-genericparam) | 表示一个类型形参节点。 |
| [IfExpr](./ast_package_api/ast_package_classes.md#class-ifexpr) | 表示条件表达式。 |
| [ImportContent](./ast_package_api/ast_package_classes.md#class-importcontent) | 表示包导入节点中的导入项。 |
| [ImportList](./ast_package_api/ast_package_classes.md#class-importlist) | 表示包导入节点。 |
| [IncOrDecExpr](./ast_package_api/ast_package_classes.md#class-incordecexpr) | 表示包含自增操作符(`++`)或自减操作符(`--`)的表达式。 |
| [InterfaceDecl](./ast_package_api/ast_package_classes.md#class-interfacedecl) | 表示接口定义节点。 |
| [IsExpr](./ast_package_api/ast_package_classes.md#class-isexpr) | 表示一个类型检查表达式。 |
| [JumpExpr](./ast_package_api/ast_package_classes.md#class-jumpexpr) | 表示循环表达式的循环体中的 `break` 和 `continue`。 |
| [LambdaExpr](./ast_package_api/ast_package_classes.md#class-lambdaexpr) | 表示 `Lambda` 表达式,是一个匿名的函数。 |
| [LetPatternExpr](./ast_package_api/ast_package_classes.md#class-letpatternexpr) | 表示 `let` 声明的解构匹配节点。 |
| [LitConstExpr](./ast_package_api/ast_package_classes.md#class-litconstexpr) | 表示一个常量表达式节点。 |
| [MacroDecl](./ast_package_api/ast_package_classes.md#class-macrodecl) | 表示一个宏定义节点。 |
| [MacroExpandDecl](./ast_package_api/ast_package_classes.md#class-macroexpanddecl) | 表示宏调用节点。 |
| [MacroExpandExpr](./ast_package_api/ast_package_classes.md#class-macroexpandexpr) | 表示宏调用节点。 |
| [MacroExpandParam](./ast_package_api/ast_package_classes.md#class-macroexpandparam) | 表示宏调用节点。 |
| [MacroMessage](./ast_package_api/ast_package_classes.md#class-macromessage) | 记录内层宏发送的信息。 |
| [MainDecl](./ast_package_api/ast_package_classes.md#class-maindecl) | 表示一个 `main` 函数定义节点。 |
| [MatchCase](./ast_package_api/ast_package_classes.md#class-matchcase) | 表示 `match` 表达式中的一个 `case` 节点。 |
| [MatchExpr](./ast_package_api/ast_package_classes.md#class-matchexpr) | 表示模式匹配表达式实现模式匹配。 |
| [MemberAccess](./ast_package_api/ast_package_classes.md#class-memberaccess) | 表示成员访问表达式。 |
| [Modifier](./ast_package_api/ast_package_classes.md#class-modifier) | 表示该定义具备某些特性,通常放在定义处的最前端。 |
| [Node](./ast_package_api/ast_package_classes.md#class-node) | 所有仓颉语法树节点的父类。 |
| [OptionalExpr](./ast_package_api/ast_package_classes.md#class-optionalexpr) | 表示一个带有问号操作符的表达式节点。 |
| [PackageHeader](./ast_package_api/ast_package_classes.md#class-packageheader) | 表示包声明节点。 |
| [ParenExpr](./ast_package_api/ast_package_classes.md#class-parenexpr) | 表示一个括号表达式节点,是指使用圆括号括起来的表达式。 |
| [ParenType](./ast_package_api/ast_package_classes.md#class-parentype) | 表示括号类型节点。 |
| [Pattern](./ast_package_api/ast_package_classes.md#class-pattern) | 所有模式匹配节点的父类,继承自 `Node` 节点。 |
| [PrefixType](./ast_package_api/ast_package_classes.md#class-prefixtype) | 表示带问号的前缀类型节点。 |
| [PrimaryCtorDecl](./ast_package_api/ast_package_classes.md#class-primaryctordecl) | 表示一个主构造函数节点。 |
| [PrimitiveType](./ast_package_api/ast_package_classes.md#class-primitivetype) | 表示一个基本类型节点。 |
| [PrimitiveTypeExpr](./ast_package_api/ast_package_classes.md#class-primitivetypeexpr) | 表示基本类型表达式节点。 |
| [Program](./ast_package_api/ast_package_classes.md#class-program) | 表示一个仓颉源码文件节点。 |
| [PropDecl](./ast_package_api/ast_package_classes.md#class-propdecl) | 表示一个属性定义节点。 |
| [QualifiedType](./ast_package_api/ast_package_classes.md#class-qualifiedtype) | 表示一个用户自定义成员类型。 |
| [QuoteExpr](./ast_package_api/ast_package_classes.md#class-quoteexpr) | 表示 `quote` 表达式节点。 |
| [QuoteToken](./ast_package_api/ast_package_classes.md#class-quotetoken) | 表示 `quote` 表达式节点内任意合法的 `token`。 |
| [RangeExpr](./ast_package_api/ast_package_classes.md#class-rangeexpr) | 表示包含区间操作符的表达式。 |
| [RefExpr](./ast_package_api/ast_package_classes.md#class-refexpr) | 表示一个使用自定义类型节点相关的表达式节点。 |
| [RefType](./ast_package_api/ast_package_classes.md#class-reftype) | 表示一个用户自定义类型节点。 |
| [ReturnExpr](./ast_package_api/ast_package_classes.md#class-returnexpr) | 表示 `return` 表达式节点。 |
| [SpawnExpr](./ast_package_api/ast_package_classes.md#class-spawnexpr) | 表示 `Spawn` 表达式。 |
| [StructDecl](./ast_package_api/ast_package_classes.md#class-structdecl) | 表示一个 `Struct` 节点。 |
| [SubscriptExpr](./ast_package_api/ast_package_classes.md#class-subscriptexpr) | 表示索引访问表达式。 |
| [SynchronizedExpr](./ast_package_api/ast_package_classes.md#class-synchronizedexpr) | 表示 `synchronized` 表达式。 |
| [ThisType](./ast_package_api/ast_package_classes.md#class-thistype) | 表示 `This` 类型节点。 |
| [ThrowExpr](./ast_package_api/ast_package_classes.md#class-throwexpr) | 表示 `throw` 表达式节点。 |
| [Tokens](./ast_package_api/ast_package_classes.md#class-tokens) | 对 `Token` 序列进行封装的类型。 |
| [TokensIterator](./ast_package_api/ast_package_classes.md#class-tokensiterator) | 实现 `Tokens` 的迭代器功能。 |
| [TrailingClosureExpr](./ast_package_api/ast_package_classes.md#class-trailingclosureexpr) | 表示尾随 `Lambda` 节点。 |
| [TryExpr](./ast_package_api/ast_package_classes.md#class-tryexpr) | 表示 `try` 表达式节点。 |
| [TupleLiteral](./ast_package_api/ast_package_classes.md#class-tupleliteral) | 表示元组字面量节点。 |
| [TuplePattern](./ast_package_api/ast_package_classes.md#class-tuplepattern) | 表示 Tuple 模式节点。 |
| [TupleType](./ast_package_api/ast_package_classes.md#class-tupletype) | 表示元组类型节点。 |
| [TypeAliasDecl](./ast_package_api/ast_package_classes.md#class-typealiasdecl) | 表示类型别名节点。 |
| [TypeConvExpr](./ast_package_api/ast_package_classes.md#class-typeconvexpr) | 表示类型转换表达式。 |
| [TypeNode](./ast_package_api/ast_package_classes.md#class-typenode) | 所有类型节点的父类,继承自 `Node`。 |
| [TypePattern](./ast_package_api/ast_package_classes.md#class-typepattern) | 表示类型模式节点。 |
| [UnaryExpr](./ast_package_api/ast_package_classes.md#class-unaryexpr) | 表示一个一元操作表达式节点。 |
| [VArrayExpr](./ast_package_api/ast_package_classes.md#class-varrayexpr) | 表示 `VArray` 的实例节点。 |
| [VArrayType](./ast_package_api/ast_package_classes.md#class-varraytype) | 表示 `VArray` 类型节点。 |
| [VarDecl](./ast_package_api/ast_package_classes.md#class-vardecl) | 表示变量定义节点。 |
| [VarOrEnumPattern](./ast_package_api/ast_package_classes.md#class-varorenumpattern) | 表示当模式的标识符为 `Enum` 构造器时的节点。 |
| [VarPattern](./ast_package_api/ast_package_classes.md#class-varpattern) | 表示绑定模式节点。 |
| [Visitor](./ast_package_api/ast_package_classes.md#class-visitor) | 一个抽象类,其内部默认定义了访问不同类型 AST 节点访问(`visit`)函数。 |
| [WhileExpr](./ast_package_api/ast_package_classes.md#class-whileexpr) | 表示 `while` 表达式。 |
| [WildcardExpr](./ast_package_api/ast_package_classes.md#class-wildcardexpr) | 表示通配符表达式节点。 |
| [WildcardPattern](./ast_package_api/ast_package_classes.md#class-wildcardpattern) | 表示通配符模式节点。 |
### 枚举
| 枚举名 | 功能 |
| --------------------------------- | ---------------------------------- |
| [DiagReportLevel](./ast_package_api/ast_package_enums.md#enum-diagreportlevel) | 表示报错接口的信息等级,支持 `ERROR` 和 `WARNING` 两种格式。|
| [ImportKind](./ast_package_api/ast_package_enums.md#enum-importkind) | 表示导入语句的类型,包括单导入、别名导入、全导入和多导入四种类型。|
| [TokenKind](./ast_package_api/ast_package_enums.md#enum-tokenkind) | 表示仓颉编译内部所有的词法结构,包括符号、关键字、标识符、换行等。|
### 结构体
| 结构体名 | 功能 |
| --------------------------------- | ---------------------------------- |
| [Position](./ast_package_api/ast_package_structs.md#struct-position) | 表示位置信息的数据结构,包含文件ID,行号和列号。|
| [Token](./ast_package_api/ast_package_structs.md#struct-token) | 词法单元类型。|
### 异常类
| 异常类名 | 功能 |
| --------------------------------- | ---------------------------------- |
| [ASTException](./ast_package_api/ast_package_exceptions.md#class-astexception) | ast 库的异常类,在 ast 库调用过程中发生异常时使用。 |
| [MacroContextException](./ast_package_api/ast_package_exceptions.md#class-macrocontextexception) | ast 库的上下文宏异常类,在上下文宏的相关接口中发生异常时使用。 |
| [ParseASTException](./ast_package_api/ast_package_exceptions.md#class-parseastexception) | ast 库的解析异常类,在节点解析过程中发生异常时使用。 |