comma::ModelDecl Class Reference
#include <Decl.h>
List of all members.
Detailed Description
Definition at line 199 of file Decl.h.
Constructor & Destructor Documentation
ModelDecl::~ModelDecl |
( |
|
) |
[virtual] |
Member Function Documentation
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] |
static bool comma::ModelDecl::classof |
( |
const ModelDecl * |
node |
) |
[inline, static] |
unsigned ModelDecl::getArity |
( |
|
) |
const [virtual] |
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.
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.
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.
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.
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.
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.
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] |
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 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
The documentation for this class was generated from the following files: