class BinaryOp

Declaration

class BinaryOp : public SExpr { /* full declaration omitted */ };

Description

Simple arithmetic binary operations, e.g. +, -, etc. These operations have no side effects.

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1204

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Expr0
private clang::threadSafety::til::SExpr* Expr1

Inherited from SExpr:

protected Opcode
protected Reserved = 0
protected Flags = 0
protected SExprID = 0
protected Block = nullptr

Method Overview

  • public BinaryOp(clang::threadSafety::til::TIL_BinaryOpcode Op, clang::threadSafety::til::SExpr * E0, clang::threadSafety::til::SExpr * E1)
  • public BinaryOp(const clang::threadSafety::til::BinaryOp & B, clang::threadSafety::til::SExpr * E0, clang::threadSafety::til::SExpr * E1)
  • public clang::threadSafety::til::TIL_BinaryOpcode binaryOpcode() const
  • public static bool classof(const clang::threadSafety::til::SExpr * E)
  • public template <class C>typename C::CType compare(const clang::threadSafety::til::BinaryOp * E, C & Cmp) const
  • public clang::threadSafety::til::SExpr * expr0()
  • public const clang::threadSafety::til::SExpr * expr0() const
  • public clang::threadSafety::til::SExpr * expr1()
  • public const clang::threadSafety::til::SExpr * expr1() const
  • public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)

Inherited from SExpr:

Methods

BinaryOp(
    clang::threadSafety::til::TIL_BinaryOpcode Op,
    clang::threadSafety::til::SExpr* E0,
    clang::threadSafety::til::SExpr* E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1206

Parameters

clang::threadSafety::til::TIL_BinaryOpcode Op
clang::threadSafety::til::SExpr* E0
clang::threadSafety::til::SExpr* E1

BinaryOp(
    const clang::threadSafety::til::BinaryOp& B,
    clang::threadSafety::til::SExpr* E0,
    clang::threadSafety::til::SExpr* E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1211

Parameters

const clang::threadSafety::til::BinaryOp& B
clang::threadSafety::til::SExpr* E0
clang::threadSafety::til::SExpr* E1

clang::threadSafety::til::TIL_BinaryOpcode
binaryOpcode() const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1218

static bool classof(
    const clang::threadSafety::til::SExpr* E)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1216

Parameters

const clang::threadSafety::til::SExpr* E

template <class C>
typename C::CType compare(
    const clang::threadSafety::til::BinaryOp* E,
    C& Cmp) const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1236

Templates

C

Parameters

const clang::threadSafety::til::BinaryOp* E
C& Cmp

clang::threadSafety::til::SExpr* expr0()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1222

const clang::threadSafety::til::SExpr* expr0()
    const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1223

clang::threadSafety::til::SExpr* expr1()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1225

const clang::threadSafety::til::SExpr* expr1()
    const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1226

template <class V>
typename V::R_SExpr traverse(
    V& Vs,
    typename V::R_Ctx Ctx)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1229

Templates

V

Parameters

V& Vs
typename V::R_Ctx Ctx