public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static dafny.DafnySequence<? extends java.lang.Character> |
BeaconPrefix() |
static boolean |
ByteLess(byte x,
byte y) |
static boolean |
CharLess(char x,
char y) |
static Error |
E(dafny.DafnySequence<? extends java.lang.Character> msg) |
static java.math.BigInteger |
MAX__ATTRIBUTE__COUNT() |
static dafny.DafnySequence<? extends java.lang.Character> |
ReservedPrefix() |
java.lang.String |
toString() |
static dafny.DafnySequence<? extends java.lang.Character> |
VersionPrefix() |
public static Error E(dafny.DafnySequence<? extends java.lang.Character> msg)
public static boolean ByteLess(byte x,
byte y)
public static boolean CharLess(char x,
char y)
public static dafny.DafnySequence<? extends java.lang.Character> ReservedPrefix()
public static dafny.DafnySequence<? extends java.lang.Character> BeaconPrefix()
public static dafny.DafnySequence<? extends java.lang.Character> VersionPrefix()
public static java.math.BigInteger MAX__ATTRIBUTE__COUNT()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object