/** * This function obtains from a list of Equality's objects the Equality object which is related * with an identifier of the specification. The Equality's objects are used for refine one * variable in the specification to more than one variable in the specification. * * @param implID The identifier of a variable in the implementation * @param equalities A list of Equality's objects * @return the related equality */ public static Equality getAssociatedEquality(String implID, List<Equality> equalities) { for (int i = 0; i < equalities.size(); i++) { Equality equality = equalities.get(i); String plCode = equality.getPLCodeEquality(); plCode = plCode.trim(); plCode = plCode.substring(0, plCode.length() - 1); if (plCode.equals(implID)) return equality; } return null; }
public static void printRuleRefinement(RuleRefinement rule) { if (rule == null) { System.out.println("Rule NULL!!!"); } System.out.println(); System.out.println("Refinamiento"); System.out.println("Los nombres de los identificadores son:"); List<String> idsList = rule.getSpecIDs(); for (int i = 0; i < idsList.size(); i++) { System.out.println("id: " + idsList.get(i)); } // System.out.println("Nombre en Especificaión: " + rule.getSpecName()); CHANGE // System.out.println("Nombre en Implementación: " + rule.getRefName()); CHANGE // HACER ANALOGO AL ANTERIOR // System.out.print("Tipo: "); // printType(rule.getNodeType()); CHANGE // HACER ANALOGO ANTERIOR }