Package dafny

Class CodePoint

java.lang.Object
dafny.CodePoint
public final class CodePoint extends Object
An int wrapper type just like java.lang.Integer, but used as a more type-safe reference to a Unicode scalar value specifically, which corresponds to the Dafny `char` type when using --unicode-char.

  • Method Details

    • valueOf

      public static CodePoint valueOf(int value)

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public static int hashCode(int value)

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • value

      public int value()

    • toString

      public String toString()
      Overrides:
      toString in class Object