Module miden_core::debuginfo
source · Structs§
- An index representing the offset in bytes from the start of a source file
- An offset in bytes relative to some ByteIndex
- A zero-indexed column number
- A FileLineCol represents traditional file/line/column information for use in rendering.
- A zero-indexed line number
- A Location represents file and span information for portability across source managers
- Represents key information about a source file and its content:
- A SourceFile represents a single file stored in a super::SourceManager
- A reference to a specific spanned region of a SourceFile, that provides access to the actual SourceFile, but scoped to the span it was created with.
- A SourceId represents the index/identifier associated with a unique source file in a SourceManager implementation.
- This represents a span of bytes in a Miden Assembly source file.
- This type is used to wrap any
Twith a SourceSpan, and is typically used when it is not convenient to add a SourceSpan to the type - most commonly because we don’t control the type.
Traits§
- This trait should be implemented for any type that has an associated SourceSpan.