模块 aya.base

程序包 org.aya.terck

Enum Class Relation

java.lang.Object

java.lang.Enum<Relation>

org.aya.terck.Relation

所有已实现的接口:

Serializable, Comparable<Relation>, Constable

public enum Relation
extends Enum<Relation>
implements Comparable<Relation>

Relations between size of formal function parameter and function argument in one recursive call. Together with the two operations add(Relation) and mul(Relation) the relation set forms a commutative semi-ring with zero Unknown and unit Equal.

嵌套类概要

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

Enum.EnumDesc<E extends Enum<E>>

枚举常量概要

枚举常量

枚举常量	说明
Equal	structurally (maybe strictly) smaller than
LessThan	structurally strictly smaller than
Unknown	increase or unrelated of callee argument wrt. caller parameter.

字段概要

字段

修饰符和类型	字段	说明
final @NotNull String	text

方法概要

修饰符和类型	方法	说明
@NotNull Relation	add(@NotNull Relation rhs)
static @NotNull Relation	fromCompare(int compare)
boolean	lessThanOrEqual(@NotNull Relation rhs)	A relation A is less than another relation B iff: A contains more uncertainty than B, for example: Unknown contains nothing about relations between arguments and formal parameters while LessThan declares the arguments is strictly structurally smaller than formal parameters an unmovable fact.
@NotNull Relation	mul(@NotNull Relation rhs)
String	toString()
static Relation	valueOf(String name)	Returns the enum constant of this class with the specified name.
static Relation[]	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, valueOf

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

getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 java.lang.Comparable

compareTo

枚举常量详细资料

Unknown

public static final Relation Unknown

increase or unrelated of callee argument wrt. caller parameter.

Equal

public static final Relation Equal

structurally (maybe strictly) smaller than

LessThan

public static final Relation LessThan

structurally strictly smaller than

字段详细资料

text

@NotNull
public final @NotNull String text

方法详细资料

values

public static Relation[] 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 Relation 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 - 如果参数为空值

toString

public String toString()

覆盖:

toString 在类中 Enum<Relation>

mul

@Contract(pure=true)
@NotNull
public @NotNull Relation mul(@NotNull
 @NotNull Relation rhs)

add

@Contract(pure=true)
@NotNull
public @NotNull Relation add(@NotNull
 @NotNull Relation rhs)

lessThanOrEqual

public boolean lessThanOrEqual(@NotNull
 @NotNull Relation rhs)

A relation A is less than another relation B iff: A contains more uncertainty than B, for example: Unknown contains nothing about relations between arguments and formal parameters while LessThan declares the arguments is strictly structurally smaller than formal parameters an unmovable fact.

fromCompare

@NotNull
public static @NotNull Relation fromCompare(int compare)