Module jEdit

Class CollectionManagerImpl

java.lang.Object
org.gjt.sp.jedit.bsh.CollectionManager
org.gjt.sp.jedit.bsh.collection.CollectionManagerImpl

public class CollectionManagerImpl extends CollectionManager
Dynamically loaded extension supporting post 1.1 collections iterator.
Author:
Pat Niemeyer