Modules§
Macros§
- Expect any number of token kind patterns, return on no match with error diagnostic based on expected kinds
- indents the provided block and de-indents at the end.
- Expect any number of token kind patterns, return on no match with error diagnostic based on expected kinds
- Expect any number of token kind patterns, return on no match with error diagnostic based on expected kinds
Structs§
- A named entity as defined in LRM 6.1.
- An object or an interface object, example signal, variable, constant Is either an object (mode = None) or an interface object (mode = Some)
- A lexical position (line, column) in a source.
- A lexical range in a source.
- Encode an optional entity id using 8 bytes instead of 16 bytes
- The
SeverityMap
maps error codes to severities. - A thread-safe reference to a source file. Multiple objects of this type can refer to the same source.
- A lexical range within a specific source file.
- A Token
- A TokenId represents a unique value that is used to access a token. A token ID cannot be created directly by the user. Instead, the value must be taken from the AST.
- Holds token information about an AST element. Since the different pieces may be gathered in different locations, the fields are gated behind accessor functions which also check some invariants every time they are called.
- The formatter is the main entry point used for formatting a single Design Unit from AST representation to string representation. In that sense, the Formatter is the inverse to the Parser.
Enums§
- The kind of AnyEnt. This contains relevant information obtained during analysis.
Traits§
- This trait is implemented for Ast-nodes which declare named entities
- AST elements for which it is necessary to get the underlying tokens can implement the
HasTokenSpan
trait. The trait provides getters for the start and end token. - A type that conforms to
TokenAccess
can be indexed using aTokenId
. Convenience methods exist to directly get theSrcPos
for a givenTokenId
or a span starting at a certain token and ending at another.
Functions§
- Main entry point for completion. Given a source-file and a cursor position, lists available completion options at the cursor position.