comma::SigInstanceDecl Class Reference

#include <Decl.h>

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

List of all members.

Public Types

typedef DomainTypeDecl ** arg_iterator

Public Member Functions

SigoidgetSigoid ()
const SigoidgetSigoid () const
SignatureDeclgetSignature () const
VarietyDeclgetVariety () const
bool isParameterized () const
 Returns true if this type represents an instance of some variety.
unsigned getArity () const
DomainTypeDeclgetActualParam (unsigned n) const
DomainTypegetActualParamType (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

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:

Generated on 1 Feb 2010 for Comma by  doxygen 1.6.1