A named variable, e.g. More...

#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"

Inheritance diagram for clang::threadSafety::til::Variable:

Public Types
enum	VariableKind { VK_Let , VK_Fun , VK_SFun }

Public Member Functions
	Variable (StringRef s, SExpr *D=nullptr)

	Variable (SExpr D, const ValueDecl Cvd=nullptr)

	Variable (const Variable &Vd, SExpr *D)

VariableKind	kind () const
	Return the kind of variable (let, function param, or self)

StringRef	name () const
	Return the name of the variable, if any.

const ValueDecl *	clangDecl () const
	Return the clang declaration for this variable, if any.

SExpr *	definition ()
	Return the definition of the variable.

const SExpr *	definition () const

void	setName (StringRef S)

void	setKind (VariableKind K)

void	setDefinition (SExpr *E)

void	setClangDecl (const ValueDecl *VD)

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

template<class C >
C::CType	compare (const Variable *E, C &Cmp) const

Public Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr ()=delete

TIL_Opcode	opcode () const

void *	operator new (size_t S, MemRegionRef &R)

void *	operator new (size_t)=delete
	SExpr objects must be created in an arena.

void	operator delete (void *)=delete
	SExpr objects cannot be deleted.

unsigned	id () const
	Returns the instruction ID for this expression.

BasicBlock *	block () const
	Returns the block, if this is an instruction in a basic block, otherwise returns null.

void	setID (BasicBlock *B, unsigned id)
	Set the basic block and instruction ID for this expression.

Static Public Member Functions
static bool	classof (const SExpr *E)

Friends
class	BasicBlock

class	Function

class	Let

class	SFunction

Additional Inherited Members
Protected Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr (TIL_Opcode Op)

	SExpr (const SExpr &E)

SExpr &	operator= (const SExpr &)=delete

Protected Attributes inherited from clang::threadSafety::til::SExpr
const TIL_Opcode	Opcode

unsigned char	Reserved = 0

unsigned short	Flags = 0

unsigned	SExprID = 0

BasicBlock *	Block = nullptr

Detailed Description

A named variable, e.g.

"x".

There are two distinct places in which a Variable can appear in the AST. A variable declaration introduces a new variable, and can occur in 3 places: Let-expressions: (Let (x = t) u) Functions: (Function (x : t) u) Self-applicable functions (SFunction (x) t)

If a variable occurs in any other location, it is a reference to an existing variable declaration – e.g. 'x' in (x * y + z). To save space, we don't allocate a separate AST node for variable references; a reference is just a pointer to the original declaration.

Definition at line 355 of file ThreadSafetyTIL.h.

Member Enumeration Documentation

◆ VariableKind

enum clang::threadSafety::til::Variable::VariableKind

Enumerator
VK_Let	Let-variable.
VK_Fun	Function parameter.
VK_SFun	SFunction (self) parameter.

Definition at line 357 of file ThreadSafetyTIL.h.

Constructor & Destructor Documentation

◆ Variable() [1/3]

clang::threadSafety::til::Variable::Variable	(	StringRef	s,
		SExpr *	D = `nullptr`
	)

inline

Definition at line 368 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::Flags, and VK_Let.

◆ Variable() [2/3]

clang::threadSafety::til::Variable::Variable	(	SExpr *	D,
		const ValueDecl *	Cvd = `nullptr`
	)

inline

Definition at line 373 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::Flags, and VK_Let.

◆ Variable() [3/3]

clang::threadSafety::til::Variable::Variable	(	const Variable &	Vd,
		SExpr *	D
	)

inline

Definition at line 379 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::Flags, and kind().

Member Function Documentation

◆ clangDecl()

const ValueDecl * clang::threadSafety::til::Variable::clangDecl ( ) const

inline

Return the clang declaration for this variable, if any.

Definition at line 393 of file ThreadSafetyTIL.h.

◆ classof()

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

inlinestatic

Definition at line 384 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::opcode().

◆ compare()

template<class C >

C::CType clang::threadSafety::til::Variable::compare	(	const Variable *	E,
		C &	Cmp
	)		const

inline

Definition at line 413 of file ThreadSafetyTIL.h.

◆ definition() [1/2]

SExpr * clang::threadSafety::til::Variable::definition ( )

inline

Return the definition of the variable.

For let-vars, this is the setting expression. For function and self parameters, it is the type of the variable.

Definition at line 398 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::Function::compare(), clang::threadSafety::til::Let::compare(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet().

◆ definition() [2/2]

const SExpr * clang::threadSafety::til::Variable::definition ( ) const

inline

Definition at line 399 of file ThreadSafetyTIL.h.

◆ kind()

VariableKind clang::threadSafety::til::Variable::kind ( ) const

inline

Return the kind of variable (let, function param, or self)

Definition at line 387 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::Flags.

Referenced by Variable().

◆ name()

StringRef clang::threadSafety::til::Variable::name ( ) const

inline

Return the name of the variable, if any.

Definition at line 390 of file ThreadSafetyTIL.h.

◆ setClangDecl()

void clang::threadSafety::til::Variable::setClangDecl ( const ValueDecl * VD )

inline

Definition at line 404 of file ThreadSafetyTIL.h.

◆ setDefinition()

void clang::threadSafety::til::Variable::setDefinition ( SExpr * E )

inline

Definition at line 403 of file ThreadSafetyTIL.h.

◆ setKind()

void clang::threadSafety::til::Variable::setKind ( VariableKind K )

inline

Definition at line 402 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::Flags.

Referenced by clang::threadSafety::til::Function::Function(), clang::threadSafety::til::Let::Let(), clang::threadSafety::SExprBuilder::SExprBuilder(), and clang::threadSafety::til::SFunction::SFunction().

◆ setName()

void clang::threadSafety::til::Variable::setName ( StringRef S )

inline

Definition at line 401 of file ThreadSafetyTIL.h.

◆ traverse()

template<class V >

V::R_SExpr clang::threadSafety::til::Variable::traverse	(	V &	Vs,
		typename V::R_Ctx	Ctx
	)

inline

Definition at line 407 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::Function::traverse(), clang::threadSafety::til::SFunction::traverse(), and clang::threadSafety::til::Let::traverse().

Friends And Related Function Documentation

◆ BasicBlock

friend class BasicBlock

friend

Definition at line 418 of file ThreadSafetyTIL.h.

◆ Function

friend class Function

friend

Definition at line 419 of file ThreadSafetyTIL.h.

◆ Let

friend class Let

friend

Definition at line 420 of file ThreadSafetyTIL.h.

◆ SFunction

friend class SFunction

friend

Definition at line 421 of file ThreadSafetyTIL.h.

The documentation for this class was generated from the following file:

include/clang/Analysis/Analyses/ThreadSafetyTIL.h

Public Types

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ VariableKind

Constructor & Destructor Documentation

◆ Variable() [1/3]

◆ Variable() [2/3]

◆ Variable() [3/3]

Member Function Documentation

◆ clangDecl()

◆ classof()

◆ compare()

◆ definition() [1/2]

◆ definition() [2/2]

◆ kind()

◆ name()

◆ setClangDecl()

◆ setDefinition()

◆ setKind()

◆ setName()

◆ traverse()

Friends And Related Function Documentation

◆ BasicBlock

◆ Function

◆ Let

◆ SFunction