comma::AbstractDomainDecl Class Reference
#include <Decl.h>
Inheritance diagram for comma::AbstractDomainDecl:
Collaboration diagram for comma::AbstractDomainDecl:
Public Member Functions | |
| AbstractDomainDecl (AstResource &resource, IdentifierInfo *name, Location loc, SigInstanceDecl *sig) | |
| AbstractDomainDecl (AstResource &resource, IdentifierInfo *name, Location loc) | |
| const SignatureSet & | getSignatureSet () const |
| Returns the SignatureSet of this abstract domain. | |
| bool | hasPrincipleSignature () const |
| SigInstanceDecl * | getPrincipleSignature () const |
| Returns the principle signature which this abstract domain implements. | |
Static Public Member Functions | |
| static bool | classof (const AbstractDomainDecl *node) |
| Support isa and dyn_cast. | |
| static bool | classof (const Ast *node) |
Detailed Description
Definition at line 1937 of file Decl.h.
Constructor & Destructor Documentation
| AbstractDomainDecl::AbstractDomainDecl | ( | AstResource & | resource, | |
| IdentifierInfo * | name, | |||
| Location | loc, | |||
| SigInstanceDecl * | sig | |||
| ) |
| comma::AbstractDomainDecl::AbstractDomainDecl | ( | AstResource & | resource, | |
| IdentifierInfo * | name, | |||
| Location | loc | |||
| ) | [inline] |
Member Function Documentation
| static bool comma::AbstractDomainDecl::classof | ( | const Ast * | node | ) | [inline, static] |
Reimplemented from comma::DomainTypeDecl.
| static bool comma::AbstractDomainDecl::classof | ( | const AbstractDomainDecl * | node | ) | [inline, static] |
Support isa and dyn_cast.
Reimplemented from comma::DomainTypeDecl.
| SigInstanceDecl* comma::AbstractDomainDecl::getPrincipleSignature | ( | ) | const [inline] |
| const SignatureSet& comma::AbstractDomainDecl::getSignatureSet | ( | ) | const [inline, virtual] |
Returns the SignatureSet of this abstract domain.
Implements comma::DomainTypeDecl.
| bool comma::AbstractDomainDecl::hasPrincipleSignature | ( | ) | const [inline] |
The documentation for this class was generated from the following files:
