comma::ModelDecl Class Reference

#include <Decl.h>

Inheritance diagram for comma::ModelDecl:

[legend]

Collaboration diagram for comma::ModelDecl:

[legend]

List of all members.

Public Member Functions
virtual	~ModelDecl ()
bool	isParameterized () const
	Returns true if this model is parameterized.
virtual unsigned	getArity () const
	Returns the number of arguments accepted by this model.
unsigned	getFormalIndex (const AbstractDomainDecl *ADDecl) const
SigInstanceDecl *	getFormalSignature (unsigned i) const
IdentifierInfo *	getFormalIdInfo (unsigned i) const
int	getKeywordIndex (IdentifierInfo *keyword) const
PercentDecl *	getPercent () const
	Returns the PercentDecl representing this Model.
const SignatureSet &	getSignatureSet () const
	Returns the signature set of the assoiated percent node.
bool	addDirectSignature (SigInstanceDecl *signature)
AstResource &	getAstResource ()
const AbstractDomainDecl *	getFormalDecl (unsigned i) const
	Returns the abstract domain declaration corresponding the i'th formal parameter.
virtual AbstractDomainDecl *	getFormalDecl (unsigned i)
const DomainType *	getFormalType (unsigned i) const
DomainType *	getFormalType (unsigned i)
	Returns the abstract domain declaration corresponding the i'th formal parameter.
const DomainType *	getPercentType () const
	Returns the DomainType representing percent.
DomainType *	getPercentType ()
	Returns the abstract domain declaration corresponding the i'th formal parameter.
Static Public Member Functions
static bool	classof (const ModelDecl *node)
	Support isa and dyn_cast.
static bool	classof (const Ast *node)
Protected Member Functions
	ModelDecl (AstResource &resource, AstKind kind, IdentifierInfo *name, Location loc)
Protected Attributes
PercentDecl *	percent
AstResource &	resource

---

Detailed Description

Definition at line 199 of file Decl.h.

---

Constructor & Destructor Documentation

ModelDecl::~ModelDecl

(

)

[virtual]

Definition at line 80 of file Decl.cpp.

ModelDecl::ModelDecl	(	AstResource &	resource,
		AstKind	kind,
		IdentifierInfo *	name,
		Location	loc
	)			[protected]

Definition at line 71 of file Decl.cpp.

---

Member Function Documentation

bool ModelDecl::addDirectSignature

(

SigInstanceDecl *

signature

)

Adds a direct signature to the signature set or this models percent node.

Definition at line 90 of file Decl.cpp.

static bool comma::ModelDecl::classof

(

const Ast *

node

)

[inline, static]

Reimplemented from comma::Decl.

Reimplemented in comma::Sigoid, comma::SignatureDecl, comma::VarietyDecl, comma::Domoid, comma::DomainDecl, and comma::FunctorDecl.

Definition at line 275 of file Decl.h.

static bool comma::ModelDecl::classof

(

const ModelDecl *

node

)

[inline, static]

Support isa and dyn_cast.

Reimplemented from comma::Decl.

Reimplemented in comma::Sigoid, comma::SignatureDecl, comma::VarietyDecl, comma::Domoid, comma::DomainDecl, and comma::FunctorDecl.

Definition at line 274 of file Decl.h.

unsigned ModelDecl::getArity

(

)

const [virtual]

Returns the number of arguments accepted by this model.

Reimplemented in comma::VarietyDecl, and comma::FunctorDecl.

Definition at line 101 of file Decl.cpp.

AstResource& comma::ModelDecl::getAstResource

(

)

[inline]

Returns the AstResource object associated with this model.

This method is intended for use by other nodes in the AST, not by clients of the AST itself.

Definition at line 271 of file Decl.h.

AbstractDomainDecl * ModelDecl::getFormalDecl

(

unsigned

i

)

[virtual]

Returns the abstract domain declaration corresponding the i'th formal parameter. This method will assert if this declaration is not parameterized.

Reimplemented in comma::VarietyDecl, and comma::FunctorDecl.

Definition at line 109 of file Decl.cpp.

const AbstractDomainDecl* comma::ModelDecl::getFormalDecl

(

unsigned

i

)

const [inline]

Returns the abstract domain declaration corresponding the i'th formal parameter.

This method will assert if this declaration is not parameterized.

Definition at line 217 of file Decl.h.

IdentifierInfo * ModelDecl::getFormalIdInfo

(

unsigned

i

)

const

Returns the IdentifierInfo which labels the i'th formal parameter. This method will assert if this declaration is not parameterized.

Definition at line 153 of file Decl.cpp.

unsigned ModelDecl::getFormalIndex

(

const AbstractDomainDecl *

ADDecl

)

const

Returns the index of the given AbstractDomainDecl which must be a formal parameter of this model. This method will assert if this declaration is not parameterized.

Definition at line 121 of file Decl.cpp.

SigInstanceDecl * ModelDecl::getFormalSignature

(

unsigned

i

)

const

Returns the SigInstanceDecl which the i'th actual parameter must satisfy. This method will assert if this declaration is not parameterized.

Definition at line 144 of file Decl.cpp.

DomainType * ModelDecl::getFormalType

(

unsigned

i

)

Returns the abstract domain declaration corresponding the i'th formal parameter.

This method will assert if this declaration is not parameterized.

Definition at line 135 of file Decl.cpp.

const DomainType* comma::ModelDecl::getFormalType

(

unsigned

i

)

const [inline]

Returns the type of the i'th formal formal parameter. This method will assert if this declaration is not parameterized.

Definition at line 231 of file Decl.h.

int ModelDecl::getKeywordIndex

(

IdentifierInfo *

keyword

)

const

Returns the index of the parameter corresponding to the given keyword, or -1 if no such keyword exists. This method will assert if this declaration is not parameterized.

Reimplemented in comma::VarietyDecl.

Definition at line 163 of file Decl.cpp.

PercentDecl* comma::ModelDecl::getPercent

(

)

const [inline]

Returns the PercentDecl representing this Model.

Definition at line 252 of file Decl.h.

DomainType * comma::ModelDecl::getPercentType

(

)

[inline]

Returns the abstract domain declaration corresponding the i'th formal parameter.

This method will assert if this declaration is not parameterized.

Definition at line 2125 of file Decl.h.

const DomainType * comma::ModelDecl::getPercentType

(

)

const [inline]

Returns the DomainType representing percent.

Definition at line 2120 of file Decl.h.

const SignatureSet & ModelDecl::getSignatureSet

(

)

const

Returns the signature set of the assoiated percent node.

Definition at line 85 of file Decl.cpp.

bool comma::ModelDecl::isParameterized

(

)

const [inline]

Returns true if this model is parameterized.

Definition at line 205 of file Decl.h.

---

Member Data Documentation

PercentDecl* comma::ModelDecl::percent [protected]

Definition at line 284 of file Decl.h.

AstResource& comma::ModelDecl::resource [protected]

Definition at line 287 of file Decl.h.

---

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

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