Interface ICFGPCG.ICFGPCGEdge

  • Enclosing class:
    ICFGPCG

    public static interface ICFGPCG.ICFGPCGEdge
    Defines tags and attributes for ICFGPCG edges
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String ICFGPCGBackEdge
      Tag applied to ICFGPCG edges that are back edges (similar to XCSG.ControlFlowBackEdge for PCGs)
      static java.lang.String ICFGPCGEdge
      Tag applied to CFG edges that are retained in the final ICFGPCG
      static java.lang.String ICFGPCGReentryEdge
      Tag applied to ICFGPCG Back eges that are reentrant
    • Field Detail

      • ICFGPCGEdge

        static final java.lang.String ICFGPCGEdge
        Tag applied to CFG edges that are retained in the final ICFGPCG
        See Also:
        Constant Field Values
      • ICFGPCGBackEdge

        static final java.lang.String ICFGPCGBackEdge
        Tag applied to ICFGPCG edges that are back edges (similar to XCSG.ControlFlowBackEdge for PCGs)
        See Also:
        Constant Field Values
      • ICFGPCGReentryEdge

        static final java.lang.String ICFGPCGReentryEdge
        Tag applied to ICFGPCG Back eges that are reentrant
        See Also:
        Constant Field Values