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.