Enum StmtResult 

pub enum StmtResult {
    NonFactualStmtSuccess(NonFactualStmtSuccess),
    FactualStmtSuccess(FactualStmtSuccess),
    StmtUnknown(StmtUnknown),
}

Variants

NonFactualStmtSuccess(NonFactualStmtSuccess)

FactualStmtSuccess(FactualStmtSuccess)

StmtUnknown(StmtUnknown)

Implementations

impl StmtResult

pub fn with_infers(self, infer_result: InferResult) -> Self

impl StmtResult

pub fn body_string(&self) -> String

Returns the result body string without any line/file prefix (for tests or when location is not needed).

impl StmtResult

pub fn line_file(&self) -> LineFile

impl StmtResult

pub fn is_true(&self) -> bool

pub fn is_unknown(&self) -> bool

Trait Implementations

impl Debug for StmtResult

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

Formats the value using the given formatter.

impl From<FactualStmtSuccess> for StmtResult

fn from(v: FactualStmtSuccess) -> Self

Converts to this type from the input type.

impl From<NonFactualStmtSuccess> for StmtResult

fn from(v: NonFactualStmtSuccess) -> Self

Converts to this type from the input type.

impl From<StmtUnknown> for StmtResult

fn from(v: StmtUnknown) -> Self

Converts to this type from the input type.