org.eclipse.ocl.examples.pivot
Enum TransitionKind

java.lang.Object
  java.lang.Enum<TransitionKind>
      org.eclipse.ocl.examples.pivot.TransitionKind

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<TransitionKind>, org.eclipse.emf.common.util.Enumerator

public enum TransitionKind
extends java.lang.Enum<TransitionKind>
implements org.eclipse.emf.common.util.Enumerator

A representation of the literals of the enumeration 'Transition Kind', and utility methods for working with them. TransitionKind is an enumeration type.

See Also:

PivotPackage.getTransitionKind()

Generated

Enum Constant Summary

EXTERNAL
The 'External' literal object.

INTERNAL
The 'Internal' literal object.

LOCAL
The 'Local' literal object.

Field Summary

static int	EXTERNAL_VALUE The 'External' literal value.
static int	INTERNAL_VALUE The 'Internal' literal value.
static int	LOCAL_VALUE The 'Local' literal value.
static java.util.List<TransitionKind>	VALUES A public read-only list of all the 'Transition Kind' enumerators.

Method Summary

static TransitionKind	get(int value) Returns the 'Transition Kind' literal with the specified integer value.
static TransitionKind	get(java.lang.String literal) Returns the 'Transition Kind' literal with the specified literal value.
static TransitionKind	getByName(java.lang.String name) Returns the 'Transition Kind' literal with the specified name.
java.lang.String	getLiteral()
java.lang.String	getName()
int	getValue()
java.lang.String	toString() Returns the literal value of the enumerator, which is its string representation.
static TransitionKind	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static TransitionKind[]	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, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

INTERNAL

public static final TransitionKind INTERNAL

The 'Internal' literal object.

See Also:

INTERNAL_VALUE

Generated

Ordered

LOCAL

public static final TransitionKind LOCAL

The 'Local' literal object.

See Also:

LOCAL_VALUE

Generated

Ordered

EXTERNAL

public static final TransitionKind EXTERNAL

The 'External' literal object.

See Also:

EXTERNAL_VALUE

Generated

Ordered

Field Detail

INTERNAL_VALUE

public static final int INTERNAL_VALUE

The 'Internal' literal value. Implies that the transition, if triggered, occurs without exiting or entering the source state. Thus, it does not cause a state change. This means that the entry or exit condition of the source state will not be invoked. An internal transition can be taken even if the state machine is in one or more regions nested within this state.

See Also:

INTERNAL, Constant Field Values

Generated

Ordered

LOCAL_VALUE

public static final int LOCAL_VALUE

The 'Local' literal value. Implies that the transition, if triggered, will not exit the composite (source) state, but it will apply to any state within the composite state, and these will be exited and entered.

See Also:

LOCAL, Constant Field Values

Generated

Ordered

EXTERNAL_VALUE

public static final int EXTERNAL_VALUE

The 'External' literal value. Implies that the transition, if triggered, will exit the composite (source) state.

See Also:

EXTERNAL, Constant Field Values

Generated

Ordered

VALUES

public static final java.util.List<TransitionKind> VALUES

A public read-only list of all the 'Transition Kind' enumerators.

Generated

Method Detail

values

public static TransitionKind[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (TransitionKind c : TransitionKind.values())
    System.out.println(c);

Returns:

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

valueOf

public static TransitionKind valueOf(java.lang.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:

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

java.lang.NullPointerException - if the argument is null

get

public static TransitionKind get(java.lang.String literal)

Returns the 'Transition Kind' literal with the specified literal value.

Generated

getByName

public static TransitionKind getByName(java.lang.String name)

Returns the 'Transition Kind' literal with the specified name.

Generated

get

public static TransitionKind get(int value)

Returns the 'Transition Kind' literal with the specified integer value.

Generated

getValue

public int getValue()

Specified by:

getValue in interface org.eclipse.emf.common.util.Enumerator

Generated

getName

public java.lang.String getName()

Specified by:

getName in interface org.eclipse.emf.common.util.Enumerator

Generated

getLiteral

public java.lang.String getLiteral()

Specified by:

getLiteral in interface org.eclipse.emf.common.util.Enumerator

Generated

toString

public java.lang.String toString()

Returns the literal value of the enumerator, which is its string representation.

Overrides:

toString in class java.lang.Enum<TransitionKind>

Generated