private String getValueOfVar(final State state) {
final String result;
if (state != null) {
final Variable variable = state.getValues().get(name);
result = variable == null ? null : variable.getValue();
} else {
result = null;
}
return result;
}
public StateDependendElement getValue(final State state) {
final Variable variable = state.getValues().get(name);
final StateDependendElement element;
if (variable != null) {
element =
new StateDependendElement(
state, variable.getValue(), EStateTreeElementProperty.NONBOOLEAN);
} else {
element = null;
}
return element;
}
@Override
public String toString() {
final StringBuilder result = new StringBuilder();
result.append("(");
result.append(state.getId());
result.append(")");
if (operation != null) {
result.append(" -");
result.append(operation.getName());
result.append("-> (");
result.append(operation.getDestination());
result.append(")");
}
return result.toString();
}
public String getStateId() {
return state.getId();
}