public class ExtensionManager extends Object
Modifier and Type | Field and Description |
---|---|
protected ArrayList<org.sikuli.script.Extension> |
_extensions |
protected File |
_extListFile |
protected static ExtensionManager |
_instance |
protected static String |
EXT_LIST_FILE |
Modifier | Constructor and Description |
---|---|
protected |
ExtensionManager() |
Modifier and Type | Method and Description |
---|---|
protected void |
addExtension(String name,
String url,
String version) |
protected org.sikuli.script.Extension |
find(String name) |
static ExtensionManager |
getInstance() |
String |
getUserExtPath()
returns the absolute path to the user's extension path
|
String |
getVersion(String name) |
boolean |
install(String name,
String url_,
String version_)
install a Sikuli extension (.JAR)
|
boolean |
isInstalled(String name) |
boolean |
isOutOfDate(String name,
String version) |
static String |
normalisedVersion(String version) |
static String |
normalisedVersion(String version,
String sep,
int maxWidth) |
protected void |
readExtList() |
protected void |
updateExtList() |
protected static final String EXT_LIST_FILE
protected static ExtensionManager _instance
protected File _extListFile
protected ArrayList<org.sikuli.script.Extension> _extensions
public static ExtensionManager getInstance()
protected void readExtList()
protected void updateExtList() throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
protected org.sikuli.script.Extension find(String name)
public boolean isInstalled(String name)
public boolean install(String name, String url_, String version_)
public String getUserExtPath()