Ejemplo n.º 1
0
 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;
 }
Ejemplo n.º 2
0
 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;
 }
Ejemplo n.º 3
0
  @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();
  }
Ejemplo n.º 4
0
 public String getStateId() {
   return state.getId();
 }