comma::VarietyDecl Class Reference
#include <Decl.h>
Inheritance diagram for comma::VarietyDecl:
Collaboration diagram for comma::VarietyDecl:
Public Types | |
| typedef llvm::FoldingSet < SigInstanceDecl >::iterator | instance_iterator |
Public Member Functions | |
| VarietyDecl (AstResource &resource, IdentifierInfo *name, Location loc, AbstractDomainDecl **formals, unsigned arity) | |
| int | getKeywordIndex (IdentifierInfo *keyword) const |
| Implement ModelDecl::getKeywordIndex. | |
| unsigned | getArity () const |
| Returns the number of arguments accepted by this variety. | |
| AbstractDomainDecl * | getFormalDecl (unsigned i) |
| Returns the abstract domain representing the i'th formal parameter. | |
| instance_iterator | begin_instances () |
| instance_iterator | end_instances () |
| SigInstanceDecl * | getInstance (DomainTypeDecl **args, unsigned numArgs) |
| const SigInstanceDecl * | getInstance (DomainTypeDecl **args, unsigned numArgs) const |
Static Public Member Functions | |
| static bool | classof (const VarietyDecl *node) |
| Support isa and dyn_cast. | |
| static bool | classof (const Ast *node) |
Detailed Description
Definition at line 349 of file Decl.h.
Member Typedef Documentation
| typedef llvm::FoldingSet<SigInstanceDecl>::iterator comma::VarietyDecl::instance_iterator |
Constructor & Destructor Documentation
| VarietyDecl::VarietyDecl | ( | AstResource & | resource, | |
| IdentifierInfo * | name, | |||
| Location | loc, | |||
| AbstractDomainDecl ** | formals, | |||
| unsigned | arity | |||
| ) |
Member Function Documentation
| instance_iterator comma::VarietyDecl::begin_instances | ( | ) | [inline] |
| static bool comma::VarietyDecl::classof | ( | const Ast * | node | ) | [inline, static] |
Reimplemented from comma::Sigoid.
| static bool comma::VarietyDecl::classof | ( | const VarietyDecl * | node | ) | [inline, static] |
| instance_iterator comma::VarietyDecl::end_instances | ( | ) | [inline] |
| unsigned comma::VarietyDecl::getArity | ( | ) | const [inline, virtual] |
Returns the number of arguments accepted by this variety.
Reimplemented from comma::ModelDecl.
| AbstractDomainDecl* comma::VarietyDecl::getFormalDecl | ( | unsigned | i | ) | [inline, virtual] |
Returns the abstract domain representing the i'th formal parameter.
Reimplemented from comma::ModelDecl.
| const SigInstanceDecl* comma::VarietyDecl::getInstance | ( | DomainTypeDecl ** | args, | |
| unsigned | numArgs | |||
| ) | const [inline] |
| SigInstanceDecl * VarietyDecl::getInstance | ( | DomainTypeDecl ** | args, | |
| unsigned | numArgs | |||
| ) |
| int comma::VarietyDecl::getKeywordIndex | ( | IdentifierInfo * | keyword | ) | const |
Implement ModelDecl::getKeywordIndex.
Reimplemented from comma::ModelDecl.
The documentation for this class was generated from the following files:
