protected static enum KeyValueProtocol.Service extends Enum<KeyValueProtocol.Service>
Enum Constant and Description |
---|
GET_INITIAL_STATE |
GET_OPTIONS_INFO |
GET_SYSTEM_INFO |
GET_TRANSITIONS |
MODELCHECK |
NEW_XML_SYSTEM |
QUIT |
SET_OPTIONS |
UPPAAL_VERSION |
Modifier and Type | Method and Description |
---|---|
static KeyValueProtocol.Service |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static KeyValueProtocol.Service[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final KeyValueProtocol.Service GET_INITIAL_STATE
public static final KeyValueProtocol.Service GET_OPTIONS_INFO
public static final KeyValueProtocol.Service GET_SYSTEM_INFO
public static final KeyValueProtocol.Service GET_TRANSITIONS
public static final KeyValueProtocol.Service MODELCHECK
public static final KeyValueProtocol.Service NEW_XML_SYSTEM
public static final KeyValueProtocol.Service QUIT
public static final KeyValueProtocol.Service UPPAAL_VERSION
public static final KeyValueProtocol.Service SET_OPTIONS
public static KeyValueProtocol.Service[] values()
for (KeyValueProtocol.Service c : KeyValueProtocol.Service.values()) System.out.println(c);
public static KeyValueProtocol.Service valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant
with the specified nameNullPointerException
- if the argument is nullCopyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.