Enum Verbosity

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      DEBUG
      Everything, including internal markers such as taint flags and the individual edges behind each statistics count.
      MINIMAL
      Bare structure only - block headers without their instructions, and edges listed flat rather than grouped by type.
      NORMAL
      The default; adds block bodies and groups the edge listing under type headings.
      VERBOSE
      Adds the whole-graph edge dump, call sites, node properties and per-edge variable names.
    • Enum Constant Detail

      • MINIMAL

        public static final Verbosity MINIMAL
        Bare structure only - block headers without their instructions, and edges listed flat rather than grouped by type.
      • NORMAL

        public static final Verbosity NORMAL
        The default; adds block bodies and groups the edge listing under type headings.
      • VERBOSE

        public static final Verbosity VERBOSE
        Adds the whole-graph edge dump, call sites, node properties and per-edge variable names.
      • DEBUG

        public static final Verbosity DEBUG
        Everything, including internal markers such as taint flags and the individual edges behind each statistics count.
    • Method Detail

      • values

        public static Verbosity[] 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 (Verbosity c : Verbosity.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static Verbosity 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