EdkWrapping_Compile

Class WrapEdkMaterialOutput<T>

java.lang.Object

EdkWrapping_Compile.WrapEdkMaterialOutput<T>

Direct Known Subclasses:

WrapEdkMaterialOutput_GenerateAndWrapEdkMaterialOutput, WrapEdkMaterialOutput_WrapOnlyEdkMaterialOutput

public abstract class WrapEdkMaterialOutput<T>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
WrapEdkMaterialOutput()

Method Summary

Modifier and Type	Method and Description
static <T> dafny.TypeDescriptor<WrapEdkMaterialOutput<T>>	_typeDescriptor(dafny.TypeDescriptor<T> _td_T)
static <T> WrapEdkMaterialOutput<T>	create_GenerateAndWrapEdkMaterialOutput(dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey, dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey, T wrapInfo)
static <T> WrapEdkMaterialOutput<T>	create_WrapOnlyEdkMaterialOutput(dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey, T wrapInfo)
static <T> WrapEdkMaterialOutput<T>	Default(T _default_T)
dafny.DafnySequence<? extends java.lang.Byte>	dtor_plaintextDataKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_symmetricSigningKey()
T	dtor_wrapInfo()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_wrappedMaterial()
boolean	is_GenerateAndWrapEdkMaterialOutput()
boolean	is_WrapOnlyEdkMaterialOutput()

Methods inherited from class java.lang.Object

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

Constructor Detail

WrapEdkMaterialOutput

public WrapEdkMaterialOutput()

Method Detail

Default

public static <T> WrapEdkMaterialOutput<T> Default(T _default_T)

_typeDescriptor

public static <T> dafny.TypeDescriptor<WrapEdkMaterialOutput<T>> _typeDescriptor(dafny.TypeDescriptor<T> _td_T)

create_WrapOnlyEdkMaterialOutput

public static <T> WrapEdkMaterialOutput<T> create_WrapOnlyEdkMaterialOutput(dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial,
                                                                            Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey,
                                                                            T wrapInfo)

create_GenerateAndWrapEdkMaterialOutput

public static <T> WrapEdkMaterialOutput<T> create_GenerateAndWrapEdkMaterialOutput(dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey,
                                                                                   dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial,
                                                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey,
                                                                                   T wrapInfo)

is_WrapOnlyEdkMaterialOutput

public boolean is_WrapOnlyEdkMaterialOutput()

is_GenerateAndWrapEdkMaterialOutput

public boolean is_GenerateAndWrapEdkMaterialOutput()

dtor_wrappedMaterial

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

dtor_symmetricSigningKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_symmetricSigningKey()

dtor_wrapInfo

public T dtor_wrapInfo()

dtor_plaintextDataKey

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