public static ParsedHeader ParsedHeader()

in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/ToDafny.java [282:335]

54 lines of code
9 McCabe index (conditional complexity)


  public static ParsedHeader ParsedHeader(
    software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.model.ParsedHeader nativeValue
  ) {
    DafnyMap<
      ? extends DafnySequence<? extends Character>,
      ? extends CryptoAction
    > attributeActionsOnEncrypt;
    attributeActionsOnEncrypt =
      software.amazon.cryptography.dbencryptionsdk.dynamodb.ToDafny.AttributeActions(
        nativeValue.attributeActionsOnEncrypt()
      );
    DBEAlgorithmSuiteId algorithmSuiteId;
    algorithmSuiteId =
      software.amazon.cryptography.materialproviders.ToDafny.DBEAlgorithmSuiteId(
        nativeValue.algorithmSuiteId()
      );
    DafnySequence<? extends EncryptedDataKey> encryptedDataKeys;
    encryptedDataKeys =
      software.amazon.cryptography.materialproviders.ToDafny.EncryptedDataKeyList(
        nativeValue.encryptedDataKeys()
      );
    DafnyMap<
      ? extends DafnySequence<? extends Byte>,
      ? extends DafnySequence<? extends Byte>
    > storedEncryptionContext;
    storedEncryptionContext =
      software.amazon.cryptography.materialproviders.ToDafny.EncryptionContext(
        nativeValue.storedEncryptionContext()
      );
    DafnyMap<
      ? extends DafnySequence<? extends Byte>,
      ? extends DafnySequence<? extends Byte>
    > encryptionContext;
    encryptionContext =
      software.amazon.cryptography.materialproviders.ToDafny.EncryptionContext(
        nativeValue.encryptionContext()
      );
    DafnyMap<
      ? extends DafnySequence<? extends Character>,
      ? extends AttributeValue
    > selectorContext;
    selectorContext =
      software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny.Key(
        nativeValue.selectorContext()
      );
    return new ParsedHeader(
      attributeActionsOnEncrypt,
      algorithmSuiteId,
      encryptedDataKeys,
      storedEncryptionContext,
      encryptionContext,
      selectorContext
    );
  }