How to use

getParameters

method

in

languageTools.program.actionspec.UserSpecAction

@Override
public Action convert(UserSpecAction action) throws MSTTranslationException {
  LinkedList<Parameter> parameters = new LinkedList<>();
  for (Term term : action.getParameters()) {
    parameters.add(convert(term));
  }
  return new Action(action.getName(), parameters);
}

@Override
public UserSpecAction applySubst(Substitution substitution) {
  // Apply substitution to action parameters, pre- and post-condition.
  List<Term> parameters = new ArrayList<>(getParameters().size());
  for (Term parameter : getParameters()) {
    parameters.add(parameter.applySubst(substitution));
  }
  ActionPreCondition precondition = (getFullPreCondition() == null) ? null
      : getFullPreCondition().applySubst(substitution);
  ActionPostCondition positivePostcondition = (getPositivePostcondition() == null) ? null
      : getPositivePostcondition().applySubst(substitution);
  ActionPostCondition negativePostcondition = (getNegativePostcondition() == null) ? null
      : getNegativePostcondition().applySubst(substitution);
  return new UserSpecAction(getName(), parameters, isExternal(), precondition, positivePostcondition,
      negativePostcondition, getSourceInfo());
}

protected void reportUnusedVariables() {
  for (UserSpecAction spec : this.program.getActionSpecifications()) {
    List<Var> vars = new LinkedList<>();
    try {
      CognitiveKR ckr = getFirstPass().getCognitiveKR();
      if (spec.getPrecondition() != null) {
        for (MentalLiteral literal : spec.getPrecondition().getAllLiterals()) {
          vars.addAll(ckr.getAllVariables(literal.getFormula()));
        }
      }
      if (spec.getNegativePostcondition() != null) {
        vars.addAll(ckr.getAllVariables(spec.getNegativePostcondition().getPostCondition()));
      }
      if (spec.getPositivePostcondition() != null) {
        vars.addAll(ckr.getAllVariables(spec.getPositivePostcondition().getPostCondition()));
      }
      Set<Var> unique = new LinkedHashSet<>(vars);
      unique.removeAll(spec.getParameters());
      for (Var var : unique) {
        int occurences = Collections.frequency(vars, var);
        if (occurences < 2) {
          getFirstPass().reportWarning(ActionSpecWarning.VARIABLE_UNUSED, var.getSourceInfo(),
              var.toString());
        }
      }
    } catch (ParserException e) {
      getFirstPass().reportParsingException(e);
    }
  }
}