util

Value Members

1. def convertFromJson(json: String): JsonNode

   Convert a JSON string into a Jackson node.

2. def convertToJson(intermediate: AnyRef): String

   Convert intermediate object into a JSON string.

3. def escapeJson(x: String): String

   Escapes string x so that it can be used in JSON.

   Escapes string x so that it can be used in JSON.

   Turns special characters such as " into escape sequences like \", but does not add quotes around the whole string.

4. def pos(dot: String, at: String): String

   Generate a position string from locator mark data and PFA path index.

   Generate a position string from locator mark data and PFA path index.

   Replaces "%%" with "PERCENT-PERCENT" and "%" with "PERCENT" so that they can be used in format strings.

5. object unescapeJson extends (String) ⇒ Option[String]

   Unescapes string json, turning escape sequences like \" into " and removes quotes around the whole string.

6. object uniqueEngineName extends () ⇒ String

   Generate an engine name like "Engine_12" by incrementing a counter (starting with 1).

7. object uniqueEnumName extends () ⇒ String

   Generate an enum type name like "Enum_12" by incrementing a counter (starting with 1).

8. object uniqueFixedName extends () ⇒ String

   Generate a fixed type name like "Fixed_12" by incrementing a counter (starting with 1).

9. object uniqueRecordName extends () ⇒ String

   Generate a record type name like "Record_12" by incrementing a counter (starting with 1).