org.activemath.webapp.tools
Class SymbolPresentationListController.Collection

java.lang.Object
  extended by org.activemath.webapp.tools.SymbolPresentationListController.Collection
Enclosing class:
SymbolPresentationListController

public class SymbolPresentationListController.Collection
extends Object


Constructor Summary
SymbolPresentationListController.Collection(MBaseRef mbaseRef, String name)
           
 
Method Summary
 Iterator listTheories()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SymbolPresentationListController.Collection

public SymbolPresentationListController.Collection(MBaseRef mbaseRef,
                                                   String name)
Method Detail

toString

public String toString()
Overrides:
toString in class Object

listTheories

public Iterator listTheories()
                      throws MBaseException
Throws:
MBaseException