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, setSourcePathgetIcon, 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