org.activemath.webapp.tools
Class SymbolPresentationListController.Collection

java.lang.Object
  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