comma::FunctorDecl Class Reference
#include <Decl.h>
Inheritance diagram for comma::FunctorDecl:
Collaboration diagram for comma::FunctorDecl:
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 | |||
| ) |
Member Function Documentation
| static bool comma::FunctorDecl::classof | ( | const Ast * | node | ) | [inline, static] |
Reimplemented from comma::Domoid.
| static bool comma::FunctorDecl::classof | ( | const FunctorDecl * | node | ) | [inline, static] |
| void FunctorDecl::finalize | ( | ) | [virtual] |
Implementation of Domoid::finalize().
Implements comma::Domoid.
| unsigned comma::FunctorDecl::getArity | ( | ) | const [inline, virtual] |
Returns the number of arguments accepted by this functor.
Reimplemented from comma::ModelDecl.
| AbstractDomainDecl* comma::FunctorDecl::getFormalDecl | ( | unsigned | i | ) | [inline, virtual] |
Returns the abstract domain representing the i'th formal parameter.
Reimplemented from comma::ModelDecl.
| AddDecl* comma::FunctorDecl::getImplementation | ( | ) | [inline, virtual] |
Returns the AddDecl which provides the implementation for this domoid.
Implements comma::Domoid.
| const DomainInstanceDecl* comma::FunctorDecl::getInstance | ( | DomainTypeDecl ** | args, | |
| unsigned | numArgs | |||
| ) | const [inline] |
| DomainInstanceDecl * FunctorDecl::getInstance | ( | DomainTypeDecl ** | args, | |
| unsigned | numArgs | |||
| ) |
| bool FunctorDecl::isFinalized | ( | ) | const [virtual] |
Implementation of Domoid::isFinalized().
Implements comma::Domoid.
The documentation for this class was generated from the following files:
