Struct StateSyncLinter 

pub struct StateSyncLinter { /* private fields */ }

State synchronization linter

Detects anti-patterns that cause state desync in WASM closures.

Rules

Rule	Description	Severity
WASM-SS-001	Local Rc::new() in method with closure	Error
WASM-SS-002	Both self.field and local reference exist	Warning
WASM-SS-005	Missing self.*.clone() before closure	Warning
WASM-SS-006	Type alias for Rc<RefCell> used with ::new()	Warning
WASM-SS-007	Function returning Rc<RefCell> used in closure context	Warning

Implementations

impl StateSyncLinter

pub fn new() -> Self

Create a new linter

pub fn lint_file(&mut self, path: &Path) -> LintResult

Lint a single file

pub fn lint_source(&mut self, source: &str) -> LintResult

Lint source code directly (uses AST-based analysis by default)

This method first attempts AST-based analysis using syn, which is more accurate and handles edge cases like turbofish syntax. Falls back to text-based analysis if AST parsing fails.

pub fn lint_directory(&mut self, dir: &Path) -> LintResult

Lint all Rust files in a directory

Trait Implementations

impl Debug for StateSyncLinter

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

Formats the value using the given formatter.

impl Default for StateSyncLinter

fn default() -> Self

Returns the “default value” for a type.