View Javadoc
1   package com.jsql.model.injection.strategy.blind.patch;
2   
3   import com.jsql.model.injection.strategy.blind.patch.DiffMatchPatch.Operation;
4   
5   /**
6    * Class representing one diff operation.
7    */
8   public class Diff implements Comparable<Diff> {
9       
10      /**
11       * One of: INSERT, DELETE or EQUAL.
12       */
13      private Operation operation;
14      
15      /**
16       * The text associated with this diff operation.
17       */
18      private String text;
19  
20      /**
21       * Constructor.  Initializes the diff with the provided values.
22       * @param operation One of INSERT, DELETE or EQUAL.
23       * @param text The text being applied.
24       */
25      public Diff(Operation operation, String text) {
26  
27          // Construct a diff with the specified operation and text.
28          this.operation = operation;
29          this.text = text;
30      }
31  
32      /**
33       * Display a human-readable version of this Diff.
34       * @return text version.
35       */
36      @Override
37      public String toString() {
38  
39          String prettyText = this.text.replace('\n', '\u00b6');
40          return "Diff(" + this.operation + ",\"" + prettyText + "\")";
41      }
42  
43      /**
44       * Create a numeric hash value for a Diff.
45       * This function is not used by DMP.
46       * @return Hash value.
47       */
48      @Override
49      public int hashCode() {
50  
51          final int prime = 31;
52          int result = this.operation == null ? 0 : this.operation.hashCode();
53          result += prime * (this.text == null ? 0 : this.text.hashCode());
54          return result;
55      }
56  
57      /**
58       * Is this Diff equivalent to another Diff?
59       * @param obj Another Diff to compare against.
60       * @return true or false.
61       */
62      @Override
63      public boolean equals(Object obj) {
64  
65          if (this == obj) {
66              return true;
67          }
68          if (obj == null) {
69              return false;
70          }
71          if (this.getClass() != obj.getClass()) {
72              return false;
73          }
74  
75          Diff other = (Diff) obj;
76          if (this.operation != other.operation) {
77              return false;
78          }
79  
80          if (this.text == null) {
81              return other.text == null;
82          } else {
83              return this.text.equals(other.text);
84          }
85      }
86  
87      @Override
88      public int compareTo(Diff diff) {
89          return this.toString().equals(diff.toString()) ? 0 : 1;
90      }
91  
92  
93      // Getter and setter
94  
95      public Operation getOperation() {
96          return this.operation;
97      }
98  
99      public void setOperation(Operation operation) {
100         this.operation = operation;
101     }
102 
103     public String getText() {
104         return this.text;
105     }
106 
107     public void setText(String text) {
108         this.text = text;
109     }
110 }