Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Member Functions | Private Member Functions | Private Attributes

MetaPreModule Class Reference

Inheritance diagram for MetaPreModule:
Inheritance graph
[legend]
Collaboration diagram for MetaPreModule:
Collaboration graph
[legend]

List of all members.

Public Member Functions

const ModuleDatabase::ImportMap & getAutoImports () const
VisibleModulegetFlatModule ()
VisibleModulegetFlatSignature ()
const ModuleExpressiongetImport (int index) const
int getImportMode (int index) const
MixfixModule::ModuleType getModuleType () const
int getNrImports () const
int getNrParameters () const
InterpretergetOwner () const
const ModuleExpressiongetParameter (int index) const
int getParameterName (int index) const
int id () const
 MetaPreModule (int name, DagNode *moduleDag, MetaLevel *metaLevel, MetaModule *module, Interpreter *owner)
void setModuleType (MixfixModule::ModuleType type)

Private Member Functions

 NO_COPYING (MetaPreModule)
void regretToInform (Entity *doomedEntity)

Private Attributes

MetaModuleflatModule
MetaLevel *const metaLevel
DagRoot moduleDag

Detailed Description

Definition at line 33 of file metaPreModule.hh.


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

Generated by  Doxygen 1.6.0   Back to index