comma::AbstractDomainDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::AbstractDomainDecl:
Inheritance graph
[legend]
Collaboration diagram for comma::AbstractDomainDecl:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 AbstractDomainDecl (AstResource &resource, IdentifierInfo *name, Location loc, SigInstanceDecl *sig)
 AbstractDomainDecl (AstResource &resource, IdentifierInfo *name, Location loc)
const SignatureSetgetSignatureSet () const
 Returns the SignatureSet of this abstract domain.
bool hasPrincipleSignature () const
SigInstanceDeclgetPrincipleSignature () 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 
)

Definition at line 663 of file Decl.cpp.

comma::AbstractDomainDecl::AbstractDomainDecl ( AstResource resource,
IdentifierInfo name,
Location  loc 
) [inline]

Definition at line 1944 of file Decl.h.


Member Function Documentation

static bool comma::AbstractDomainDecl::classof ( const Ast node  )  [inline, static]

Reimplemented from comma::DomainTypeDecl.

Definition at line 1962 of file Decl.h.

static bool comma::AbstractDomainDecl::classof ( const AbstractDomainDecl node  )  [inline, static]

Support isa and dyn_cast.

Reimplemented from comma::DomainTypeDecl.

Definition at line 1961 of file Decl.h.

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]

Returns the SignatureSet of this abstract domain.

Implements comma::DomainTypeDecl.

Definition at line 1949 of file Decl.h.

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:

Generated on 1 Feb 2010 for Comma by  doxygen 1.6.1