draw.controller.json

Class JSON_Export

java.lang.Object

draw.controller.json.JSON_Export

All Implemented Interfaces:

Visitor

public class JSON_Export
extends java.lang.Object
implements Visitor

Constructor Summary

Constructors

Constructor and Description
JSON_Export(java.util.Hashtable<Style,java.lang.String> styleRepository, java.util.Hashtable<Group,java.util.ArrayList<java.lang.String>> partIDs)

Method Summary

Modifier and Type	Method and Description
java.lang.String	genEncoding() Return encoding suitable for retrieval later.
java.lang.String	quote(java.lang.String s) Embed a string in JSON
void	visit(Element elt) Visit each individual leaf element.
void	visit(Group group) Visit a group

Methods inherited from class java.lang.Object

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

Constructor Detail

JSON_Export

public JSON_Export(java.util.Hashtable<Style,java.lang.String> styleRepository,
                   java.util.Hashtable<Group,java.util.ArrayList<java.lang.String>> partIDs)

Method Detail

quote

public java.lang.String quote(java.lang.String s)

Embed a string in JSON

Parameters:

s - string to be quoted

Returns:

Add quotes around the given string.

genEncoding

public java.lang.String genEncoding()

Return encoding suitable for retrieval later.

Returns:

JSON encoding for entire document

visit

public void visit(Element elt)

Description copied from interface: Visitor

Visit each individual leaf element.

Specified by:

visit in interface Visitor

Parameters:

elt - Leaf element being visited

visit

public void visit(Group group)

Description copied from interface: Visitor

Visit a group

Specified by:

visit in interface Visitor

Parameters:

group - Group element being visited