public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static boolean |
AuthSchemaIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> data) |
static java.math.BigInteger |
AuthTagSize() |
static boolean |
ByteLess(byte x,
byte y) |
static dafny.DafnySequence<? extends java.lang.Byte> |
BYTES__TYPE__ID() |
static boolean |
CharLess(char x,
char y) |
static byte |
ConstantTimeCompare(dafny.DafnySequence<? extends java.lang.Byte> a,
dafny.DafnySequence<? extends java.lang.Byte> b,
byte acc) |
static boolean |
ConstantTimeEquals(dafny.DafnySequence<? extends java.lang.Byte> a,
dafny.DafnySequence<? extends java.lang.Byte> b) |
static boolean |
CryptoSchemaMapIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> data) |
static boolean |
DataMapIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data) |
static byte |
DbeAlgorithmFamily() |
static CryptoSchema |
DoNothing() |
static AuthenticateSchema |
DoNotSign() |
static AuthenticateSchema |
DoSign() |
static Error |
E(dafny.DafnySequence<? extends java.lang.Character> s) |
static CryptoSchema |
EncryptAndSign() |
static dafny.DafnySequence<? extends java.lang.Character> |
FooterField() |
static dafny.DafnySequence<? extends java.lang.Byte> |
GetValue(StructuredData data) |
static dafny.DafnySequence<? extends java.lang.Character> |
HeaderField() |
static boolean |
IsAuthAttr(CryptoAction x) |
static java.math.BigInteger |
KeySize() |
static java.math.BigInteger |
MSGID__LEN() |
static java.math.BigInteger |
NonceSize() |
static dafny.DafnySequence<? extends java.lang.Character> |
ReservedCryptoContextPrefixString() |
static dafny.DafnySequence<? extends java.lang.Byte> |
ReservedCryptoContextPrefixUTF8() |
static dafny.DafnySequence<? extends java.lang.Character> |
ReservedPrefix() |
static CryptoSchema |
SignOnly() |
java.lang.String |
toString() |
static java.math.BigInteger |
TYPEID__LEN() |
static boolean |
ValidString(dafny.DafnySequence<? extends java.lang.Character> x) |
static boolean |
ValidSuite(software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg) |
static StructuredData |
ValueToData(dafny.DafnySequence<? extends java.lang.Byte> value,
dafny.DafnySequence<? extends java.lang.Byte> typeId) |
public static boolean ValidSuite(software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg)
public static boolean ValidString(dafny.DafnySequence<? extends java.lang.Character> x)
public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)
public static byte ConstantTimeCompare(dafny.DafnySequence<? extends java.lang.Byte> a,
dafny.DafnySequence<? extends java.lang.Byte> b,
byte acc)
public static boolean ConstantTimeEquals(dafny.DafnySequence<? extends java.lang.Byte> a,
dafny.DafnySequence<? extends java.lang.Byte> b)
public static boolean CryptoSchemaMapIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> data)
public static boolean AuthSchemaIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> data)
public static boolean DataMapIsFlat(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data)
public static boolean IsAuthAttr(CryptoAction x)
public static StructuredData ValueToData(dafny.DafnySequence<? extends java.lang.Byte> value, dafny.DafnySequence<? extends java.lang.Byte> typeId)
public static dafny.DafnySequence<? extends java.lang.Byte> GetValue(StructuredData data)
public static boolean ByteLess(byte x,
byte y)
public static boolean CharLess(char x,
char y)
public static java.math.BigInteger KeySize()
public static java.math.BigInteger NonceSize()
public static java.math.BigInteger AuthTagSize()
public static java.math.BigInteger MSGID__LEN()
public static dafny.DafnySequence<? extends java.lang.Character> ReservedPrefix()
public static dafny.DafnySequence<? extends java.lang.Character> HeaderField()
public static dafny.DafnySequence<? extends java.lang.Character> FooterField()
public static dafny.DafnySequence<? extends java.lang.Byte> BYTES__TYPE__ID()
public static java.math.BigInteger TYPEID__LEN()
public static dafny.DafnySequence<? extends java.lang.Character> ReservedCryptoContextPrefixString()
public static dafny.DafnySequence<? extends java.lang.Byte> ReservedCryptoContextPrefixUTF8()
public static byte DbeAlgorithmFamily()
public static AuthenticateSchema DoNotSign()
public static AuthenticateSchema DoSign()
public static CryptoSchema EncryptAndSign()
public static CryptoSchema SignOnly()
public static CryptoSchema DoNothing()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object