Class GeneralTools

java.lang.Object

org.episteme.social.linguistics.loaders.tigerxml.tools.GeneralTools

public class GeneralTools
extends Object

Provides methods that might generally be useful when utilizing TigerXML.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
GeneralTools()

Method Summary

Modifier and Type	Method	Description
static String	getTimeStamp()	Generate and return a string with current date and time.
static String	map2String(Map<?,?> map)	Converts a Map to a String.
static String	map2String(Map<?,?> map, String prefix)	Converts a Map to a String with prefix.
static int	minEditDistance(List<?> listA, List<?> listB)	Compute the Minimum Edit Distance between two Lists.
protected static int	minimum(int a, int b, int c)	Returns the minimum of three integer values.
static <N extends GraphNode> List<N>	sortNodes(List<N> unsortedNodes)	This static method accepts a list of GraphNodes and sorts it according to linear precedence.
static List<T>	sortTerminals(List<T> unsortedTerminals)	Sorts a given list of Terminals according to linear precedence.
static String	timeConvert(long time)	Converts a time value given in ms into minutes and seconds.

Methods inherited from class Object

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

Constructor Details

GeneralTools

public GeneralTools()

Method Details

minimum

protected static int minimum(int a,
 int b,
 int c)

Returns the minimum of three integer values.

sortNodes

public static <N extends GraphNode> List<N> sortNodes(List<N> unsortedNodes)

This static method accepts a list of GraphNodes and sorts it according to linear precedence.

Parameters:

unsortedNodes - The List of nodes to be sorted.

Returns:

sorted list

sortTerminals

public static List<T> sortTerminals(List<T> unsortedTerminals)

Sorts a given list of Terminals according to linear precedence.

minEditDistance

public static int minEditDistance(List<?> listA,
 List<?> listB)

Compute the Minimum Edit Distance between two Lists.

timeConvert

public static String timeConvert(long time)

Converts a time value given in ms into minutes and seconds.

getTimeStamp

public static String getTimeStamp()

Generate and return a string with current date and time.

map2String

public static String map2String(Map<?,?> map)

Converts a Map to a String.

map2String

public static String map2String(Map<?,?> map,
 String prefix)

Converts a Map to a String with prefix.