Struct ChangeDetector 

pub struct ChangeDetector { /* private fields */ }

Detects changes to the compilation context.

Implementations

impl ChangeDetector

pub fn new() -> Self

Create a new change detector.

pub fn update(&mut self, ctx: &CompilerContext)

Update the snapshot from the current context.

pub fn detect_changes(&self, ctx: &CompilerContext) -> ChangeSet

Detect changes and return affected predicates and domains.

Trait Implementations

impl Clone for ChangeDetector

fn clone(&self) -> ChangeDetector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChangeDetector

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

Formats the value using the given formatter.

impl Default for ChangeDetector

fn default() -> Self

Returns the “default value” for a type.