software.amazon.cryptography.keystore.internaldafny.KeyStoreClient Maven / Gradle / Ivy

Go to download
// Class KeyStoreClient
// Dafny class KeyStoreClient compiled into Java
package software.amazon.cryptography.keystore.internaldafny;

import software.amazon.cryptography.keystore.internaldafny.types.*;
import software.amazon.cryptography.materialproviders.internaldafny.types.*;
import AwsArnParsing_Compile.*;
import AwsKmsMrkMatchForDecrypt_Compile.*;
import AwsKmsUtils_Compile.*;
import KeyStoreErrorMessages_Compile.*;
import KmsArn_Compile.*;
import Structure_Compile.*;
import KMSKeystoreOperations_Compile.*;
import DDBKeystoreOperations_Compile.*;
import CreateKeys_Compile.*;
import CreateKeyStoreTable_Compile.*;
import GetKeys_Compile.*;
import AwsCryptographyKeyStoreOperations_Compile.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class KeyStoreClient implements software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient {
  public KeyStoreClient() {
    this._config = (AwsCryptographyKeyStoreOperations_Compile.Config)null;
  }
  public void __ctor(AwsCryptographyKeyStoreOperations_Compile.Config config)
  {
    (this)._config = config;
  }
  public Wrappers_Compile.Result GetKeyStoreInfo()
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.GetKeyStoreInfo((this).config());
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateKeyStore(software.amazon.cryptography.keystore.internaldafny.types.CreateKeyStoreInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.CreateKeyStore((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateKey(software.amazon.cryptography.keystore.internaldafny.types.CreateKeyInput input)
  {
    Wrappers_Compile.Result output = Wrappers_Compile.Result.Default(software.amazon.cryptography.keystore.internaldafny.types.CreateKeyOutput._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.CreateKeyOutput.Default());
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.CreateKey((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result VersionKey(software.amazon.cryptography.keystore.internaldafny.types.VersionKeyInput input)
  {
    Wrappers_Compile.Result output = Wrappers_Compile.Result.Default(software.amazon.cryptography.keystore.internaldafny.types.VersionKeyOutput._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.VersionKeyOutput.Default());
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.VersionKey((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result GetActiveBranchKey(software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyInput input)
  {
    Wrappers_Compile.Result output = Wrappers_Compile.Result.Default(software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyOutput._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyOutput.Default());
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.GetActiveBranchKey((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result GetBranchKeyVersion(software.amazon.cryptography.keystore.internaldafny.types.GetBranchKeyVersionInput input)
  {
    Wrappers_Compile.Result output = Wrappers_Compile.Result.Default(software.amazon.cryptography.keystore.internaldafny.types.GetBranchKeyVersionOutput._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.GetBranchKeyVersionOutput.Default());
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.GetBranchKeyVersion((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result GetBeaconKey(software.amazon.cryptography.keystore.internaldafny.types.GetBeaconKeyInput input)
  {
    Wrappers_Compile.Result output = Wrappers_Compile.Result.Default(software.amazon.cryptography.keystore.internaldafny.types.GetBeaconKeyOutput._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.keystore.internaldafny.types.GetBeaconKeyOutput.Default());
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyKeyStoreOperations_Compile.__default.GetBeaconKey((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public AwsCryptographyKeyStoreOperations_Compile.Config _config;
  public AwsCryptographyKeyStoreOperations_Compile.Config config()
  {
    return this._config;
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(KeyStoreClient.class, () -> (KeyStoreClient) null);
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
  @Override
  public java.lang.String toString() {
    return "KeyStore.KeyStoreClient";
  }
}