proguard.analysis.cpa.util

Interface StateNames

public interface StateNames

Names of abstract states used for state extraction with AbstractState.getStateByName(String).

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	Jvm
static java.lang.String	Reference

Field Detail

Jvm

static final java.lang.String Jvm

See Also:

Constant Field Values

Reference

static final java.lang.String Reference

See Also:

Constant Field Values