Package jline.lang.constant

Enum PollingTimer

java.lang.Object

java.lang.Enum<PollingTimer>

jline.lang.constant.PollingTimer

All Implemented Interfaces:

Serializable, Comparable<PollingTimer>, java.lang.constant.Constable

public enum PollingTimer
extends Enum<PollingTimer>

Time-limited polling visits (Haverkort sections 9.5, 9.6 and 16.2.2).

• NONE - visits are bounded by the polling type only
• LOCAL - a holding timer starts at each visit and bounds it
• GLOBAL - timed token: a per-buffer rotation timer restarts at each token arrival, and a visit may last only what it has left

Twin of MATLAB PollingTimer.m; the ids and wire names agree.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
GLOBAL
LOCAL
NONE

Method Summary

Modifier and Type	Method	Description
static PollingTimer	fromName(String name)	Inverse of toName(jline.lang.constant.PollingTimer), case-insensitive.
static PollingTimer	fromValue(int value)
int	getValue()
static String	toName(PollingTimer type)	Canonical name used on the JSON wire.
static String	toText(PollingTimer type)
static PollingTimer	valueOf(String name)	Returns the enum constant of this type with the specified name.
static PollingTimer[]	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, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

NONE

public static final PollingTimer NONE

LOCAL

public static final PollingTimer LOCAL

GLOBAL

public static final PollingTimer GLOBAL

Method Details

values

public static PollingTimer[] values()

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

Returns:

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

valueOf

public static PollingTimer valueOf(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:

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

NullPointerException - if the argument is null

getValue

public int getValue()

fromValue

public static PollingTimer fromValue(int value)

toText

public static String toText(PollingTimer type)

toName

public static String toName(PollingTimer type)

Canonical name used on the JSON wire.

fromName

public static PollingTimer fromName(String name)

Inverse of toName(jline.lang.constant.PollingTimer), case-insensitive.