public static enum SoundnessCheck.FailureKind extends java.lang.Enum<SoundnessCheck.FailureKind>
Enum Constant and Description |
---|
MISSING_CALL |
MISSING_DATAFLOW |
MISSING_NATIVE_PROPERTY |
UNREACHABLE |
WRONG_VALUE |
Modifier and Type | Method and Description |
---|---|
static SoundnessCheck.FailureKind |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SoundnessCheck.FailureKind[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SoundnessCheck.FailureKind MISSING_CALL
public static final SoundnessCheck.FailureKind MISSING_DATAFLOW
public static final SoundnessCheck.FailureKind MISSING_NATIVE_PROPERTY
public static final SoundnessCheck.FailureKind UNREACHABLE
public static final SoundnessCheck.FailureKind WRONG_VALUE
public static SoundnessCheck.FailureKind valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static SoundnessCheck.FailureKind[] values()
for (SoundnessCheck.FailureKind c : SoundnessCheck.FailureKind.values()) System.out.println(c);
Copyright © 2009-2019 Aarhus University