Package com.tonic.analysis.source.recovery

Enum ControlFlowContext.StructuredRegion

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      DO_WHILE_LOOP
      A loop whose test sits at the latch, so the body always runs once.
      FOR_LOOP
      A head-tested loop whose induction variable and increment block were both identified, so it can print as a for statement.
      GUARD_CLAUSE
      A conditional whose taken arm exits early, so it reads as a guard rather than an if/else with two live arms.
      IF_THEN
      A conditional with one populated arm, the other edge running straight to the merge.
      IF_THEN_ELSE
      A conditional with both arms populated, reconverging at a merge block.
      IRREDUCIBLE
      A region no source construct matches, such as a loop entered at more than one header.
      SEQUENCE
      Straight-line code with no branching of its own; the fallback when no other shape fits.
      SWITCH
      A multi-way dispatch on one value, with an arm per case label and a default.
      TRY_CATCH
      A protected body with its handlers, whose edges come from the exception table rather than from branches.
      WHILE_LOOP
      A loop tested at its header, with no induction variable recognized to make it a for.

    • Method Detail

      • values

        public static ControlFlowContext.StructuredRegion[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows: 
        for (ControlFlowContext.StructuredRegion c : ControlFlowContext.StructuredRegion.values())
    System.out.println(c);
        Returns:
        an array containing the constants of this enum type, in the order they are declared

      • valueOf

        public static ControlFlowContext.StructuredRegion valueOf​(String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        IllegalArgumentException - if this enum type has no constant with the specified name
        NullPointerException - if the argument is null