draw.controller.json

Class ShapeElement

java.lang.Object

draw.controller.json.Element

draw.controller.json.ShapeElement

public class ShapeElement
extends Element

Field Summary

Fields inherited from class draw.controller.json.Element

elements, styles

Constructor Summary

Constructors

Constructor and Description
ShapeElement(Element elt, java.lang.String styleid) Extracts information from the Element object.

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

ShapeElement

public ShapeElement(Element elt,
                    java.lang.String styleid)

Extracts information from the Element object. The final JSON will look like this: "std.tool.RectangleElt@1964d46" : { "type" : "std.tool.RectangleElt", "style": "styleid", "x" : 10, "y" : 20", "width":130, "height":80, }

Parameters:

elt - Element object

styleid - unique styleid needed for storing/loading

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