public static BeaconVersion BeaconVersion()

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


  public static BeaconVersion BeaconVersion(
    software.amazon.cryptography.dbencryptionsdk.dynamodb.model.BeaconVersion nativeValue
  ) {
    Integer version;
    version = (nativeValue.version());
    IKeyStoreClient keyStore;
    keyStore =
      software.amazon.cryptography.keystore.ToDafny.KeyStore(
        nativeValue.keyStore()
      );
    BeaconKeySource keySource;
    keySource = ToDafny.BeaconKeySource(nativeValue.keySource());
    DafnySequence<? extends StandardBeacon> standardBeacons;
    standardBeacons = ToDafny.StandardBeaconList(nativeValue.standardBeacons());
    Option<DafnySequence<? extends CompoundBeacon>> compoundBeacons;
    compoundBeacons =
      (Objects.nonNull(nativeValue.compoundBeacons()) &&
          nativeValue.compoundBeacons().size() > 0)
        ? Option.create_Some(
          DafnySequence._typeDescriptor(CompoundBeacon._typeDescriptor()),
          ToDafny.CompoundBeaconList(nativeValue.compoundBeacons())
        )
        : Option.create_None(
          DafnySequence._typeDescriptor(CompoundBeacon._typeDescriptor())
        );
    Option<DafnySequence<? extends VirtualField>> virtualFields;
    virtualFields =
      (Objects.nonNull(nativeValue.virtualFields()) &&
          nativeValue.virtualFields().size() > 0)
        ? Option.create_Some(
          DafnySequence._typeDescriptor(VirtualField._typeDescriptor()),
          ToDafny.VirtualFieldList(nativeValue.virtualFields())
        )
        : Option.create_None(
          DafnySequence._typeDescriptor(VirtualField._typeDescriptor())
        );
    Option<DafnySequence<? extends EncryptedPart>> encryptedParts;
    encryptedParts =
      (Objects.nonNull(nativeValue.encryptedParts()) &&
          nativeValue.encryptedParts().size() > 0)
        ? Option.create_Some(
          DafnySequence._typeDescriptor(EncryptedPart._typeDescriptor()),
          ToDafny.EncryptedPartsList(nativeValue.encryptedParts())
        )
        : Option.create_None(
          DafnySequence._typeDescriptor(EncryptedPart._typeDescriptor())
        );
    Option<DafnySequence<? extends SignedPart>> signedParts;
    signedParts =
      (Objects.nonNull(nativeValue.signedParts()) &&
          nativeValue.signedParts().size() > 0)
        ? Option.create_Some(
          DafnySequence._typeDescriptor(SignedPart._typeDescriptor()),
          ToDafny.SignedPartsList(nativeValue.signedParts())
        )
        : Option.create_None(
          DafnySequence._typeDescriptor(SignedPart._typeDescriptor())
        );
    return new BeaconVersion(
      version,
      keyStore,
      keySource,
      standardBeacons,
      compoundBeacons,
      virtualFields,
      encryptedParts,
      signedParts
    );
  }