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

Public Member Functions | Private Attributes

ModuleItem Class Reference

Inheritance diagram for ModuleItem:
Inheritance graph
Collaboration diagram for ModuleItem:
Collaboration graph

List of all members.

Public Member Functions

int getIndexWithinModule () const
ModulegetModule () const
void setModuleInfo (Module *module, int indexWithinModule)

Private Attributes

int indexWithinParent

Detailed Description

Definition at line 32 of file moduleItem.hh.

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

Generated by  Doxygen 1.6.0   Back to index