external.JSON.JSONString Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package external.JSON;
/**
 * The JSONString interface allows a toJSONString()
 * method so that a class can change the behavior of
 * JSONObject.toString(), JSONArray.toString(),
 * and JSONWriter.value(Object). The
 * toJSONString method will be used instead of the default behavior
 * of using the Object's toString() method and quoting the result.
 */
public interface JSONString {
    /**
     * The toJSONString method allows a class to produce its own JSON
     * serialization.
     *
     * @return A strictly syntactically correct JSON text.
     */
    public String toJSONString();
}