public enum EV3DevPlatform extends java.lang.Enum<EV3DevPlatform>
Enum Constant and Description |
---|
BRICKPI |
BRICKPI3 |
EV3BRICK |
PISTORMS |
UNKNOWN |
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
platform |
private java.lang.String |
propNamespace |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getPlatformByString(java.lang.String code) |
java.lang.String |
getPropertyNamespace() |
java.lang.String |
toString() |
static EV3DevPlatform |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static EV3DevPlatform[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final EV3DevPlatform EV3BRICK
public static final EV3DevPlatform PISTORMS
public static final EV3DevPlatform BRICKPI
public static final EV3DevPlatform BRICKPI3
public static final EV3DevPlatform UNKNOWN
private final java.lang.String platform
private final java.lang.String propNamespace
public static EV3DevPlatform[] values()
for (EV3DevPlatform c : EV3DevPlatform.values()) System.out.println(c);
public static EV3DevPlatform valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String toString()
toString
in class java.lang.Enum<EV3DevPlatform>
public java.lang.String getPropertyNamespace()
public static java.lang.String getPlatformByString(java.lang.String code)