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.

Field Summary

Fields

Modifier and Type	Field and Description
protected String	name

Constructor Summary

Constructors

Constructor and Description
Label()
Label(String name)

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

protected final String name

Constructor Detail

Label

public Label(String name)

Label

public Label()

Method Detail

toString

public String toString()

Overrides:

toString in class Object