martin.common
Class Misc
java.lang.Object
martin.common.Misc
public class Misc
- extends java.lang.Object
Constructor Summary |
Misc()
|
Method Summary |
static java.lang.String |
addzeros(int data,
int desiredLength)
Pads integer data with leading zeros until a desired length is reached. |
static java.lang.String |
detectEncoding(java.io.BufferedReader instream)
will try to detect whether a text file is in utf-8 or windows-1252 format |
static java.lang.String |
downloadURL(java.net.URL url)
|
static java.lang.String |
getDuration(long ms)
|
static java.lang.String |
implode(java.lang.Object[] arr,
java.lang.String separator)
|
static double[][] |
loadCSV(java.io.File file)
|
static java.lang.String |
loadFile(java.io.File file)
|
static java.util.Map<java.lang.String,java.lang.String> |
loadMap(java.io.File file)
|
static java.util.Map<java.lang.String,java.lang.String> |
loadMap(java.io.File file,
java.lang.String sep,
int keyField,
int valueField)
|
static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
loadMapSet(java.io.File file,
boolean reverse)
|
static java.util.Set<java.lang.String> |
loadStringSetFromFile(java.io.File file)
|
static java.lang.String[][] |
loadTable(java.io.File file)
|
static java.lang.String |
replicateChar(char c,
int n)
|
static java.lang.String |
replicateString(java.lang.String s,
int n)
|
static double |
round(double data,
int numFractionDigits)
rounds a double value to a given number of digits |
static java.util.ArrayList |
sort(java.util.List list)
|
static java.lang.String |
unsplit(java.util.Collection<java.lang.String> set,
java.lang.String separator)
|
static void |
writeFile(java.io.File file,
java.lang.String text)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Misc
public Misc()
implode
public static java.lang.String implode(java.lang.Object[] arr,
java.lang.String separator)
- Parameters:
arr
- separator
-
- Returns:
- a string of all string representations of the objects in arr, separated by separator
unsplit
public static java.lang.String unsplit(java.util.Collection<java.lang.String> set,
java.lang.String separator)
- Parameters:
set
- separator
-
- Returns:
- a string of all string representations of the objects in set, separated by separator
sort
public static java.util.ArrayList sort(java.util.List list)
- Parameters:
list
-
- Returns:
- list, sorted
downloadURL
public static java.lang.String downloadURL(java.net.URL url)
loadCSV
public static double[][] loadCSV(java.io.File file)
round
public static double round(double data,
int numFractionDigits)
- rounds a double value to a given number of digits
- Parameters:
data
- numFractionDigits
-
- Returns:
- data, rounded
addzeros
public static java.lang.String addzeros(int data,
int desiredLength)
- Pads integer data with leading zeros until a desired length is reached. This is useful for e.g. dates, where 2009-07-30 looks better than 2009-7-30.
- Parameters:
data
- desiredLength
-
- Returns:
- a string of length desiredLength consisting of data and a number of leading zeros
detectEncoding
public static java.lang.String detectEncoding(java.io.BufferedReader instream)
- will try to detect whether a text file is in utf-8 or windows-1252 format
- Parameters:
instream
-
- Returns:
- the name for the encoding used in the stream
replicateString
public static java.lang.String replicateString(java.lang.String s,
int n)
replicateChar
public static java.lang.String replicateChar(char c,
int n)
loadStringSetFromFile
public static java.util.Set<java.lang.String> loadStringSetFromFile(java.io.File file)
loadMap
public static java.util.Map<java.lang.String,java.lang.String> loadMap(java.io.File file)
loadMapSet
public static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> loadMapSet(java.io.File file,
boolean reverse)
loadMap
public static java.util.Map<java.lang.String,java.lang.String> loadMap(java.io.File file,
java.lang.String sep,
int keyField,
int valueField)
writeFile
public static void writeFile(java.io.File file,
java.lang.String text)
loadFile
public static java.lang.String loadFile(java.io.File file)
getDuration
public static java.lang.String getDuration(long ms)
loadTable
public static java.lang.String[][] loadTable(java.io.File file)