public class SettingsConverter
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
convert(java.lang.String str,
boolean encode) |
static java.lang.String |
decode(java.lang.String str) |
static java.lang.String |
encode(java.lang.String str) |
static boolean |
read(java.util.Properties props,
java.lang.String key,
boolean defaultVal) |
static int |
read(java.util.Properties props,
java.lang.String key,
int defaultVal) |
static long |
read(java.util.Properties props,
java.lang.String key,
long defaultVal) |
static java.lang.String |
read(java.util.Properties props,
java.lang.String key,
java.lang.String defaultVal) |
static java.lang.String[] |
read(java.util.Properties props,
java.lang.String key,
java.lang.String[] defaultVal) |
static void |
store(java.util.Properties props,
java.lang.String key,
boolean value) |
static void |
store(java.util.Properties props,
java.lang.String key,
long value) |
static void |
store(java.util.Properties props,
java.lang.String key,
java.lang.String value) |
static void |
store(java.util.Properties props,
java.lang.String key,
java.lang.String[] values) |
public static java.lang.String convert(java.lang.String str, boolean encode)
public static java.lang.String encode(java.lang.String str)
public static java.lang.String decode(java.lang.String str)
public static java.lang.String read(java.util.Properties props, java.lang.String key, java.lang.String defaultVal)
public static int read(java.util.Properties props, java.lang.String key, int defaultVal)
public static long read(java.util.Properties props, java.lang.String key, long defaultVal)
public static boolean read(java.util.Properties props, java.lang.String key, boolean defaultVal)
public static java.lang.String[] read(java.util.Properties props, java.lang.String key, java.lang.String[] defaultVal)
public static void store(java.util.Properties props, java.lang.String key, java.lang.String[] values)
public static void store(java.util.Properties props, java.lang.String key, java.lang.String value)
public static void store(java.util.Properties props, java.lang.String key, boolean value)
public static void store(java.util.Properties props, java.lang.String key, long value)
Copyright © 2003-2019 The KeY-Project.