comma::FunctorDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::FunctorDecl:
Inheritance graph
[legend]
Collaboration diagram for comma::FunctorDecl:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 FunctorDecl (AstResource &resource, IdentifierInfo *name, Location loc, AbstractDomainDecl **formals, unsigned arity)
DomainInstanceDeclgetInstance (DomainTypeDecl **args, unsigned numArgs)
const DomainInstanceDeclgetInstance (DomainTypeDecl **args, unsigned numArgs) const
AddDeclgetImplementation ()
 Returns the AddDecl which provides the implementation for this domoid.
unsigned getArity () const
 Returns the number of arguments accepted by this functor.
AbstractDomainDeclgetFormalDecl (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:

Generated on 1 Feb 2010 for Comma by  doxygen 1.6.1