be.ac.umons.jsonlearning

Class Utils

java.lang.Object

be.ac.umons.jsonlearning.Utils

public class Utils
extends Object

Utility functions for oracles.

Author:

Gaëtan Staquet

Method Summary

Modifier and Type	Method and Description
static int	countUnmatched(String word) Counts the number of unmatched { and [ in a String.
static String	escapeSymbolsForJSON(String string) We escape the "\S", "\E", "\I", and "\D" symbols in the document (to avoid errors from JSONObject).
static boolean	validWord(String word) Tests whether the provided string encodes a valid JSON document.
static String	wordToString(net.automatalib.words.Word<Character> word) Converts an Automatalib's Word into a Java String.

Methods inherited from class java.lang.Object

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

Method Detail

wordToString

public static String wordToString(net.automatalib.words.Word<Character> word)

Converts an Automatalib's Word into a Java String.

Parameters:

word - The word

Returns:

The string constructed from the word.

countUnmatched

public static int countUnmatched(String word)

Counts the number of unmatched { and [ in a String.

Parameters:

word - The string

Returns:

The number of unmatched { and [

validWord

public static boolean validWord(String word)

Tests whether the provided string encodes a valid JSON document. That is, the string must begin by {} and end by {@code \}.

Parameters:

word -

Returns:

escapeSymbolsForJSON

public static String escapeSymbolsForJSON(String string)

We escape the "\S", "\E", "\I", and "\D" symbols in the document (to avoid errors from JSONObject). That means we replace every \\([SIDE]) by \\\\$1.

Parameters:

string - The string to escape

Returns:

The escaped string