Materials_Compile

Class __default

java.lang.Object

Materials_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 Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error>	DecodeVerificationKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)
static Wrappers_Compile.Result<DecryptionMaterials,Error>	DecryptionMaterialsAddDataKey(DecryptionMaterials decryptionMaterials, dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)
static boolean	DecryptionMaterialsTransitionIsValid(DecryptionMaterials oldMat, DecryptionMaterials newMat)
static boolean	DecryptionMaterialsWithoutPlaintextDataKey(DecryptionMaterials decryptionMaterials)
static boolean	DecryptionMaterialsWithPlaintextDataKey(DecryptionMaterials decryptionMaterials)
static dafny.DafnySequence<? extends java.lang.Byte>	EC__PUBLIC__KEY__FIELD()
static Wrappers_Compile.Result<EncryptionMaterials,Error>	EncryptionMaterialAddDataKey(EncryptionMaterials encryptionMaterials, dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey, dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeysToAdd, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeysToAdd)
static Wrappers_Compile.Result<EncryptionMaterials,Error>	EncryptionMaterialAddEncryptedDataKeys(EncryptionMaterials encryptionMaterials, dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeysToAdd, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeysToAdd)
static boolean	EncryptionMaterialsHasPlaintextDataKey(EncryptionMaterials encryptionMaterials)
static Wrappers_Compile.Result<DecryptionMaterials,Error>	InitializeDecryptionMaterials(InitializeDecryptionMaterialsInput input)
static Wrappers_Compile.Result<EncryptionMaterials,Error>	InitializeEncryptionMaterials(InitializeEncryptionMaterialsInput input)
static dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Byte>>	RESERVED__KEY__VALUES()
java.lang.String	toString()
static boolean	ValidDecryptionMaterials(DecryptionMaterials decryptionMaterials)
static boolean	ValidEncryptionMaterials(EncryptionMaterials encryptionMaterials)
static boolean	ValidEncryptionMaterialsTransition(EncryptionMaterials oldMat, EncryptionMaterials newMat)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

InitializeEncryptionMaterials

public static Wrappers_Compile.Result<EncryptionMaterials,Error> InitializeEncryptionMaterials(InitializeEncryptionMaterialsInput input)

InitializeDecryptionMaterials

public static Wrappers_Compile.Result<DecryptionMaterials,Error> InitializeDecryptionMaterials(InitializeDecryptionMaterialsInput input)

DecodeVerificationKey

public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error> DecodeVerificationKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)

ValidEncryptionMaterialsTransition

public static boolean ValidEncryptionMaterialsTransition(EncryptionMaterials oldMat,
                                                         EncryptionMaterials newMat)

ValidEncryptionMaterials

public static boolean ValidEncryptionMaterials(EncryptionMaterials encryptionMaterials)

EncryptionMaterialsHasPlaintextDataKey

public static boolean EncryptionMaterialsHasPlaintextDataKey(EncryptionMaterials encryptionMaterials)

EncryptionMaterialAddEncryptedDataKeys

public static Wrappers_Compile.Result<EncryptionMaterials,Error> EncryptionMaterialAddEncryptedDataKeys(EncryptionMaterials encryptionMaterials,
                                                                                                        dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeysToAdd,
                                                                                                        Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeysToAdd)

EncryptionMaterialAddDataKey

public static Wrappers_Compile.Result<EncryptionMaterials,Error> EncryptionMaterialAddDataKey(EncryptionMaterials encryptionMaterials,
                                                                                              dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey,
                                                                                              dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeysToAdd,
                                                                                              Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeysToAdd)

DecryptionMaterialsTransitionIsValid

public static boolean DecryptionMaterialsTransitionIsValid(DecryptionMaterials oldMat,
                                                           DecryptionMaterials newMat)

ValidDecryptionMaterials

public static boolean ValidDecryptionMaterials(DecryptionMaterials decryptionMaterials)

DecryptionMaterialsAddDataKey

public static Wrappers_Compile.Result<DecryptionMaterials,Error> DecryptionMaterialsAddDataKey(DecryptionMaterials decryptionMaterials,
                                                                                               dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey,
                                                                                               Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)

DecryptionMaterialsWithoutPlaintextDataKey

public static boolean DecryptionMaterialsWithoutPlaintextDataKey(DecryptionMaterials decryptionMaterials)

DecryptionMaterialsWithPlaintextDataKey

public static boolean DecryptionMaterialsWithPlaintextDataKey(DecryptionMaterials decryptionMaterials)

EC__PUBLIC__KEY__FIELD

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

RESERVED__KEY__VALUES

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object