comma::FunctorDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::FunctorDecl:

[legend]

Collaboration diagram for comma::FunctorDecl:

[legend]

List of all members.

Public Member Functions
	FunctorDecl (AstResource &resource, IdentifierInfo *name, Location loc, AbstractDomainDecl **formals, unsigned arity)
DomainInstanceDecl *	getInstance (DomainTypeDecl **args, unsigned numArgs)
const DomainInstanceDecl *	getInstance (DomainTypeDecl **args, unsigned numArgs) const
AddDecl *	getImplementation ()
	Returns the AddDecl which provides the implementation for this domoid.
unsigned	getArity () const
	Returns the number of arguments accepted by this functor.
AbstractDomainDecl *	getFormalDecl (unsigned i)
	Returns the abstract domain representing the i'th formal parameter.
void	finalize ()
	Implementation of Domoid::finalize().
bool	isFinalized () const
	Implementation of Domoid::isFinalized().
Static Public Member Functions
static bool	classof (const FunctorDecl *node)
	Support isa and dyn_cast.
static bool	classof (const Ast *node)

---

Detailed Description

Definition at line 556 of file Decl.h.

---

Constructor & Destructor Documentation

FunctorDecl::FunctorDecl	(	AstResource &	resource,
		IdentifierInfo *	name,
		Location	loc,
		AbstractDomainDecl **	formals,
		unsigned	arity
	)

Definition at line 299 of file Decl.cpp.

---

Member Function Documentation

static bool comma::FunctorDecl::classof

(

const Ast *

node

)

[inline, static]

Reimplemented from comma::Domoid.

Definition at line 595 of file Decl.h.

static bool comma::FunctorDecl::classof

(

const FunctorDecl *

node

)

[inline, static]

Support isa and dyn_cast.

Reimplemented from comma::Domoid.

Definition at line 594 of file Decl.h.

void FunctorDecl::finalize

(

)

[virtual]

Implementation of Domoid::finalize().

Implements comma::Domoid.

Definition at line 329 of file Decl.cpp.

unsigned comma::FunctorDecl::getArity

(

)

const [inline, virtual]

Returns the number of arguments accepted by this functor.

Reimplemented from comma::ModelDecl.

Definition at line 579 of file Decl.h.

AbstractDomainDecl* comma::FunctorDecl::getFormalDecl

(

unsigned

i

)

[inline, virtual]

Returns the abstract domain representing the i'th formal parameter.

Reimplemented from comma::ModelDecl.

Definition at line 582 of file Decl.h.

AddDecl* comma::FunctorDecl::getImplementation

(

)

[inline, virtual]

Returns the AddDecl which provides the implementation for this domoid.

Implements comma::Domoid.

Definition at line 576 of file Decl.h.

const DomainInstanceDecl* comma::FunctorDecl::getInstance	(	DomainTypeDecl **	args,
		unsigned	numArgs
	)			const [inline]

Definition at line 569 of file Decl.h.

DomainInstanceDecl * FunctorDecl::getInstance	(	DomainTypeDecl **	args,
		unsigned	numArgs
	)

Definition at line 313 of file Decl.cpp.

bool FunctorDecl::isFinalized

(

)

const [virtual]

Implementation of Domoid::isFinalized().

Implements comma::Domoid.

Definition at line 341 of file Decl.cpp.

---

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

• include/comma/ast/Decl.h
• lib/ast/Decl.cpp