blob: 4dc42024c7bba70ebee1b9cc81b74831f19a152b [file] [log] [blame]
// Copyright (c) 2021, 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.optimize.argumentpropagation.codescanner;
import com.android.tools.r8.graph.AppView;
import com.android.tools.r8.graph.DexType;
import com.android.tools.r8.ir.analysis.type.DynamicType;
import com.android.tools.r8.ir.analysis.type.Nullability;
import com.android.tools.r8.shaking.AppInfoWithLiveness;
import com.android.tools.r8.utils.Action;
import java.util.Set;
public abstract class ConcreteReferenceTypeValueState extends ConcreteValueState {
ConcreteReferenceTypeValueState(Set<InFlow> inFlow) {
super(inFlow);
}
public abstract DynamicType getDynamicType();
public abstract Nullability getNullability();
@Override
public boolean isReferenceState() {
return true;
}
@Override
public ConcreteReferenceTypeValueState asReferenceState() {
return this;
}
public abstract NonEmptyValueState mutableJoin(
AppView<AppInfoWithLiveness> appView,
ConcreteReferenceTypeValueState state,
DexType staticType,
Action onChangedAction);
}