Package com.crawljax.stateabstractions.dom.apted.util

Class FormatUtilities

java.lang.Object

com.crawljax.stateabstractions.dom.apted.util.FormatUtilities

public class FormatUtilities
extends Object

Various formatting utilities.

Author:

Nikolaus Augsten

Constructor Summary

Constructors

Constructor	Description
FormatUtilities()

Method Summary

Modifier and Type	Method	Description
static String	commaSeparatedList(String[] list)
static String	commaSeparatedList(String[] list, char quote)
static String	escapeLatex(String s)
static List<String>	getChildren(String s)
static String	getField(int fieldNr, String line, char seperator)
static String[]	getFields(String line, char separator)
static String[]	getFields(String line, char separator, char quote)
static String	getRandomString(int length)
static String	getRoot(String s)
static int	getTreeID(String s)
static int	matchingBracket(String s, int pos)
static String	parseTree(String s, List<String> children)
static String	resizeEnd(String s, int size)
static String	resizeEnd(String s, int size, char fillChar)
static String	resizeFront(String s, int size)
static String	resizeFront(String s, int size, char fillChar)
static String	spellOutNumber(String num)
static String	stripQuotes(String s, char quote)
static String	substituteBlanks(String s, String subst)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormatUtilities

public FormatUtilities()

Method Detail

getField

public static String getField(int fieldNr,
                              String line,
                              char seperator)

getFields

public static String[] getFields(String line,
                                 char separator)

getFields

public static String[] getFields(String line,
                                 char separator,
                                 char quote)

stripQuotes

public static String stripQuotes(String s,
                                 char quote)

resizeEnd

public static String resizeEnd(String s,
                               int size)

getRandomString

public static String getRandomString(int length)

resizeEnd

public static String resizeEnd(String s,
                               int size,
                               char fillChar)

resizeFront

public static String resizeFront(String s,
                                 int size)

resizeFront

public static String resizeFront(String s,
                                 int size,
                                 char fillChar)

matchingBracket

public static int matchingBracket(String s,
                                  int pos)

getTreeID

public static int getTreeID(String s)

getRoot

public static String getRoot(String s)

getChildren

public static List<String> getChildren(String s)

parseTree

public static String parseTree(String s,
                               List<String> children)

commaSeparatedList

public static String commaSeparatedList(String[] list)

commaSeparatedList

public static String commaSeparatedList(String[] list,
                                        char quote)

spellOutNumber

public static String spellOutNumber(String num)

substituteBlanks

public static String substituteBlanks(String s,
                                      String subst)

escapeLatex

public static String escapeLatex(String s)