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

java.lang.Object
- software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyOutput

public class GetActiveBranchKeyOutput
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`BranchKeyMaterials`	`_branchKeyMaterials`

Constructors
Constructor and Description
`GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<GetActiveBranchKeyOutput>`	`_typeDescriptor()`
`static GetActiveBranchKeyOutput`	`create_GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials)`
`static GetActiveBranchKeyOutput`	`create(BranchKeyMaterials branchKeyMaterials)`
`static GetActiveBranchKeyOutput`	`Default()`
`BranchKeyMaterials`	`dtor_branchKeyMaterials()`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`boolean`	`is_GetActiveBranchKeyOutput()`
`java.lang.String`	`toString()`

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

public BranchKeyMaterials _branchKeyMaterials

public GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials)

public boolean equals(java.lang.Object other)

public static GetActiveBranchKeyOutput Default()

public static dafny.TypeDescriptor<GetActiveBranchKeyOutput> _typeDescriptor()

public static GetActiveBranchKeyOutput create(BranchKeyMaterials branchKeyMaterials)

public static GetActiveBranchKeyOutput create_GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials)

public boolean is_GetActiveBranchKeyOutput()

public BranchKeyMaterials dtor_branchKeyMaterials()

Class GetActiveBranchKeyOutput