public static enum BasicSymbolicInterpreter.OperationSideEffect extends Enum<BasicSymbolicInterpreter.OperationSideEffect>
| Modifier and Type | Method and Description |
|---|---|
static BasicSymbolicInterpreter.OperationSideEffect |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static BasicSymbolicInterpreter.OperationSideEffect[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final BasicSymbolicInterpreter.OperationSideEffect NONE
public static final BasicSymbolicInterpreter.OperationSideEffect UNSAFE
public static final BasicSymbolicInterpreter.OperationSideEffect SAFE
public static BasicSymbolicInterpreter.OperationSideEffect[] values()
for (BasicSymbolicInterpreter.OperationSideEffect c : BasicSymbolicInterpreter.OperationSideEffect.values()) System.out.println(c);
public static BasicSymbolicInterpreter.OperationSideEffect 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 © 2018. All Rights Reserved.