public class GetActiveBranchKeyOutput
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
BranchKeyMaterials |
_branchKeyMaterials |
| Constructor and Description |
|---|
GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials) |
| 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() |
public BranchKeyMaterials _branchKeyMaterials
public GetActiveBranchKeyOutput(BranchKeyMaterials branchKeyMaterials)
public boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic 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()