class ConjunctionValue

Declaration

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

Description

Models a boolean conjunction.

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

Inherits from: BoolValue

Member Variables

private clang::dataflow::BoolValue& LeftSubVal

private clang::dataflow::BoolValue& RightSubVal

Method Overview

• public ConjunctionValue(clang::dataflow::BoolValue & LeftSubVal, clang::dataflow::BoolValue & RightSubVal)
• public static bool classof(const clang::dataflow::Value * Val)
• public clang::dataflow::BoolValue & getLeftSubValue() const
• public clang::dataflow::BoolValue & getRightSubValue() const

Inherited from BoolValue:

• public classof

Inherited from Value:

• public getKind
• public getProperty
• public setProperty

Methods

¶ConjunctionValue(
    clang::dataflow::BoolValue& LeftSubVal,
    clang::dataflow::BoolValue& RightSubVal)

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

Parameters

clang::dataflow::BoolValue& LeftSubVal

clang::dataflow::BoolValue& RightSubVal

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

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

Parameters

const clang::dataflow::Value* Val

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

Description

Returns the left sub-value of the conjunction.

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

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

Description

Returns the right sub-value of the conjunction.

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