Package org.checkerframework.dataflow.cfg.builder

Class Label

java.lang.Object

org.checkerframework.dataflow.cfg.builder.Label

public class Label
extends Object

A label is used to refer to other extended nodes using a mapping from labels to extended nodes. Labels get their names either from labeled statements in the source code or from internally generated unique names.

Note that this class is deliberately public, to enable users of the dataflow library to customize CFG construction.

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	name

Constructor Summary

Constructors

Constructor	Description
Label()
Label(String name)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

name

protected final String name

Constructor Details

Label

public Label(String name)

Label

public Label()

Method Details

toString

public String toString()

Overrides:

toString in class Object