public interface ExtensionLibrary extends JLibrary
DEPLOYED_BY_DEFAULT_PROPERTYLIBRARY_ID_PROPERTY, LIBRARY_NAME_PROPERTYCLASSPATH_PROPERTY, DOCPATH_PROPERTY, ISLOCKED_PROPERTY, SOURCEPATH_PROPERTY| Modifier and Type | Method and Description |
|---|---|
boolean |
getForceExtensionInitialization()
Determine whether or not the extension that provided the library
should be initialized if the library is referenced.
|
java.lang.String |
getProviderExtensionId()
Get the id of the extension that provided this library,
may be
null. |
boolean |
isHidden()
Whether the library should be hidden from the user.
|
getDefaultLibraryDefinition, getDeployedByDefault, getLibraryDefinition, setDeployedByDefaultequivalent, getDefaultClassPath, getDefaultDocPath, getDefaultSourcePath, getID, getName, initFromLibrary, setDefaultClassPath, setDefaultDocPath, setDefaultSourcePath, setNamegetClassPath, getDocPath, getSourcePath, isLocked, setClassPath, setDocPath, setLocked, setSourcePathgetAttributedLabel, getIcon, getLongLabel, getShortLabel, getToolTipText, toStringboolean getForceExtensionInitialization()
true if the extension should be initialized;
false otherwisejava.lang.String getProviderExtensionId()
null.nullboolean isHidden()
true if this library is hidden from the user,
false otherwise