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 Details

    • name

      protected final String name
  • Constructor Details

    • Label

      public Label(String name)
    • Label

      public Label()
  • Method Details