Package bridge

Class Label

java.lang.Object

bridge.Label

public final class Label
extends Object

A class for creating labels with persistent identifiers

See Also:

• Teleport to a persistent label in the same method with Jump

Notes:

Labels must be constructed and disposed of in a single statement. They may not be stored. Usages of these constructors are counted as removals.

Constructor Summary

Constructors

Constructor	Description
Label(int id)	Creates a persistent label at this location
Label(String name)	Creates a persistent label at this location

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

Label

public Label(int id)

Creates a persistent label at this location

Parameters:

id - Label ID constant – no dynamic values or mathematics is permitted here.

Label

public Label(String name)

Creates a persistent label at this location

Parameters:

name - Label name constant – no dynamic values or string manipulation is permitted here.