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

Public Member Functions | Private Member Functions | Private Attributes

PreModule Class Reference

Inheritance diagram for PreModule:
Inheritance graph
Collaboration diagram for PreModule:
Collaboration graph

List of all members.

Public Member Functions

virtual const
ModuleDatabase::ImportMap & 
getAutoImports () const =0
virtual VisibleModulegetFlatModule ()=0
virtual VisibleModulegetFlatSignature ()=0
virtual const ModuleExpressiongetImport (int index) const =0
virtual int getImportMode (int index) const =0
MixfixModule::ModuleType getModuleType () const
virtual int getNrImports () const =0
virtual int getNrParameters () const =0
InterpretergetOwner () const
virtual const ModuleExpressiongetParameter (int index) const =0
virtual int getParameterName (int index) const =0
int id () const
 PreModule (int moduleName, Interpreter *owner)
virtual void regretToInform (Entity *doomedEntity)=0
void setModuleType (MixfixModule::ModuleType type)

Private Member Functions

 NO_COPYING (PreModule)

Private Attributes

MixfixModule::ModuleType moduleType
Interpreter *const owner

Detailed Description

Definition at line 32 of file preModule.hh.

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

Generated by  Doxygen 1.6.0   Back to index