comma::VarietyDecl Class Reference

#include <Decl.h>

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

List of all members.

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.
AbstractDomainDeclgetFormalDecl (unsigned i)
 Returns the abstract domain representing the i'th formal parameter.
instance_iterator begin_instances ()
instance_iterator end_instances ()



SigInstanceDeclgetInstance (DomainTypeDecl **args, unsigned numArgs)
const SigInstanceDeclgetInstance (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

Iterator over the all of the signature instances which represent specific parameterizations of this variety.

Definition at line 382 of file Decl.h.


Constructor & Destructor Documentation

VarietyDecl::VarietyDecl ( AstResource resource,
IdentifierInfo name,
Location  loc,
AbstractDomainDecl **  formals,
unsigned  arity 
)

Definition at line 185 of file Decl.cpp.


Member Function Documentation

instance_iterator comma::VarietyDecl::begin_instances (  )  [inline]

Definition at line 383 of file Decl.h.

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

Reimplemented from comma::Sigoid.

Definition at line 388 of file Decl.h.

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

Support isa and dyn_cast.

Reimplemented from comma::Sigoid.

Definition at line 387 of file Decl.h.

instance_iterator comma::VarietyDecl::end_instances (  )  [inline]

Definition at line 384 of file Decl.h.

unsigned comma::VarietyDecl::getArity (  )  const [inline, virtual]

Returns the number of arguments accepted by this variety.

Reimplemented from comma::ModelDecl.

Definition at line 372 of file Decl.h.

AbstractDomainDecl* comma::VarietyDecl::getFormalDecl ( unsigned  i  )  [inline, virtual]

Returns the abstract domain representing the i'th formal parameter.

Reimplemented from comma::ModelDecl.

Definition at line 375 of file Decl.h.

const SigInstanceDecl* comma::VarietyDecl::getInstance ( DomainTypeDecl **  args,
unsigned  numArgs 
) const [inline]

Returns the instance decl corresponding to this variety applied over the given arguments.

Definition at line 362 of file Decl.h.

SigInstanceDecl * VarietyDecl::getInstance ( DomainTypeDecl **  args,
unsigned  numArgs 
)

Returns the instance decl corresponding to this variety applied over the given arguments.

Definition at line 196 of file Decl.cpp.

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:

Generated on 1 Feb 2010 for Comma by  doxygen 1.6.1