public interface ExtensionLibrary extends JLibrary
DEPLOYED_BY_DEFAULT_PROPERTY
LIBRARY_ID_PROPERTY, LIBRARY_NAME_PROPERTY
CLASSPATH_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, setDeployedByDefault
equivalent, getDefaultClassPath, getDefaultDocPath, getDefaultSourcePath, getID, getName, initFromLibrary, setDefaultClassPath, setDefaultDocPath, setDefaultSourcePath, setName
getClassPath, getDocPath, getSourcePath, isLocked, setClassPath, setDocPath, setLocked, setSourcePath
getIcon, getLongLabel, getShortLabel, getToolTipText, toString
boolean getForceExtensionInitialization()
true
if the extension should be initialized;
false
otherwisejava.lang.String getProviderExtensionId()
null
.null
boolean isHidden()
true
if this library is hidden from the user,
false
otherwise