AwsKmsEdkHelper (aws-cryptographic-material-providers 1.7.0 API)

public class AwsKmsEdkHelper
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`AwsArn`	`_arn`
`EncryptedDataKey`	`_edk`

Constructors
Constructor and Description
`AwsKmsEdkHelper(EncryptedDataKey edk, AwsArn arn)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<AwsKmsEdkHelper>`	`_typeDescriptor()`
`static AwsKmsEdkHelper`	`create_AwsKmsEdkHelper(EncryptedDataKey edk, AwsArn arn)`
`static AwsKmsEdkHelper`	`create(EncryptedDataKey edk, AwsArn arn)`
`static AwsKmsEdkHelper`	`Default()`
`AwsArn`	`dtor_arn()`
`EncryptedDataKey`	`dtor_edk()`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`boolean`	`is_AwsKmsEdkHelper()`
`java.lang.String`	`toString()`

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

public AwsKmsEdkHelper(EncryptedDataKey edk,
                       AwsArn arn)

public boolean equals(java.lang.Object other)

public static dafny.TypeDescriptor<AwsKmsEdkHelper> _typeDescriptor()

public static AwsKmsEdkHelper Default()

public static AwsKmsEdkHelper create(EncryptedDataKey edk,
                                     AwsArn arn)

public static AwsKmsEdkHelper create_AwsKmsEdkHelper(EncryptedDataKey edk,
                                                     AwsArn arn)

Class AwsKmsEdkHelper