Package daikon.chicory

Enum VarFlags

  • All Implemented Interfaces:
    Serializable, Comparable<VarFlags>
    public enum VarFlags
extends Enum<VarFlags>
    An enumeration of various flags that give information about variables. This enum is also present in Daikon (in the VarInfo class), but is intentionally not shared in an effort to keep Daikon and Chicory completely independent. If you make a change, then you need to change it in all places.

    These names are written into decl files; they should be the same across every Daikon front-end (Java or otherwise), so please do not change a name without a very good reason. Adding new names is fine.

    These are documented in the Daikon Developer Manual, in section "A.3.3 Variable declarations" (but really ought to be documented here too...).

    • Method Detail

      • values

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

      • valueOf

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