Package net.diversionmc.json

Class JSON.JSONValue

java.lang.Object

net.diversionmc.parser.util.Pointable

net.diversionmc.parser.pattern.Sentence

net.diversionmc.json.JSON.JSONValue

Direct Known Subclasses:

JSON.JSONArray, JSON.JSONNumber, JSON.JSONObject, JSON.JSONString

Enclosing class:

JSON

public abstract static sealed class JSON.JSONValue
extends net.diversionmc.parser.pattern.Sentence
permits JSON.JSONObject, JSON.JSONArray, JSON.JSONNumber, JSON.JSONString

Parsed JSON value that stores any data.

Constructor Summary

Constructors

Constructor	Description
JSONValue(net.diversionmc.parser.util.FilePointer ptr)	Construct a JSON Value.

Method Summary

Modifier and Type	Method	Description
JSON.JSONArray	asArray()	Try to convert this value to JSON.JSONArray.
JSON.JSONNumber	asNumber()	Try to convert this value to JSON.JSONNumber.
JSON.JSONObject	asObject()	Try to convert this value to JSON.JSONObject.
JSON.JSONString	asString()	Try to convert this value to JSON.JSONString.

Methods inherited from class net.diversionmc.parser.pattern.Sentence

isStatement

Methods inherited from class net.diversionmc.parser.util.Pointable

pointer

Methods inherited from class java.lang.Object

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

Constructor Details

JSONValue

public JSONValue(net.diversionmc.parser.util.FilePointer ptr)

Construct a JSON Value.

Parameters:

ptr - Creation position.

Method Details

asObject

public JSON.JSONObject asObject()
                         throws ClassCastException

Try to convert this value to JSON.JSONObject.

Throws:

ClassCastException

asArray

public JSON.JSONArray asArray()
                       throws ClassCastException

Try to convert this value to JSON.JSONArray.

Throws:

ClassCastException

asNumber

public JSON.JSONNumber asNumber()
                         throws ClassCastException

Try to convert this value to JSON.JSONNumber.

Throws:

ClassCastException

asString

public JSON.JSONString asString()
                         throws ClassCastException

Try to convert this value to JSON.JSONString.

Throws:

ClassCastException