clang::threadSafety::til::Function Class Reference

#include <ThreadSafetyTIL.h>

Inheritance diagram for clang::threadSafety::til::Function:

Collaboration diagram for clang::threadSafety::til::Function:

List of all members.

Public Member Functions
	Function (Variable *Vd, SExpr *Bd)
	Function (const Function &F, Variable *Vd, SExpr *Bd)
Variable *	variableDecl ()
const Variable *	variableDecl () const
SExpr *	body ()
const SExpr *	body () const
template<class V >
V::R_SExpr	traverse (V &Vs, typename V::R_Ctx Ctx)
template<class C >
C::CType	compare (const Function *E, C &Cmp) const
Static Public Member Functions
static bool	classof (const SExpr *E)

---

Detailed Description

A function -- a.k.a. lambda abstraction. Functions with multiple arguments are created by currying, e.g. (Function (x: Int) (Function (y: Int) (Code { return x + y })))

Definition at line 656 of file ThreadSafetyTIL.h.

---

Constructor & Destructor Documentation

clang::threadSafety::til::Function::Function	(	Variable *	Vd,
		SExpr *	Bd
	)		[inline]

Definition at line 660 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_Fun.

clang::threadSafety::til::Function::Function	(	const Function &	F,
		Variable *	Vd,
		SExpr *	Bd
	)		[inline]

Definition at line 664 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_Fun.

---

Member Function Documentation

SExpr* clang::threadSafety::til::Function::body

(

)

[inline]

Definition at line 672 of file ThreadSafetyTIL.h.

Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction().

const SExpr* clang::threadSafety::til::Function::body

(

)

const [inline]

Definition at line 673 of file ThreadSafetyTIL.h.

static bool clang::threadSafety::til::Function::classof

(

const SExpr *

E

)

[inline, static]

Definition at line 658 of file ThreadSafetyTIL.h.

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

template<class C >

C::CType clang::threadSafety::til::Function::compare	(	const Function *	E,
		C &	Cmp
	)		const [inline]

Definition at line 687 of file ThreadSafetyTIL.h.

References body(), clang::threadSafety::til::Variable::definition(), and variableDecl().

template<class V >

V::R_SExpr clang::threadSafety::til::Function::traverse	(	V &	Vs,
		typename V::R_Ctx	Ctx
	)		[inline]

Definition at line 676 of file ThreadSafetyTIL.h.

References clang::VarDecl::Definition, and clang::threadSafety::til::Variable::traverse().

Variable* clang::threadSafety::til::Function::variableDecl

(

)

[inline]

Definition at line 669 of file ThreadSafetyTIL.h.

Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction().

const Variable* clang::threadSafety::til::Function::variableDecl

(

)

const [inline]

Definition at line 670 of file ThreadSafetyTIL.h.

---

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

• ThreadSafetyTIL.h