pub trait IsDeclared<T> {
// Required method
fn is_declared(&self, obj: &T) -> bool;
}Expand description
Trait for checking if an object of type T has already been declared
Objects implementing this trait can be used during parsing to check if a location, variable or parameter is known. This is useful to validate parsed expressions, e.g., LTL expressions or update expressions, to ensure that expressions only reference known locations, variables and parameters.
Required Methods§
Sourcefn is_declared(&self, obj: &T) -> bool
fn is_declared(&self, obj: &T) -> bool
Check if object of type T is declared
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".