• Home
• software.amazon.cryptography
• aws-cryptographic-material-providers
• 1.8.0
• source code
• ConditionExpression_BRANCH__KEY__EXISTS.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

DDBKeystoreOperations_Compile.ConditionExpression_BRANCH__KEY__EXISTS Maven / Gradle / Ivy

// Class ConditionExpression_BRANCH__KEY__EXISTS
// Dafny class ConditionExpression_BRANCH__KEY__EXISTS compiled into Java
package DDBKeystoreOperations_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.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class ConditionExpression_BRANCH__KEY__EXISTS extends ConditionExpression {
  public ConditionExpression_BRANCH__KEY__EXISTS () {
    super();
  }

  @Override
  public boolean equals(Object other) {
    if (this == other) return true;
    if (other == null) return false;
    if (getClass() != other.getClass()) return false;
    ConditionExpression_BRANCH__KEY__EXISTS o = (ConditionExpression_BRANCH__KEY__EXISTS)other;
    return true;
  }
  @Override
  public int hashCode() {
    long hash = 5381;
    hash = ((hash << 5) + hash) + 1;
    return (int)hash;
  }

  @Override
  public String toString() {
    StringBuilder s = new StringBuilder();
    s.append("DDBKeystoreOperations.ConditionExpression.BRANCH_KEY_EXISTS");
    return s.toString();
  }
}