Package com.tonic.analysis.source.recovery

Class ControlFlowContext.SwitchJump

java.lang.Object

com.tonic.analysis.source.recovery.ControlFlowContext.SwitchJump

Enclosing class:

ControlFlowContext

public static final class ControlFlowContext.SwitchJump
extends Object

A jump within a switch: leaving it at its merge, or falling through to a sibling caseHeader.

Field Summary

Fields

Modifier and Type	Field	Description
IRBlock	caseHeader
ControlFlowContext.SwitchJumpKind	kind

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

kind

public final ControlFlowContext.SwitchJumpKind kind

caseHeader

public final IRBlock caseHeader