Class JSON.JSONNumber

java.lang.Object
net.diversionmc.parser.util.Pointable
net.diversionmc.parser.pattern.Sentence
net.diversionmc.json.JSON.JSONValue
net.diversionmc.json.JSON.JSONNumber
Enclosing class:
JSON

public static final class JSON.JSONNumber extends JSON.JSONValue
Parsed JSON number, as a double value.
  • Constructor Summary

    Constructors
    Constructor
    Description
    JSONNumber​(net.diversionmc.parser.util.FilePointer ptr, double v)
    Construct a JSON Number.
  • Method Summary

    Modifier and Type
    Method
    Description
    double
    Get content of this JSONNumber.
    Serialize number back to JSON.

    Methods inherited from class net.diversionmc.json.JSON.JSONValue

    asArray, asNumber, asObject, asString

    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, wait, wait, wait
  • Constructor Details

    • JSONNumber

      public JSONNumber(net.diversionmc.parser.util.FilePointer ptr, double v)
      Construct a JSON Number.
      Parameters:
      ptr - Creation position.
      v - Number to store.
  • Method Details

    • number

      public double number()
      Get content of this JSONNumber.
      Returns:
      Double value.
    • toString

      public String toString()
      Serialize number back to JSON.
      Overrides:
      toString in class Object
      Returns:
      number()