org.checkerframework.dataflow.cfg

Class CFGBuilder.Label

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.Label

Enclosing class:

CFGBuilder

protected static class CFGBuilder.Label
extends java.lang.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 java.lang.String	name

Constructor Summary

Constructors

Constructor and Description
Label()
Label(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

protected java.lang.String name

Constructor Detail

Label

public Label(java.lang.String name)

Label

public Label()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object