EdkWrapping_Compile.UnwrapEdkMaterialOutput Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of aws-cryptographic-material-providers Show documentation
The AWS Cryptographic Material Providers Library for Java
There is a newer version: 1.9.0
Show newest version
// Class UnwrapEdkMaterialOutput
// Dafny class UnwrapEdkMaterialOutput compiled into Java
package EdkWrapping_Compile;

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.*;
import software.amazon.cryptography.keystore.internaldafny.*;
import AlgorithmSuites_Compile.*;
import Materials_Compile.*;
import Keyring_Compile.*;
import MultiKeyring_Compile.*;
import AwsKmsMrkAreUnique_Compile.*;
import Constants_Compile.*;
import MaterialWrapping_Compile.*;
import CanonicalEncryptionContext_Compile.*;
import IntermediateKeyWrapping_Compile.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class UnwrapEdkMaterialOutput {
  public dafny.DafnySequence _plaintextDataKey;
  public Wrappers_Compile.Option> _symmetricSigningKey;
  public T _unwrapInfo;
  protected dafny.TypeDescriptor _td_T;
  public UnwrapEdkMaterialOutput (dafny.TypeDescriptor _td_T, dafny.DafnySequence plaintextDataKey, Wrappers_Compile.Option> symmetricSigningKey, T unwrapInfo) {
    this._td_T = _td_T;
    this._plaintextDataKey = plaintextDataKey;
    this._symmetricSigningKey = symmetricSigningKey;
    this._unwrapInfo = unwrapInfo;
  }

  @Override
  public boolean equals(Object other) {
    if (this == other) return true;
    if (other == null) return false;
    if (getClass() != other.getClass()) return false;
    UnwrapEdkMaterialOutput o = (UnwrapEdkMaterialOutput)other;
    return true && java.util.Objects.equals(this._plaintextDataKey, o._plaintextDataKey) && java.util.Objects.equals(this._symmetricSigningKey, o._symmetricSigningKey) && java.util.Objects.equals(this._unwrapInfo, o._unwrapInfo);
  }
  @Override
  public int hashCode() {
    long hash = 5381;
    hash = ((hash << 5) + hash) + 0;
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._plaintextDataKey);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._symmetricSigningKey);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._unwrapInfo);
    return (int)hash;
  }

  @Override
  public String toString() {
    StringBuilder s = new StringBuilder();
    s.append("EdkWrapping.UnwrapEdkMaterialOutput.UnwrapEdkMaterialOutput");
    s.append("(");
    s.append(dafny.Helpers.toString(this._plaintextDataKey));
    s.append(", ");
    s.append(dafny.Helpers.toString(this._symmetricSigningKey));
    s.append(", ");
    s.append(dafny.Helpers.toString(this._unwrapInfo));
    s.append(")");
    return s.toString();
  }
  public static  dafny.TypeDescriptor> _typeDescriptor(dafny.TypeDescriptor _td_T) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.>referenceWithInitializer(UnwrapEdkMaterialOutput.class, () -> UnwrapEdkMaterialOutput.Default(_td_T, _td_T.defaultValue()));
  }

  public static  UnwrapEdkMaterialOutput Default(dafny.TypeDescriptor _td_T, T _default_T) {
    return EdkWrapping_Compile.UnwrapEdkMaterialOutput.create(_td_T, dafny.DafnySequence. empty(BoundedInts_Compile.uint8._typeDescriptor()), Wrappers_Compile.Option.>Default(dafny.DafnySequence._typeDescriptor(BoundedInts_Compile.uint8._typeDescriptor())), _default_T);
  }
  @Deprecated()
  public static  UnwrapEdkMaterialOutput Default(T _default_T) {
    dafny.TypeDescriptor _td_T = null;
    return EdkWrapping_Compile.UnwrapEdkMaterialOutput.create(_td_T, dafny.DafnySequence. empty(BoundedInts_Compile.uint8._typeDescriptor()), Wrappers_Compile.Option.>Default(dafny.DafnySequence._typeDescriptor(BoundedInts_Compile.uint8._typeDescriptor())), _default_T);
  }
  public static  UnwrapEdkMaterialOutput create(dafny.TypeDescriptor _td_T, dafny.DafnySequence plaintextDataKey, Wrappers_Compile.Option> symmetricSigningKey, T unwrapInfo) {
    return new UnwrapEdkMaterialOutput(_td_T, plaintextDataKey, symmetricSigningKey, unwrapInfo);
  }
  @Deprecated()
  public static  UnwrapEdkMaterialOutput create(dafny.DafnySequence plaintextDataKey, Wrappers_Compile.Option> symmetricSigningKey, T unwrapInfo) {
    return new UnwrapEdkMaterialOutput(null, plaintextDataKey, symmetricSigningKey, unwrapInfo);
  }
  public static  UnwrapEdkMaterialOutput create_UnwrapEdkMaterialOutput(dafny.TypeDescriptor _td_T, dafny.DafnySequence plaintextDataKey, Wrappers_Compile.Option> symmetricSigningKey, T unwrapInfo) {
    return create(_td_T, plaintextDataKey, symmetricSigningKey, unwrapInfo);
  }
  @Deprecated()
  public static  UnwrapEdkMaterialOutput create_UnwrapEdkMaterialOutput(dafny.DafnySequence plaintextDataKey, Wrappers_Compile.Option> symmetricSigningKey, T unwrapInfo) {
    return create(null, plaintextDataKey, symmetricSigningKey, unwrapInfo);
  }
  public boolean is_UnwrapEdkMaterialOutput() { return true; }
  public dafny.DafnySequence dtor_plaintextDataKey() {
    return this._plaintextDataKey;
  }
  public Wrappers_Compile.Option> dtor_symmetricSigningKey() {
    return this._symmetricSigningKey;
  }
  public T dtor_unwrapInfo() {
    return this._unwrapInfo;
  }
}