public static EncryptInput EncryptInput()

in AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java [184:225]


  public static EncryptInput EncryptInput(
    software.amazon.cryptography.encryptionsdk.internaldafny.types.EncryptInput dafnyValue
  ) {
    EncryptInput.Builder nativeBuilder = EncryptInput.builder();
    nativeBuilder.plaintext(
      software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(
        dafnyValue.dtor_plaintext()
      )
    );
    if (dafnyValue.dtor_encryptionContext().is_Some()) {
      nativeBuilder.encryptionContext(
        software.amazon.cryptography.materialproviders.ToNative.EncryptionContext(
          dafnyValue.dtor_encryptionContext().dtor_value()
        )
      );
    }
    if (dafnyValue.dtor_materialsManager().is_Some()) {
      nativeBuilder.materialsManager(
        software.amazon.cryptography.materialproviders.ToNative.CryptographicMaterialsManager(
          dafnyValue.dtor_materialsManager().dtor_value()
        )
      );
    }
    if (dafnyValue.dtor_keyring().is_Some()) {
      nativeBuilder.keyring(
        software.amazon.cryptography.materialproviders.ToNative.Keyring(
          dafnyValue.dtor_keyring().dtor_value()
        )
      );
    }
    if (dafnyValue.dtor_algorithmSuiteId().is_Some()) {
      nativeBuilder.algorithmSuiteId(
        software.amazon.cryptography.materialproviders.ToNative.ESDKAlgorithmSuiteId(
          dafnyValue.dtor_algorithmSuiteId().dtor_value()
        )
      );
    }
    if (dafnyValue.dtor_frameLength().is_Some()) {
      nativeBuilder.frameLength((dafnyValue.dtor_frameLength().dtor_value()));
    }
    return nativeBuilder.build();
  }