comma::SigInstanceDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::SigInstanceDecl:

[legend]

Collaboration diagram for comma::SigInstanceDecl:

[legend]

List of all members.

Public Types
typedef DomainTypeDecl **	arg_iterator
Public Member Functions
Sigoid *	getSigoid ()
const Sigoid *	getSigoid () const
SignatureDecl *	getSignature () const
VarietyDecl *	getVariety () const
bool	isParameterized () const
	Returns true if this type represents an instance of some variety.
unsigned	getArity () const
DomainTypeDecl *	getActualParam (unsigned n) const
DomainType *	getActualParamType (unsigned n) const
	Returns the type of the i'th actual parameter.
arg_iterator	beginArguments () const
arg_iterator	endArguments () const
void	Profile (llvm::FoldingSetNodeID &id)
	For use by llvm::FoldingSet.
Static Public Member Functions
static bool	classof (const SigInstanceDecl *node)
	Support isa and dyn_cast.
static bool	classof (const Ast *node)
Friends
class	SignatureDecl
class	VarietyDecl

---

Detailed Description

Definition at line 613 of file Decl.h.

---

Member Typedef Documentation

typedef DomainTypeDecl** comma::SigInstanceDecl::arg_iterator

Definition at line 642 of file Decl.h.

---

Member Function Documentation

arg_iterator comma::SigInstanceDecl::beginArguments

(

)

const [inline]

Definition at line 643 of file Decl.h.

static bool comma::SigInstanceDecl::classof

(

const Ast *

node

)

[inline, static]

Reimplemented from comma::Decl.

Definition at line 652 of file Decl.h.

static bool comma::SigInstanceDecl::classof

(

const SigInstanceDecl *

node

)

[inline, static]

Support isa and dyn_cast.

Reimplemented from comma::Decl.

Definition at line 651 of file Decl.h.

arg_iterator comma::SigInstanceDecl::endArguments

(

)

const [inline]

Definition at line 644 of file Decl.h.

DomainTypeDecl* comma::SigInstanceDecl::getActualParam

(

unsigned

n

)

const [inline]

Returns the i'th actual parameter. This method asserts if its argument is out of range.

Definition at line 632 of file Decl.h.

DomainType * comma::SigInstanceDecl::getActualParamType

(

unsigned

n

)

const [inline]

Returns the type of the i'th actual parameter.

Definition at line 2160 of file Decl.h.

unsigned SigInstanceDecl::getArity

(

)

const

Returns the number of actual arguments supplied. When the underlying model is a signature, the arity is zero.

Definition at line 375 of file Decl.cpp.

SignatureDecl * SigInstanceDecl::getSignature

(

)

const

Definition at line 365 of file Decl.cpp.

const Sigoid* comma::SigInstanceDecl::getSigoid

(

)

const [inline]

Definition at line 617 of file Decl.h.

Sigoid* comma::SigInstanceDecl::getSigoid

(

)

[inline]

Definition at line 616 of file Decl.h.

VarietyDecl * SigInstanceDecl::getVariety

(

)

const

Definition at line 370 of file Decl.cpp.

bool comma::SigInstanceDecl::isParameterized

(

)

const [inline]

Returns true if this type represents an instance of some variety.

Definition at line 624 of file Decl.h.

void comma::SigInstanceDecl::Profile

(

llvm::FoldingSetNodeID &

id

)

[inline]

For use by llvm::FoldingSet.

Definition at line 647 of file Decl.h.

---

Friends And Related Function Documentation

friend class SignatureDecl [friend]

Definition at line 657 of file Decl.h.

friend class VarietyDecl [friend]

Definition at line 658 of file Decl.h.

---

The documentation for this class was generated from the following files:

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