org.jmlspecs.jml4.esc.util
Class Utils

java.lang.Object
  org.jmlspecs.jml4.esc.util.Utils

public class Utils
extends java.lang.Object

Constructor Summary

Utils()

Method Summary

static void	assertNotNull(java.lang.Object o)
static void	assertNotNull(java.lang.Object o, java.lang.String msg)
static void	assertTrue(boolean b, java.lang.String msg)
static void	deleteFile(java.io.File dir, java.lang.String filename)
static void	deleteFile(java.lang.String filename)
static void	deleteFiles(java.lang.String directory, java.lang.String extension)
static int	max(java.lang.Integer[] array)
static int	max(java.util.Set set)
static int	parseInt(java.lang.String s, int defaultValue)
static java.lang.String	readFromFile(java.lang.String filename)
static java.lang.String	toString(char[][] a, char separator)
static java.lang.String	toString(java.lang.Object[] a)
static java.lang.Integer	valueOf(int i)
static java.lang.String	win2unixFileName(java.lang.String filename)
static void	writeToFile(java.lang.String filename, java.lang.String contents)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Utils

public Utils()

Method Detail

assertTrue

public static void assertTrue(boolean b,
                              java.lang.String msg)

assertNotNull

public static void assertNotNull(java.lang.Object o)

assertNotNull

public static void assertNotNull(java.lang.Object o,
                                 java.lang.String msg)

max

public static int max(java.util.Set set)

max

public static int max(java.lang.Integer[] array)

toString

public static java.lang.String toString(java.lang.Object[] a)

toString

public static java.lang.String toString(char[][] a,
                                        char separator)

valueOf

public static java.lang.Integer valueOf(int i)

parseInt

public static int parseInt(java.lang.String s,
                           int defaultValue)

writeToFile

public static void writeToFile(java.lang.String filename,
                               java.lang.String contents)

readFromFile

public static java.lang.String readFromFile(java.lang.String filename)

deleteFile

public static void deleteFile(java.lang.String filename)

deleteFile

public static void deleteFile(java.io.File dir,
                              java.lang.String filename)

deleteFiles

public static void deleteFiles(java.lang.String directory,
                               java.lang.String extension)

win2unixFileName

public static java.lang.String win2unixFileName(java.lang.String filename)