|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| ExtensionManager | A manager class responsible for working with all registered extensions of the
Repository extension point (org.wsmostudio.repository.Repository). |
| Registry | |
| RepositoryPlugin | The main Repository plugin class to be used in the WSMO Studio. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||