Struct Input 

pub struct Input<'a> { /* private fields */ }

A struct representing the input code being lexed.

The Input struct provides methods to read, peek, consume, and skip characters from the bytes input code while keeping track of the current position (line, column, offset).

Implementations

impl<'a> Input<'a>

pub fn new(file_id: FileId, bytes: &'a [u8]) -> Self

Creates a new Input instance from the given input.

Arguments

• file_id - The unique identifier for the source file this input belongs to.
• bytes - A byte slice representing the input code to be lexed.

Returns

A new Input instance initialized at the beginning of the input.

pub fn from_file(file: &'a File) -> Self

Creates a new Input instance from the contents of a File.

Arguments

• file - A reference to the File containing the source code.

Returns

A new Input instance initialized with the file’s ID and contents.

pub fn from_file_in(arena: &'a Bump, file: &File) -> Self

Creates a new Input instance from the contents of a File.

Arguments

• file - A reference to the File containing the source code.

Returns

A new Input instance initialized with the file’s ID and contents.

pub fn anchored_at( file_id: FileId, bytes: &'a [u8], anchor_position: Position, ) -> Self

Creates a new Input instance representing a byte slice that is “anchored” at a specific absolute position within a larger source file.

This is useful when lexing a subset (slice) of a source file, as it allows generated tokens to retain accurate absolute positions and spans relative to the original file.

The internal cursor (offset) starts at 0 relative to the bytes slice, but the absolute position is calculated relative to the anchor_position.

Arguments

• file_id - The unique identifier for the source file this input belongs to.
• bytes - A byte slice representing the input code subset to be lexed.
• anchor_position - The absolute Position in the original source file where the provided bytes slice begins.

Returns

A new Input instance ready to lex the bytes, maintaining positions relative to anchor_position.

pub const fn file_id(&self) -> FileId

Returns the source file identifier of the input code.

pub const fn current_position(&self) -> Position

Returns the absolute current Position of the lexer within the original source file.

It calculates this by adding the internal offset (progress within the current byte slice) to the starting_position the Input was initialized with.

pub const fn current_offset(&self) -> usize

Returns the current internal byte offset relative to the start of the input slice.

This indicates how many bytes have been consumed from the current bytes slice. To get the absolute position in the original source file, use current_position().

pub const fn is_empty(&self) -> bool

Returns true if the input slice is empty (length is zero).

pub const fn len(&self) -> usize

Returns the total length in bytes of the input slice being processed.

pub const fn has_reached_eof(&self) -> bool

Checks if the current position is at the end of the input.

Returns

true if the current offset is greater than or equal to the input length; false otherwise.

pub fn slice_in_range(&self, from: u32, to: u32) -> &'a [u8]

Returns a byte slice within a specified absolute range.

The from and to arguments are absolute byte offsets from the beginning of the original source file. The method calculates the correct slice relative to the starting_position of this Input.

This is useful for retrieving the raw text of a Span or Token whose positions are absolute, even when the Input only contains a subsection of the source file.

The returned slice is defensively clamped to the bounds of the current Input’s byte slice to prevent panics.

Arguments

• from - The absolute starting byte offset.
• to - The absolute ending byte offset (exclusive).

Returns

A byte slice &[u8] corresponding to the requested range.

pub fn next(&mut self)

Advances the current position by one character, updating line and column numbers.

Handles different line endings (\n, \r, \r\n) and updates line and column counters accordingly.

If the end of input is reached, no action is taken.

pub fn skip(&mut self, count: usize)

Skips the next count characters, advancing the position accordingly.

Updates line and column numbers as it advances.

Arguments

• count - The number of characters to skip.

pub fn consume(&mut self, count: usize) -> &'a [u8]

Consumes the next count characters and returns them as a slice.

Advances the position by count characters.

Arguments

• count - The number of characters to consume.

Returns

A byte slice containing the consumed characters.

pub fn consume_remaining(&mut self) -> &'a [u8]

Consumes all remaining characters from the current position to the end of input.

Advances the position to EOF.

Returns

A byte slice containing the remaining characters.

pub fn consume_until( &mut self, search: &[u8], ignore_ascii_case: bool, ) -> &'a [u8]

Consumes characters until the given byte slice is found.

Advances the position to the start of the search slice if found, or to EOF if not found.

Arguments

• search - The byte slice to search for.
• ignore_ascii_case - Whether to ignore ASCII case when comparing characters.

Returns

A byte slice containing the consumed characters.

pub fn consume_through(&mut self, search: u8) -> &'a [u8]

pub fn consume_whitespaces(&mut self) -> &'a [u8]

Consumes whitespaces until a non-whitespace character is found.

Returns

A byte slice containing the consumed whitespaces.

pub fn read(&self, n: usize) -> &'a [u8]

Reads the next n characters without advancing the position.

Arguments

• n - The number of characters to read.

Returns

A byte slice containing the next n characters.

pub fn read_at(&self, at: usize) -> &'a u8

Reads a single byte at a specific byte offset within the input slice, without advancing the internal cursor.

This provides direct, low-level access to the underlying byte data.

Arguments

• at - The zero-based byte offset within the input slice (self.bytes) from which to read the byte.

Returns

A reference to the byte located at the specified offset at.

Panics

This method panics if the provided at offset is out of bounds for the input byte slice (i.e., if at >= self.bytes.len()).

pub fn is_at(&self, search: &[u8], ignore_ascii_case: bool) -> bool

Checks if the input at the current position matches the given byte slice.

Arguments

• search - The byte slice to compare against the input.
• ignore_ascii_case - Whether to ignore ASCII case when comparing.

Returns

true if the next bytes match search; false otherwise.

pub const fn match_sequence_ignore_whitespace( &self, search: &[u8], ignore_ascii_case: bool, ) -> Option<usize>

Attempts to match the given byte sequence at the current position, ignoring whitespace in the input.

This method tries to match the provided byte slice search against the input starting from the current position, possibly ignoring ASCII case. Whitespace characters in the input are skipped during matching, but their length is included in the returned length.

Importantly, the method does not include any trailing whitespace after the matched sequence in the returned length.

For example, to match the sequence (string), the input could be (string), ( string ), ( string ), etc., and this method would return the total length of the input consumed to match (string), including any whitespace within the matched sequence, but excluding any whitespace after it.

Arguments

• search - The byte slice to match against the input.
• ignore_ascii_case - If true, ASCII case is ignored during comparison.

Returns

• Some(length) - If the input matches search (ignoring whitespace within the sequence), returns the total length of the input consumed to match search, including any skipped whitespace within the matched sequence.
• None - If the input does not match search.

pub fn peek(&self, offset: usize, n: usize) -> &'a [u8]

Peeks ahead i characters and reads the next n characters without advancing the position.

Arguments

• offset - The number of characters to skip before reading.
• n - The number of characters to read after skipping.

Returns

A byte slice containing the peeked characters.

Trait Implementations

impl<'a> Clone for Input<'a>

fn clone(&self) -> Input<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for Input<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HasFileId for Input<'_>

fn file_id(&self) -> FileId

Returns the unique identifier of the file.

impl<'a> Hash for Input<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a> Ord for Input<'a>

fn cmp(&self, other: &Input<'a>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'a> PartialEq for Input<'a>

fn eq(&self, other: &Input<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> PartialOrd for Input<'a>

fn partial_cmp(&self, other: &Input<'a>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a> Copy for Input<'a>

impl<'a> Eq for Input<'a>

impl<'a> StructuralPartialEq for Input<'a>