generateJSON
fun generateJSON(root: Node, withIds: IdentityHashMap<Node, String>? = null, withOriginIds: IdentityHashMap<Node, String>? = null, withDestinationIds: IdentityHashMap<Node, String>? = null): JsonElement
Converts an AST to JSON format.
fun generateJSON(result: Result<out Node>, withIds: IdentityHashMap<Node, String>? = null): JsonElement
fun generateJSON(result: ParsingResult<out Node>, withIds: IdentityHashMap<Node, String>? = null): JsonElement
Converts "results" to JSON format.