comma::ParameterizedType Class Reference
#include <Type.h>
Inheritance diagram for comma::ParameterizedType:
Collaboration diagram for comma::ParameterizedType:
Public Member Functions | |
| virtual | ~ParameterizedType () |
| unsigned | getArity () const |
| AbstractDomainType * | getFormalDomain (unsigned i) const |
| SignatureType * | getFormalType (unsigned i) const |
| IdentifierInfo * | getFormalIdInfo (unsigned i) const |
| int | getSelectorIndex (IdentifierInfo *selector) const |
Static Public Member Functions | |
| static bool | classof (const ParameterizedType *node) |
| static bool | classof (const Ast *node) |
| Support isa and dyn_cast. | |
Protected Member Functions | |
| ParameterizedType (AstKind kind, IdentifierInfo *idInfo, AbstractDomainType **formalArguments, unsigned arity) | |
Protected Attributes | |
| AbstractDomainType ** | formals |
| unsigned | numFormals |
Detailed Description
Definition at line 130 of file Type.h.
Constructor & Destructor Documentation
| virtual comma::ParameterizedType::~ParameterizedType | ( | ) | [inline, virtual] |
| ParameterizedType::ParameterizedType | ( | AstKind | kind, | |
| IdentifierInfo * | idInfo, | |||
| AbstractDomainType ** | formalArguments, | |||
| unsigned | arity | |||
| ) | [protected] |
Member Function Documentation
| static bool comma::ParameterizedType::classof | ( | const Ast * | node | ) | [inline, static] |
Support isa and dyn_cast.
Reimplemented from comma::ModelType.
Reimplemented in comma::VarietyType, and comma::FunctorType.
| static bool comma::ParameterizedType::classof | ( | const ParameterizedType * | node | ) | [inline, static] |
| unsigned comma::ParameterizedType::getArity | ( | ) | const [inline] |
| AbstractDomainType * ParameterizedType::getFormalDomain | ( | unsigned | i | ) | const |
| IdentifierInfo * ParameterizedType::getFormalIdInfo | ( | unsigned | i | ) | const |
| SignatureType * ParameterizedType::getFormalType | ( | unsigned | i | ) | const |
| int ParameterizedType::getSelectorIndex | ( | IdentifierInfo * | selector | ) | const |
Member Data Documentation
AbstractDomainType** comma::ParameterizedType::formals [protected] |
unsigned comma::ParameterizedType::numFormals [protected] |
The documentation for this class was generated from the following files:
