public class PeridotConfig
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private static PeridotConfig |
_instance |
java.util.Set<java.lang.String> |
availableInterpreters |
java.lang.String |
defaultInterpreter |
static VersionNumber |
minimalRVersion |
java.lang.String |
packagesRepository |
static VersionNumber |
preferredRVersion |
Constructor and Description |
---|
PeridotConfig() |
Modifier and Type | Method and Description |
---|---|
static PeridotConfig |
get() |
private static PeridotConfig |
getConfigs() |
static void |
save() |
void |
updateValues() |
public java.lang.String defaultInterpreter
public java.util.Set<java.lang.String> availableInterpreters
public java.lang.String packagesRepository
public static VersionNumber preferredRVersion
public static VersionNumber minimalRVersion
private static PeridotConfig _instance
public void updateValues()
private static PeridotConfig getConfigs()
public static PeridotConfig get()
public static void save() throws java.io.IOException
java.io.IOException