模块 aya.base

程序包 org.aya.concrete.stmt

Enum Class Decl.Personality

java.lang.Object

java.lang.Enum<Decl.Personality>

org.aya.concrete.stmt.Decl.Personality

所有已实现的接口:

Serializable, Comparable<Decl.Personality>, Constable

封闭接口:

Decl

public static enum Decl.Personality
extends Enum<Decl.Personality>

另请参阅:

• Modifier

嵌套类概要

从类继承的嵌套类/接口 java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

枚举常量概要

枚举常量

枚举常量	说明
COUNTEREXAMPLE	Denotes that the definition is a counterexample (errors expected, in separated context)
EXAMPLE	Denotes that the definition is an example (same as normal, but in separated context)
NORMAL	Denotes that the definition is a normal definition (default behavior)

方法概要

修饰符和类型	方法	说明
static Decl.Personality	valueOf(String name)	Returns the enum constant of this class with the specified name.
static Decl.Personality[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

从类继承的方法 java.lang.Enum

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

从类继承的方法 java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

枚举常量详细资料

NORMAL

public static final Decl.Personality NORMAL

Denotes that the definition is a normal definition (default behavior)

EXAMPLE

public static final Decl.Personality EXAMPLE

Denotes that the definition is an example (same as normal, but in separated context)

COUNTEREXAMPLE

public static final Decl.Personality COUNTEREXAMPLE

Denotes that the definition is a counterexample (errors expected, in separated context)

方法详细资料

values

public static Decl.Personality[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

返回:

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

valueOf

public static Decl.Personality valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

参数:

name - 要返回的枚举常量的名称。

返回:

返回带有指定名称的枚举常量

抛出:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - 如果参数为空值