public class ToNative
extends java.lang.Object
| Constructor and Description |
|---|
ToNative() |
public static OpaqueError Error(Error_Opaque dafnyValue)
public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue)
public static KeyStoreException Error(Error_KeyStoreException dafnyValue)
public static java.lang.RuntimeException Error(Error dafnyValue)
public static BeaconKeyMaterials BeaconKeyMaterials(BeaconKeyMaterials dafnyValue)
public static BranchKeyMaterials BranchKeyMaterials(BranchKeyMaterials dafnyValue)
public static CreateKeyInput CreateKeyInput(CreateKeyInput dafnyValue)
public static CreateKeyOutput CreateKeyOutput(CreateKeyOutput dafnyValue)
public static CreateKeyStoreInput CreateKeyStoreInput(CreateKeyStoreInput dafnyValue)
public static CreateKeyStoreOutput CreateKeyStoreOutput(CreateKeyStoreOutput dafnyValue)
public static GetActiveBranchKeyInput GetActiveBranchKeyInput(GetActiveBranchKeyInput dafnyValue)
public static GetActiveBranchKeyOutput GetActiveBranchKeyOutput(GetActiveBranchKeyOutput dafnyValue)
public static GetBeaconKeyInput GetBeaconKeyInput(GetBeaconKeyInput dafnyValue)
public static GetBeaconKeyOutput GetBeaconKeyOutput(GetBeaconKeyOutput dafnyValue)
public static GetBranchKeyVersionInput GetBranchKeyVersionInput(GetBranchKeyVersionInput dafnyValue)
public static GetBranchKeyVersionOutput GetBranchKeyVersionOutput(GetBranchKeyVersionOutput dafnyValue)
public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput(GetKeyStoreInfoOutput dafnyValue)
public static KeyStoreConfig KeyStoreConfig(KeyStoreConfig dafnyValue)
public static VersionKeyInput VersionKeyInput(VersionKeyInput dafnyValue)
public static VersionKeyOutput VersionKeyOutput(VersionKeyOutput dafnyValue)
public static KMSConfiguration KMSConfiguration(KMSConfiguration dafnyValue)
public static java.util.List<java.lang.String> GrantTokenList(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> dafnyValue)
public static java.util.Map<java.lang.String,java.lang.String> EncryptionContext(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> dafnyValue)
public static java.util.Map<java.lang.String,java.nio.ByteBuffer> HmacKeyMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> dafnyValue)
public static KeyStore KeyStore(IKeyStoreClient dafnyValue)