java.lang.Object
de.monticore.symboltable.serialization.json.JsonNumber
All Implemented Interfaces:
JsonElement

public class JsonNumber extends Object implements JsonElement
Represents a number in JSON. JSON does not distinguish different data types for numbers, therefore this class internally uses number parsers to return the number in a Java number data type of your choice. For example, to return the number as a long, call getNumberAsLong().
  • Field Details

    • value

      protected String value
  • Constructor Details

    • JsonNumber

      public JsonNumber(String value)
      Constructor for de.monticore._symboltable.serialization.json.JsonNumber
      Parameters:
      value -
  • Method Details

    • isJsonNumber

      public boolean isJsonNumber()
      Specified by:
      isJsonNumber in interface JsonElement
      Returns:
      true iff this object is of type JsonNumber and false otherwise.
      See Also:
    • getAsJsonNumber

      public JsonNumber getAsJsonNumber()
      Specified by:
      getAsJsonNumber in interface JsonElement
      Returns:
      this object as JsonNumber if it is of this type and throws an error otherwise.
      See Also:
    • getNumberAsFloat

      public float getNumberAsFloat()
      Returns:
      number
    • setNumber

      public void setNumber(float value)
      Parameters:
      value - the number to set
    • getNumberAsDouble

      public double getNumberAsDouble()
      Returns:
      number
    • setNumber

      public void setNumber(double value)
      Parameters:
      value - the number to set
    • getNumberAsInteger

      public int getNumberAsInteger()
      Returns:
      number
    • setNumber

      public void setNumber(int value)
      Parameters:
      value - the number to set
    • getNumberAsLong

      public long getNumberAsLong()
      Returns:
      number
    • setNumber

      public void setNumber(long value)
      Parameters:
      value - the number to set
    • getNumberAsShort

      public short getNumberAsShort()
    • setNumber

      public void setNumber(short value)
    • getNumberAsByte

      public byte getNumberAsByte()
    • setNumber

      public void setNumber(byte value)
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • print

      public String print(IndentPrinter p)
      Specified by:
      print in interface JsonElement