Package org.gjt.btools.ext

Contains various extensions and implementations of miscellaneous Java classes and interfaces.

See:
          Description

Class Summary
ExtensionFilenameFilter A filename filter that accepts or rejects files based on their extension.
IdentifierDocument A document class used to enter an identifier into a text component.
IntegerDocument A document class used to enter an integer into a text component.
NonNegativeIntegerDocument A document class used to enter a non-negative integer into a text component.
 

Exception Summary
EmptyDocumentException An exception thrown when the contents of a document are requested but the document is empty.
 

Package org.gjt.btools.ext Description

Contains various extensions and implementations of miscellaneous Java classes and interfaces.



Copyright © 1998-2001, Ben Burton
This software is released under the GNU Public License.
For further information, or to submit a bug or other problem, please contact Ben Burton (bab@debian.org).