public static EncryptInput EncryptInput()

in AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java [199:276]
78 lines of code
9 McCabe index (conditional complexity)

  public static EncryptInput EncryptInput(
    software.amazon.cryptography.encryptionsdk.model.EncryptInput nativeValue
  ) {
    DafnySequence<? extends Byte> plaintext;
    plaintext =
      software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(
        nativeValue.plaintext()
      );
    Option<
      DafnyMap<
        ? extends DafnySequence<? extends Byte>,
        ? extends DafnySequence<? extends Byte>
      >
    > encryptionContext;
    encryptionContext =
      (Objects.nonNull(nativeValue.encryptionContext()) &&
          nativeValue.encryptionContext().size() > 0)
        ? Option.create_Some(
          DafnyMap._typeDescriptor(
            DafnySequence._typeDescriptor(TypeDescriptor.BYTE),
            DafnySequence._typeDescriptor(TypeDescriptor.BYTE)
          ),
          software.amazon.cryptography.materialproviders.ToDafny.EncryptionContext(
            nativeValue.encryptionContext()
          )
        )
        : Option.create_None(
          DafnyMap._typeDescriptor(
            DafnySequence._typeDescriptor(TypeDescriptor.BYTE),
            DafnySequence._typeDescriptor(TypeDescriptor.BYTE)
          )
        );
    Option<ICryptographicMaterialsManager> materialsManager;
    materialsManager =
      Objects.nonNull(nativeValue.materialsManager())
        ? Option.create_Some(
          TypeDescriptor.reference(ICryptographicMaterialsManager.class),
          software.amazon.cryptography.materialproviders.ToDafny.CryptographicMaterialsManager(
            nativeValue.materialsManager()
          )
        )
        : Option.create_None(
          TypeDescriptor.reference(ICryptographicMaterialsManager.class)
        );
    Option<IKeyring> keyring;
    keyring =
      Objects.nonNull(nativeValue.keyring())
        ? Option.create_Some(
          TypeDescriptor.reference(IKeyring.class),
          software.amazon.cryptography.materialproviders.ToDafny.Keyring(
            nativeValue.keyring()
          )
        )
        : Option.create_None(TypeDescriptor.reference(IKeyring.class));
    Option<ESDKAlgorithmSuiteId> algorithmSuiteId;
    algorithmSuiteId =
      Objects.nonNull(nativeValue.algorithmSuiteId())
        ? Option.create_Some(
          ESDKAlgorithmSuiteId._typeDescriptor(),
          software.amazon.cryptography.materialproviders.ToDafny.ESDKAlgorithmSuiteId(
            nativeValue.algorithmSuiteId()
          )
        )
        : Option.create_None(ESDKAlgorithmSuiteId._typeDescriptor());
    Option<Long> frameLength;
    frameLength =
      Objects.nonNull(nativeValue.frameLength())
        ? Option.create_Some(TypeDescriptor.LONG, (nativeValue.frameLength()))
        : Option.create_None(TypeDescriptor.LONG);
    return new EncryptInput(
      plaintext,
      encryptionContext,
      materialsManager,
      keyring,
      algorithmSuiteId,
      frameLength
    );
  }