EdkWrappingAlgorithm (aws-cryptographic-material-providers 1.0.2 API)

java.lang.Object
- software.amazon.cryptography.materialproviders.internaldafny.types.EdkWrappingAlgorithm

Constructors
Constructor and Description
`EdkWrappingAlgorithm()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<EdkWrappingAlgorithm>`	`_typeDescriptor()`
`static EdkWrappingAlgorithm`	`create_DIRECT__KEY__WRAPPING(DIRECT__KEY__WRAPPING DIRECT__KEY__WRAPPING)`
`static EdkWrappingAlgorithm`	`create_IntermediateKeyWrapping(IntermediateKeyWrapping IntermediateKeyWrapping)`
`static EdkWrappingAlgorithm`	`Default()`
`DIRECT__KEY__WRAPPING`	`dtor_DIRECT__KEY__WRAPPING()`
`IntermediateKeyWrapping`	`dtor_IntermediateKeyWrapping()`
`boolean`	`is_DIRECT__KEY__WRAPPING()`
`boolean`	`is_IntermediateKeyWrapping()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static EdkWrappingAlgorithm Default()

public static dafny.TypeDescriptor<EdkWrappingAlgorithm> _typeDescriptor()

public static EdkWrappingAlgorithm create_DIRECT__KEY__WRAPPING(DIRECT__KEY__WRAPPING DIRECT__KEY__WRAPPING)

public static EdkWrappingAlgorithm create_IntermediateKeyWrapping(IntermediateKeyWrapping IntermediateKeyWrapping)

public boolean is_DIRECT__KEY__WRAPPING()

public boolean is_IntermediateKeyWrapping()

public DIRECT__KEY__WRAPPING dtor_DIRECT__KEY__WRAPPING()

public IntermediateKeyWrapping dtor_IntermediateKeyWrapping()

Class EdkWrappingAlgorithm