draw.controller.json

Class GroupElement

java.lang.Object

draw.controller.json.Element

draw.controller.json.GroupElement

public class GroupElement
extends Element

Field Summary

Fields inherited from class draw.controller.json.Element

elements, styles

Constructor Summary

Constructors

Constructor and Description
GroupElement(Group group, java.util.ArrayList<java.lang.String> partIDs) Group Element needs to have the ids of its parts.

Method Summary

Modifier and Type	Method and Description
java.lang.String	toJSON() Convert to JSON.

Methods inherited from class draw.controller.json.Element

quote

Methods inherited from class java.lang.Object

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

Constructor Detail

GroupElement

public GroupElement(Group group,
                    java.util.ArrayList<java.lang.String> partIDs)

Group Element needs to have the ids of its parts.

Parameters:

group - Group to convert

partIDs - Known IDs

Method Detail

toJSON

public java.lang.String toJSON()

Description copied from class: Element

Convert to JSON.

Specified by:

toJSON in class Element

Returns:

JSON string for element