CodePoint (DafnyRuntime 4.8.0 API)

```
public final class CodePoint
extends java.lang.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.

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`static int`	`hashCode(int value)`
`static boolean`	`isCodePoint(java.math.BigInteger i)`
`java.lang.String`	`toString()`
`int`	`value()`
`static CodePoint`	`valueOf(int value)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public static CodePoint valueOf(int value)

public static boolean isCodePoint(java.math.BigInteger i)

public boolean equals(java.lang.Object obj)

public static int hashCode(int value)

Class CodePoint