Package org.checkerframework.dataflow.cfg.builder

Class Label

  • public class 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.

    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 java.lang.String name  

    • Constructor Summary

      Constructors 
      Constructor Description
      Label()  
      Label​(java.lang.String name)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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 final 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