Trait evmil::util::Concretizable

source ·
pub trait Concretizable {
    type Item;

    fn is_constant(&self) -> bool;
    fn constant(&self) -> Self::Item;
}
Expand description

A trait which allows (when possible) an abstract value to be extracted into a concrete value. This makes sense only when that abstract value represents a single concrete value.

Required Associated Types§

Required Methods§

Determine whether this abstract value is a constant or not.

Extract constant value.

Implementors§