Constants_Compile

Class __default

java.lang.Object

Constants_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static java.math.BigInteger	CIPHERTEXT__WRAPPED__MATERIAL__INDEX()
static software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	ECDH__AES__256__ENC__ALG()
static int	ECDH__AES__256__ENC__IV__LENGTH()
static int	ECDH__AES__256__ENC__KEY__LENGTH()
static int	ECDH__AES__256__ENC__TAG__LENGTH()
static java.math.BigInteger	ECDH__COMMITMENT__KEY__INDEX()
static java.math.BigInteger	ECDH__COMMITMENT__KEY__LENGTH()
static dafny.DafnySequence<? extends java.lang.Byte>	ECDH__KDF__DELIMETER()
static dafny.DafnySequence<? extends java.lang.Byte>	ECDH__KDF__PRF__NAME()
static dafny.DafnySequence<? extends java.lang.Character>	ECDH__KDF__PRF__STRING()
static dafny.DafnySequence<? extends java.lang.Character>	ECDH__KDF__STRING()
static dafny.DafnySequence<? extends java.lang.Byte>	ECDH__KDF__UTF8()
static int	ECDH__PROVIDER__INFO__256__LEN()
static int	ECDH__PROVIDER__INFO__384__LEN()
static int	ECDH__PROVIDER__INFO__521__LEN()
static java.math.BigInteger	ECDH__PROVIDER__INFO__PUBLIC__KEY__LEN()
static int	ECDH__PROVIDER__INFO__RPK__INDEX()
static int	ECDH__PROVIDER__INFO__RPL__INDEX()
static java.math.BigInteger	ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__256()
static java.math.BigInteger	ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__384()
static java.math.BigInteger	ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__521()
static java.math.BigInteger	ECDH__PUBLIC__KEY__LEN__ECC__NIST__256()
static java.math.BigInteger	ECDH__PUBLIC__KEY__LEN__ECC__NIST__384()
static java.math.BigInteger	ECDH__PUBLIC__KEY__LEN__ECC__NIST__521()
static java.math.BigInteger	ECDH__WRAPPED__KEY__MATERIAL__INDEX()
static int	KDF__EXPECTED__LEN()
static int	KDF__SALT__LEN()
static dafny.DafnySequence<? extends java.lang.Byte>	KMS__ECDH__PROVIDER__ID()
static dafny.DafnySequence<? extends java.lang.Byte>	PROVIDER__ID__HIERARCHY()
static dafny.DafnySequence<? extends java.lang.Byte>	PROVIDER__ID()
static dafny.DafnySequence<? extends java.lang.Byte>	RAW__ECDH__PROVIDER__ID()
static dafny.DafnySequence<? extends java.lang.Byte>	RSA__PROVIDER__ID()
java.lang.String	toString()
static java.math.BigInteger	UINT32__TO__SEQ__LEN()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

ECDH__PROVIDER__INFO__RPL__INDEX

public static int ECDH__PROVIDER__INFO__RPL__INDEX()

ECDH__PROVIDER__INFO__PUBLIC__KEY__LEN

public static java.math.BigInteger ECDH__PROVIDER__INFO__PUBLIC__KEY__LEN()

ECDH__PROVIDER__INFO__RPK__INDEX

public static int ECDH__PROVIDER__INFO__RPK__INDEX()

ECDH__AES__256__ENC__KEY__LENGTH

public static int ECDH__AES__256__ENC__KEY__LENGTH()

ECDH__AES__256__ENC__TAG__LENGTH

public static int ECDH__AES__256__ENC__TAG__LENGTH()

ECDH__AES__256__ENC__IV__LENGTH

public static int ECDH__AES__256__ENC__IV__LENGTH()

ECDH__AES__256__ENC__ALG

public static software.amazon.cryptography.primitives.internaldafny.types.AES__GCM ECDH__AES__256__ENC__ALG()

PROVIDER__ID

public static dafny.DafnySequence<? extends java.lang.Byte> PROVIDER__ID()

UINT32__TO__SEQ__LEN

public static java.math.BigInteger UINT32__TO__SEQ__LEN()

KDF__SALT__LEN

public static int KDF__SALT__LEN()

KDF__EXPECTED__LEN

public static int KDF__EXPECTED__LEN()

ECDH__COMMITMENT__KEY__LENGTH

public static java.math.BigInteger ECDH__COMMITMENT__KEY__LENGTH()

ECDH__COMMITMENT__KEY__INDEX

public static java.math.BigInteger ECDH__COMMITMENT__KEY__INDEX()

ECDH__WRAPPED__KEY__MATERIAL__INDEX

public static java.math.BigInteger ECDH__WRAPPED__KEY__MATERIAL__INDEX()

ECDH__KDF__STRING

public static dafny.DafnySequence<? extends java.lang.Character> ECDH__KDF__STRING()

ECDH__KDF__PRF__STRING

public static dafny.DafnySequence<? extends java.lang.Character> ECDH__KDF__PRF__STRING()

ECDH__KDF__DELIMETER

public static dafny.DafnySequence<? extends java.lang.Byte> ECDH__KDF__DELIMETER()

ECDH__PROVIDER__INFO__256__LEN

public static int ECDH__PROVIDER__INFO__256__LEN()

ECDH__PROVIDER__INFO__384__LEN

public static int ECDH__PROVIDER__INFO__384__LEN()

ECDH__PROVIDER__INFO__521__LEN

public static int ECDH__PROVIDER__INFO__521__LEN()

ECDH__PUBLIC__KEY__LEN__ECC__NIST__256

public static java.math.BigInteger ECDH__PUBLIC__KEY__LEN__ECC__NIST__256()

ECDH__PUBLIC__KEY__LEN__ECC__NIST__384

public static java.math.BigInteger ECDH__PUBLIC__KEY__LEN__ECC__NIST__384()

ECDH__PUBLIC__KEY__LEN__ECC__NIST__521

public static java.math.BigInteger ECDH__PUBLIC__KEY__LEN__ECC__NIST__521()

ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__256

public static java.math.BigInteger ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__256()

ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__384

public static java.math.BigInteger ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__384()

ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__521

public static java.math.BigInteger ECDH__PUBLIC__KEY__COMPRESSED__LEN__ECC__NIST__521()

CIPHERTEXT__WRAPPED__MATERIAL__INDEX

public static java.math.BigInteger CIPHERTEXT__WRAPPED__MATERIAL__INDEX()

PROVIDER__ID__HIERARCHY

public static dafny.DafnySequence<? extends java.lang.Byte> PROVIDER__ID__HIERARCHY()

RSA__PROVIDER__ID

public static dafny.DafnySequence<? extends java.lang.Byte> RSA__PROVIDER__ID()

KMS__ECDH__PROVIDER__ID

public static dafny.DafnySequence<? extends java.lang.Byte> KMS__ECDH__PROVIDER__ID()

RAW__ECDH__PROVIDER__ID

public static dafny.DafnySequence<? extends java.lang.Byte> RAW__ECDH__PROVIDER__ID()

ECDH__KDF__PRF__NAME

public static dafny.DafnySequence<? extends java.lang.Byte> ECDH__KDF__PRF__NAME()

ECDH__KDF__UTF8

public static dafny.DafnySequence<? extends java.lang.Byte> ECDH__KDF__UTF8()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object