comma::AbstractDomainDecl Class Reference
#include <Decl.h>
List of all members.
Detailed Description
Definition at line 1937 of file Decl.h.
Constructor & Destructor Documentation
Member Function Documentation
static bool comma::AbstractDomainDecl::classof |
( |
const Ast * |
node |
) |
[inline, static] |
static bool comma::AbstractDomainDecl::classof |
( |
const AbstractDomainDecl * |
node |
) |
[inline, static] |
SigInstanceDecl* comma::AbstractDomainDecl::getPrincipleSignature |
( |
|
) |
const [inline] |
Returns the principle signature which this abstract domain implements.
Definition at line 1956 of file Decl.h.
const SignatureSet& comma::AbstractDomainDecl::getSignatureSet |
( |
|
) |
const [inline, virtual] |
bool comma::AbstractDomainDecl::hasPrincipleSignature |
( |
|
) |
const [inline] |
Returns true if this abstract domain has an associated signature constraint.
Definition at line 1953 of file Decl.h.
The documentation for this class was generated from the following files: