pub enum Warning {
OperationUndefined = 0,
RuntimeError = 1,
AtomUndefined = 2,
FileIncluded = 3,
VariableUnbound = 4,
GlobalVariable = 5,
Other = 6,
}Expand description
Enumeration of warning codes.
Variants§
OperationUndefined = 0
Undefined arithmetic operation or weight of aggregate
RuntimeError = 1
To report multiple errors; a corresponding runtime error is raised later
AtomUndefined = 2
An undefined atom in program
FileIncluded = 3
The Same file included multiple times
VariableUnbound = 4
CSP variable with unbounded domain
GlobalVariable = 5
A global variable in tuple of aggregate element
Other = 6
Other kinds of warnings
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Warning
impl RefUnwindSafe for Warning
impl Send for Warning
impl Sync for Warning
impl Unpin for Warning
impl UnwindSafe for Warning
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more