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

Constructors
Constructor and Description
`Materials()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<Materials>`	`_typeDescriptor()`
`static Materials`	`create_BeaconKey(BeaconKeyMaterials BeaconKey)`
`static Materials`	`create_BranchKey(BranchKeyMaterials BranchKey)`
`static Materials`	`create_Decryption(DecryptionMaterials Decryption)`
`static Materials`	`create_Encryption(EncryptionMaterials Encryption)`
`static Materials`	`Default()`
`BeaconKeyMaterials`	`dtor_BeaconKey()`
`BranchKeyMaterials`	`dtor_BranchKey()`
`DecryptionMaterials`	`dtor_Decryption()`
`EncryptionMaterials`	`dtor_Encryption()`
`boolean`	`is_BeaconKey()`
`boolean`	`is_BranchKey()`
`boolean`	`is_Decryption()`
`boolean`	`is_Encryption()`

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

public static dafny.TypeDescriptor<Materials> _typeDescriptor()

public static Materials create_Encryption(EncryptionMaterials Encryption)

public static Materials create_Decryption(DecryptionMaterials Decryption)

public static Materials create_BranchKey(BranchKeyMaterials BranchKey)

public static Materials create_BeaconKey(BeaconKeyMaterials BeaconKey)

public EncryptionMaterials dtor_Encryption()

public DecryptionMaterials dtor_Decryption()

public BranchKeyMaterials dtor_BranchKey()

public BeaconKeyMaterials dtor_BeaconKey()

Class Materials