- Timestamp:
- 02/15/13 16:03:56 (12 years ago)
- Location:
- trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc
- Files:
-
- 1 deleted
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java
r1009 r1079 198 198 else{ 199 199 Map<String, String> idProperties = extractIDProperties(spec); 200 for ( String property: idProperties.keySet()){201 String value = idProperties.get(property);200 for (Map.Entry<String, String> property : idProperties.entrySet()) { 201 String value = property.getValue(); 202 202 if (!value.equals("null")){ 203 hashcode = prime * hashcode + property. hashCode();203 hashcode = prime * hashcode + property.getKey().hashCode(); 204 204 hashcode = prime * hashcode + value.hashCode(); 205 205 } -
trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCTraceCorrector.java
r927 r1079 195 195 196 196 try { 197 outFile = new PrintStream(new BufferedOutputStream(new FileOutputStream(resultFile))); 197 outFile = new PrintStream 198 (new BufferedOutputStream(new FileOutputStream(resultFile)), false, "UTF-8"); 198 199 outFile.println("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>"); 199 200 } … … 201 202 throw new IllegalArgumentException("could not create a corrected file name " + 202 203 resultFile + " next to " + file); 204 } 205 catch (UnsupportedEncodingException e) { 206 throw new IllegalArgumentException("this host does not support UTF-8 encoding"); 203 207 } 204 208 … … 673 677 * </p> 674 678 */ 675 private void dumpParams(PrintStream out, List<Parameter> params, String indent) {679 private static void dumpParams(PrintStream out, List<Parameter> params, String indent) { 676 680 for (Parameter param : params) { 677 681 out.print(indent); … … 696 700 * @return true if both lists contain the same parameters, false else. 697 701 */ 698 private boolean parametersEqual(List<Parameter> params1, List<Parameter> params2) {702 private static boolean parametersEqual(List<Parameter> params1, List<Parameter> params2) { 699 703 if (params1 == null) { 700 704 return params2 == null; … … 734 738 * </p> 735 739 */ 736 private class Session {740 private static class Session { 737 741 738 742 /** */ … … 798 802 * </p> 799 803 */ 800 private class Event {804 private static class Event { 801 805 802 806 /** */ … … 873 877 * </p> 874 878 */ 875 private class Source {879 private static class Source { 876 880 877 881 /** */ … … 984 988 Source other = (Source) obj; 985 989 986 if ( (getToStringValue() != other.getToStringValue()) ||987 ((getToStringValue() != null) &&988 (!getToStringValue().equals(other.getToStringValue()))))990 if (getToStringValue() != null ? 991 !getToStringValue().equals(other.getToStringValue()) : 992 other.getToStringValue() != null) 989 993 { 990 994 return false; … … 1042 1046 * </p> 1043 1047 */ 1044 private class Component {1048 private static class Component { 1045 1049 1046 1050 /** */ … … 1115 1119 * </p> 1116 1120 */ 1117 private class ComponentFromToString extends Component {1121 private static class ComponentFromToString extends Component { 1118 1122 1119 1123 /** */ … … 1238 1242 * </p> 1239 1243 */ 1240 private class Parameter {1244 private static class Parameter { 1241 1245 1242 1246 /** */
Note: See TracChangeset
for help on using the changeset viewer.