Expand description
AST node definitions for wirespec.
These correspond to the canonical AST schema defined in AST_SCHEMA_SPEC.md.
The AST is syntax-oriented: it preserves source structure, declaration order,
and field order. It does NOT perform name resolution, type checking, or any
semantic analysis.
Structs§
- AstAnnotation
- AstAssignment
- AstCapsule
Decl - AstConst
Decl - AstContinuation
VarInt Decl - AstDelegate
Clause - AstDerived
Field - AstEnum
Decl - AstEnum
Member - AstEvent
Decl - AstEvent
Param - AstExtern
Asn1 - AstField
Def - AstFlags
Decl - AstFrame
Branch - AstFrame
Decl - AstImport
- AstMatch
Branch - AstModule
- Root of a parsed
.wspecfile. - AstModule
Decl - AstPacket
Decl - AstRequire
Clause - AstState
Decl - AstState
Field Def - AstState
Machine Decl - AstStatic
Assert Decl - AstTransition
Decl - AstType
Decl
Enums§
- Asn1
Length - AstAnnotation
Arg - AstArray
Count - AstBytes
Kind - AstExpr
- AstField
Item - AstLiteral
Value - AstPattern
- AstPayload
TagSelector - AstTop
Item - AstType
Decl Body - AstType
Expr - AstVerify
Decl - AstVerify
Formula - A verify formula — simplified temporal logic expression
- BinOp
- UnaryOp