comma::VarietyDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::VarietyDecl:

[legend]

Collaboration diagram for comma::VarietyDecl:

[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.
AbstractDomainDecl *	getFormalDecl (unsigned i)
	Returns the abstract domain representing the i'th formal parameter.
instance_iterator	begin_instances ()
instance_iterator	end_instances ()
SigInstanceDecl *	getInstance (DomainTypeDecl **args, unsigned numArgs)
const SigInstanceDecl *	getInstance (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:

• include/comma/ast/Decl.h
• lib/ast/Decl.cpp