Class Types.DoubleType

All Implemented Interfaces:
Type
Enclosing class:
Types

public static class Types.DoubleType extends Type.FractionType
The double type in Gravitino.
  • Method Details

    • get

      public static Types.DoubleType get()
      Returns:
      The singleton instance of Types.DoubleType.
    • name

      public Type.Name name()
      Returns:
      The generic name of the type.
    • simpleString

      public String simpleString()
      Returns:
      A readable string representation for the type.