class DisjunctionValue

Declaration

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

Description

Models a boolean disjunction.

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

Inherits from: BoolValue

Member Variables

private clang::dataflow::BoolValue& LeftSubVal

private clang::dataflow::BoolValue& RightSubVal

Method Overview

• public DisjunctionValue(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

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

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

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:136

Parameters

const clang::dataflow::Value* Val

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

Description

Returns the left sub-value of the disjunction.

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

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

Description

Returns the right sub-value of the disjunction.

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