模块 aya.base

程序包 org.aya.concrete.stmt

枚举类 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)	返回带有指定名称的该类的枚举常量。
static Decl.Personality[]	values()	返回包含该枚举类的常量的数组， 顺序与声明这些常量的顺序相同

从类继承的方法 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()

返回包含该枚举类的常量的数组， 顺序与声明这些常量的顺序相同

返回:

包含该枚举类的常量的数组，顺序与声明这些常量的顺序相同

valueOf

public static Decl.Personality valueOf(String name)

返回带有指定名称的该类的枚举常量。 字符串必须与用于声明该类的枚举常量的 标识符完全匹配。（不允许有多余 的空格字符。）

参数:

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

返回:

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

抛出:

IllegalArgumentException - 如果该枚举类没有带有指定名称的常量

NullPointerException - 如果参数为空值