Struct RulesFile 

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

A parsed lean-ctx rules section from a file on disk.

Handles version detection, content boundary discovery, and prefix/suffix extraction. This is the only place that parses rule markers.

Implementations

impl<'a> RulesFile<'a>

pub fn parse(content: &'a str) -> Self

Parse content, scanning for START_MARK and version comment.

pub fn has_content(&self) -> bool

Whether the file carries any lean-ctx rules content.

pub fn version(&self) -> usize

The detected version (0 if no version marker).

pub fn is_current(&self) -> bool

Whether the file’s version is at least RULES_VERSION.

pub fn prefix(&self) -> &'a str

Content before the first START_MARK.

pub fn suffix(&self) -> &'a str

Content after the last END_MARK.

pub fn block_matches_render( &self, shadow: bool, wrapper: Wrapper, level: CompressionLevel, tool_profile: &ToolProfile, ) -> bool

Whether the on-disk block matches a fresh render.

pub fn merged( &self, shadow: bool, wrapper: Wrapper, level: CompressionLevel, tool_profile: &ToolProfile, ) -> String

Merge freshly-rendered rules into this file.

pub fn initial( shadow: bool, wrapper: Wrapper, level: CompressionLevel, tool_profile: &ToolProfile, ) -> String

Create initial rules content.

pub fn without_section(&self) -> String

Strip the lean-ctx section, keeping user content before/after.

Trait Implementations

impl<'a> Debug for RulesFile<'a>

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

Formats the value using the given formatter.