class NegationValue

Declaration

class NegationValue : public BoolValue { /* full declaration omitted */ };

Description

Models a boolean negation.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:152

Inherits from: BoolValue

Member Variables

private clang::dataflow::BoolValue& SubVal

Method Overview

• public NegationValue(clang::dataflow::BoolValue & SubVal)
• public static bool classof(const clang::dataflow::Value * Val)
• public clang::dataflow::BoolValue & getSubVal() const

Inherited from BoolValue:

• public classof

Inherited from Value:

• public getKind
• public getProperty
• public setProperty

Methods

¶NegationValue(clang::dataflow::BoolValue& SubVal)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:154

Parameters

clang::dataflow::BoolValue& SubVal

¶static bool classof(
    const clang::dataflow::Value* Val)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:157

Parameters

const clang::dataflow::Value* Val

¶clang::dataflow::BoolValue& getSubVal() const

Description

Returns the sub-value of the negation.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:162