Skip to main content

Crate macho_header_syntax

Crate macho_header_syntax 

Source
Expand description

Process-free parsing, validation, and rendering for recovered headers.

The crate owns only the non-serialized syntax model. Stable report identifiers and JSON projections belong to macho-analysis.

Structs§

Base
A record base.
Field
A record field.
FunctionQualifiers
C++ function qualifiers.
HeaderValidationDiagnostic
One semantic validation diagnostic.
HeaderValidationReport
Complete syntax and semantic validation result.
Identifier
A validated source-language identifier.
IdentifierPath
A non-empty qualified identifier path.
ObjectiveCIvar
Objective-C instance-variable declaration.
ObjectiveCMethod
Objective-C method declaration.
ObjectiveCProperty
Objective-C property declaration.
Parameter
A named function parameter.
SourceSpan
A source span reported by the parser.
TranslationUnit
A parsed header translation unit.
TreeSitterHeaderParser
Tree-sitter implementation of HeaderParser.
TypeQualifiers
C/C++ type qualifiers.
ValidationLimits
Hard resource bounds for recursive validation.

Enums§

Access
Member access.
BuiltinType
Built-in C-family scalar types.
CallingConvention
Function calling convention.
Decl
A top-level typed declaration.
HeaderValidationCode
Stable semantic validation diagnostic code.
Language
The source language used to parse or render a header.
Linkage
Language linkage attached to a declaration.
MethodKind
Objective-C method kind.
NamedTypeTag
The namespace used to resolve a named type.
ObjectiveCAccess
Objective-C ivar visibility.
ObjectiveCForwardKind
Objective-C forward-declaration kind.
ObjectiveCPropertyAttribute
Objective-C property attribute supported by the deterministic renderer.
ParameterState
Whether a function’s parameter list is known.
ParseError
Header parsing failure.
RecordKind
Record declaration kind.
ReferenceKind
C++ reference kind.
RenderError
Rendering failure for a semantically incompatible AST.
Severity
Diagnostic severity.
StorageClass
Storage-class specifier.
TemplateArgument
A template argument.
Type
A fully typed header type.
ValidationError
Typed validation limit failure.

Traits§

HeaderParser
Process-free parser for C-family headers.

Functions§

render
Renders a complete translation unit deterministically.
validate
Validates a parsed translation unit under the normative resource bounds.