jml2b.util
Class Util

java.lang.Object
  jml2b.util.Profiler
      jml2b.util.Util

public class Util

extends Profiler

Class containing utility functions.

Author:

A. Requet

Constructor Summary

Util()

Method Summary

static int	countTokens(java.lang.String string_list, java.lang.String delim) Returns the number of parts into a given string
static java.lang.String[]	tokenize(java.lang.String string_list, java.lang.String delim) Returns a string array corresponding to parts of a given string
static java.lang.String	untokenize(java.lang.String[] list, java.lang.String delim) Returns a string contained from an array of string and a delimiter

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

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

Constructor Detail

Util

public Util()

Method Detail

tokenize

public static java.lang.String[] tokenize(java.lang.String string_list,
                                          java.lang.String delim)

Returns a string array corresponding to parts of a given string

Parameters:

string_list - The given string

delim - The delimiter

countTokens

public static int countTokens(java.lang.String string_list,
                              java.lang.String delim)

Returns the number of parts into a given string

Parameters:

string_list - The given string

delim - The delimiter

untokenize

public static java.lang.String untokenize(java.lang.String[] list,
                                          java.lang.String delim)

Returns a string contained from an array of string and a delimiter

Parameters:

list - The string array

delim - The delimiter