src/keepanno/java/com/android/tools/r8/keepanno/ast/KeepCondition.java

// Copyright (c) 2022, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
package com.android.tools.r8.keepanno.ast;

/**
 * A keep condition is the content of an item in the set of preconditions.
 *
 * <p>It can be trivially true, or represent some program item pattern that must be present in the
 * program residual. When an condition is denoted by a program item, the condition also specifies
 * the extent of the item for which it is predicated on. The extent is given by a "usage kind" that
 * can be either its "symbolic reference" or its "actual use".
 */
public final class KeepCondition {

  public static Builder builder() {
    return new Builder();
  }

  public static class Builder {

    private KeepItemPattern itemPattern;

    private Builder() {}

    public Builder setItem(KeepItemPattern itemPattern) {
      this.itemPattern = itemPattern;
      return this;
    }

    public KeepCondition build() {
      return new KeepCondition(itemPattern);
    }
  }

  private final KeepItemPattern itemPattern;

  private KeepCondition(KeepItemPattern itemPattern) {
    assert itemPattern != null;
    this.itemPattern = itemPattern;
  }

  public KeepItemPattern getItemPattern() {
    return itemPattern;
  }

  @Override
  public boolean equals(Object o) {
    if (this == o) {
      return true;
    }
    if (o == null || getClass() != o.getClass()) {
      return false;
    }
    KeepCondition that = (KeepCondition) o;
    return itemPattern.equals(that.itemPattern);
  }

  @Override
  public int hashCode() {
    return itemPattern.hashCode();
  }

  @Override
  public String toString() {
    return itemPattern.toString();
  }
}