StateNames (ProGuardCORE)

```
public interface StateNames
```
Names of abstract states used for state extraction with AbstractState.getStateByName(String).

- Field Summary
  
  Fields
  Modifier and Type Field 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