public class SwitchLabelElement extends java.lang.Object
int
key
Label
target
SwitchLabelElement(int key, Label target)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final int key
@Nonnull public final Label target
public SwitchLabelElement(int key, @Nonnull Label target)