class ArrayIndex

Declaration

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

Description

If p is a reference to an array, then p[i] is a reference to the i'th element of the array.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Array

private clang::threadSafety::til::SExpr* Index

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public ArrayIndex(clang::threadSafety::til::SExpr * A, clang::threadSafety::til::SExpr * N)
• public ArrayIndex(const clang::threadSafety::til::ArrayIndex & E, clang::threadSafety::til::SExpr * A, clang::threadSafety::til::SExpr * N)
• public clang::threadSafety::til::SExpr * array()
• public const clang::threadSafety::til::SExpr * array() const
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::ArrayIndex * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * index()
• public const clang::threadSafety::til::SExpr * index() const
• public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)

Inherited from SExpr:

• public block
• public id
• public opcode
• public setID

Methods

¶ArrayIndex(clang::threadSafety::til::SExpr* A,
           clang::threadSafety::til::SExpr* N)

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

Parameters

clang::threadSafety::til::SExpr* A

clang::threadSafety::til::SExpr* N

¶ArrayIndex(
    const clang::threadSafety::til::ArrayIndex& E,
    clang::threadSafety::til::SExpr* A,
    clang::threadSafety::til::SExpr* N)

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

Parameters

const clang::threadSafety::til::ArrayIndex& E

clang::threadSafety::til::SExpr* A

clang::threadSafety::til::SExpr* N

¶clang::threadSafety::til::SExpr* array()

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

¶const clang::threadSafety::til::SExpr* array()
    const

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

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::ArrayIndex* E

C& Cmp

¶clang::threadSafety::til::SExpr* index()

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

¶const clang::threadSafety::til::SExpr* index()
    const

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx