SwitchDescriptor.CaseSpec (YABR)

tonic@yabr:~$ Source Portfolio tonicbox.dev

java.lang.Object
- com.tonic.analysis.source.recovery.rcs.SwitchDescriptor.CaseSpec

Enclosing class:: SwitchDescriptor

public static final class SwitchDescriptor.CaseSpec
extends Object

One case of a decoded switch.

Constructor Summary

Constructors
Constructor Description

CaseSpec(List<Integer> intLabels, List<Expression> exprLabels, boolean isDefault, IRBlock header)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`List<Expression>`	`exprLabels()`
`IRBlock`	`header()`
`List<Integer>`	`intLabels()`
`boolean`	`isDefault()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CaseSpec
```
public CaseSpec(List<Integer> intLabels,
                List<Expression> exprLabels,
                boolean isDefault,
                IRBlock header)
```
- Method Detail
  - intLabels
```
public List<Integer> intLabels()
```
    Returns:
    
    the integer labels of this case, empty when it carries expression labels
  - exprLabels
```
public List<Expression> exprLabels()
```
    Returns:
    
    the enum-constant labels of this case, empty when it carries integer labels
  - isDefault
```
public boolean isDefault()
```
    Returns:
    
    true if this is the default case
  - header
```
public IRBlock header()
```
    Returns:
    
    the entry block of the case body, or null for an empty default