// Copyright (c) 2020, 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.ir.analysis.framework.intraprocedural;

import com.android.tools.r8.ir.code.Instruction;

/**
 * The result of applying the {@link TransferFunction} to an {@link Instruction} and an {@link
 * AbstractState}.
 *
 * <p>The result can either be a new {@link AbstractState} or a failure, in which case the dataflow
 * analysis is aborted.
 */
public interface TransferFunctionResult<StateType extends AbstractState<StateType>> {

  default boolean isAbstractState() {
    return false;
  }

  StateType asAbstractState();

  default boolean isFailedTransferResult() {
    return false;
  }

  default FailedTransferFunctionResult<StateType> asFailedTransferResult() {
    return null;
  }
}