org.checkerframework.javacutil

Enum PluginUtil.CheckerProp

java.lang.Object

java.lang.Enum<PluginUtil.CheckerProp>

org.checkerframework.javacutil.PluginUtil.CheckerProp

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<PluginUtil.CheckerProp>

Enclosing class:

PluginUtil

public static enum PluginUtil.CheckerProp
extends java.lang.Enum<PluginUtil.CheckerProp>

Enum Constant Summary

Enum Constants

Enum Constant and Description
A_DETAILED_MSG
A_FILENAMES
A_LINT
A_NO_MSG_TXT
A_SHOW_CHECKS
A_SKIP
A_WARNS
MISC_COMPILER

Method Summary

Modifier and Type	Method and Description
abstract java.util.List<java.lang.String>	getCmdLine(java.util.Map<PluginUtil.CheckerProp,java.lang.Object> props)
static PluginUtil.CheckerProp	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static PluginUtil.CheckerProp[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

MISC_COMPILER

public static final PluginUtil.CheckerProp MISC_COMPILER

A_SKIP

public static final PluginUtil.CheckerProp A_SKIP

A_LINT

public static final PluginUtil.CheckerProp A_LINT

A_WARNS

public static final PluginUtil.CheckerProp A_WARNS

A_NO_MSG_TXT

public static final PluginUtil.CheckerProp A_NO_MSG_TXT

A_SHOW_CHECKS

public static final PluginUtil.CheckerProp A_SHOW_CHECKS

A_FILENAMES

public static final PluginUtil.CheckerProp A_FILENAMES

A_DETAILED_MSG

public static final PluginUtil.CheckerProp A_DETAILED_MSG

Method Detail

values

public static PluginUtil.CheckerProp[] 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 (PluginUtil.CheckerProp c : PluginUtil.CheckerProp.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static PluginUtil.CheckerProp valueOf(java.lang.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:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getCmdLine

public abstract java.util.List<java.lang.String> getCmdLine(java.util.Map<PluginUtil.CheckerProp,java.lang.Object> props)