if (token.type == NRANGE) { this.intersectRanges(token); return; } RangeToken tok = (RangeToken)token; if (tok.ranges == null || this.ranges == null) return; this.icaseCache = null; this.sortRanges(); this.compactRanges(); tok.sortRanges(); tok.compactRanges(); //System.err.println("Token#substractRanges(): Entry: "+this.ranges.length+", "+tok.ranges.length); int[] result = new int[this.ranges.length+tok.ranges.length]; int wp = 0, src = 0, sub = 0; while (src < this.ranges.length && sub < tok.ranges.length) { int srcbegin = this.ranges[src]; int srcend = this.ranges[src+1]; int subbegin = tok.ranges[sub]; int subend = tok.ranges[sub+1]; if (srcend < subbegin) { // Not overlapped // src: o-----o // sub: o-----o // res: o-----o // Reuse sub result[wp++] = this.ranges[src++]; result[wp++] = this.ranges[src++]; } else if (srcend >= subbegin && srcbegin <= subend) { // Overlapped // src: o--------o // sub: o----o // sub: o----o // sub: o----o // sub: o------------o if (subbegin <= srcbegin && srcend <= subend) { // src: o--------o // sub: o------------o // res: empty // Reuse sub src += 2; } else if (subbegin <= srcbegin) { // src: o--------o // sub: o----o // res: o-----o // Reuse src(=res) this.ranges[src] = subend+1; sub += 2; } else if (srcend <= subend) { // src: o--------o // sub: o----o // res: o-----o // Reuse sub result[wp++] = srcbegin; result[wp++] = subbegin-1; src += 2; } else { // src: o--------o // sub: o----o // res: o-o o-o // Reuse src(=right res) result[wp++] = srcbegin; result[wp++] = subbegin-1; this.ranges[src] = subend+1; sub += 2; } } else if (subend < srcbegin) { // Not overlapped // src: o-----o // sub: o----o sub += 2; } else { throw new RuntimeException("Token#subtractRanges(): Internal Error: ["+this.ranges[src] +","+this.ranges[src+1] +"] - ["+tok.ranges[sub] +","+tok.ranges[sub+1] +"]"); } } while (src < this.ranges.length) { result[wp++] = this.ranges[src++]; result[wp++] = this.ranges[src++]; } this.ranges = new int[wp]; System.arraycopy(result, 0, this.ranges, 0, wp);
RangeToken tok = (RangeToken)token; if (tok.ranges == null || this.ranges == null) return; this.icaseCache = null; this.sortRanges(); this.compactRanges(); tok.sortRanges(); tok.compactRanges(); int[] result = new int[this.ranges.length+tok.ranges.length]; int wp = 0, src1 = 0, src2 = 0; while (src1 < this.ranges.length && src2 < tok.ranges.length) { int src1begin = this.ranges[src1]; int src1end = this.ranges[src1+1]; int src2begin = tok.ranges[src2]; int src2end = tok.ranges[src2+1]; if (src1end < src2begin) { // Not overlapped // src1: o-----o // src2: o-----o // res: empty // Reuse src2 src1 += 2; } else if (src1end >= src2begin && src1begin <= src2end) { // Overlapped // src1: o--------o // src2: o----o // src2: o----o // src2: o----o // src2: o------------o if (src2begin <= src1begin && src1end <= src2end) { // src1: o--------o // src2: o------------o // res: o--------o // Reuse src2 result[wp++] = src1begin; result[wp++] = src1end; src1 += 2; } else if (src2begin <= src1begin) { // src1: o--------o // src2: o----o // res: o--o // Reuse the rest of src1 result[wp++] = src1begin; result[wp++] = src2end; this.ranges[src1] = src2end+1; src2 += 2; } else if (src1end <= src2end) { // src1: o--------o // src2: o----o // res: o--o // Reuse src2 result[wp++] = src2begin; result[wp++] = src1end; src1 += 2; } else { // src1: o--------o // src2: o----o // res: o----o // Reuse the rest of src1 result[wp++] = src2begin; result[wp++] = src2end; this.ranges[src1] = src2end+1; } } else if (src2end < src1begin) { // Not overlapped // src1: o-----o // src2: o----o src2 += 2; } else { throw new RuntimeException("Token#intersectRanges(): Internal Error: [" +this.ranges[src1] +","+this.ranges[src1+1] +"] & ["+tok.ranges[src2] +","+tok.ranges[src2+1] +"]"); } } while (src1 < this.ranges.length) { result[wp++] = this.ranges[src1++]; result[wp++] = this.ranges[src1++]; } this.ranges = new int[wp]; System.arraycopy(result, 0, this.ranges, 0, wp);
Clone fragments detected by clone detection tool
File path: /emf-2.4.1/src/org/eclipse/emf/ecore/xml/type/internal/RegEx.java File path: /emf-2.4.1/src/org/eclipse/emf/ecore/xml/type/internal/RegEx.java
Method name: void subtractRanges(Token) Method name: void intersectRanges(Token)
Number of AST nodes: 43 Number of AST nodes: 42
1
if (token.type == NRANGE) {
2
            this.intersectRanges(token);
3
            return;
4
        }
5
        RangeToken tok = (RangeToken)token;
1
RangeToken tok = (RangeToken)token;
6
        if (tok.ranges == null || this.ranges == null)
2
        if (tok.ranges == null || this.ranges == null)
7
            return;
3
            return;
8
        this.icaseCache = null;
4
        this.icaseCache = null;
9
        this.sortRanges();
5
        this.sortRanges();
10
        this.compactRanges();
6
        this.compactRanges();
11
        tok.sortRanges();
7
        tok.sortRanges();
12
        tok.compactRanges();
8
        tok.compactRanges();
13
        //System.err.println("Token#substractRanges(): Entry: "+this.ranges.length+", "+tok.ranges.length);
14
        int[] result = new int[this.ranges.length+tok.ranges.length];
9
        int[] result = new int[this.ranges.length+tok.ranges.length];
15
        int wp = 0, src = 0, sub = 0;
10
        int wp = 0, src1 = 0, src2 = 0;
16
        while (src < this.ranges.length && sub < tok.ranges.length) {
11
        while (src1 < this.ranges.length && src2 < tok.ranges.length) {
17
            int srcbegin = this.ranges[src];
12
            int src1begin = this.ranges[src1];
18
            int srcend = this.ranges[src+1];
13
            int src1end = this.ranges[src1+1];
19
            int subbegin = tok.ranges[sub];
14
            int src2begin = tok.ranges[src2];
20
            int subend = tok.ranges[sub+1];
15
            int src2end = tok.ranges[src2+1];
21
            if (srcend < subbegin) {            // Not overlapped
16
            if (src1end < src2begin) {          // Not overlapped
22
                                                // src: o-----o
17
                                                // src1: o-----o
23
                                                // sub:         o-----o
18
                                                // src2:         o-----o
24
                                                // res: o-----o
19
                                                // res:  empty
25
                                                // Reuse sub
20
                                                // Reuse src2
26
                result[wp++] = this.ranges[src++];
21
                
27
                result[wp++] = this.ranges[src++];
22
src1 += 2;
28
            } else if (srcend >= subbegin
23
            } else if (src1end >= src2begin
29
                       && srcbegin <= subend) { // Overlapped
24
                       && src1begin <= src2end) { // Overlapped
30
                                                // src:    o--------o
25
                                                // src1:    o--------o
31
                                                // sub:  o----o
26
                                                // src2:  o----o
32
                                                // sub:      o----o
27
                                                // src2:      o----o
33
                                                // sub:          o----o
28
                                                // src2:          o----o
34
                                                // sub:  o------------o
29
                                                // src2:  o------------o
35
                if (subbegin <= srcbegin && srcend <= subend) {
30
                if (src2begin <= src1begin && src1end <= src2end) {
36
                                                // src:    o--------o
31
                                                // src1:    o--------o
37
                                                // sub:  o------------o
32
                                                // src2:  o------------o
38
                                                // res: empty
33
                                                // res:     o--------o
39
                                                // Reuse sub
34
                                                // Reuse s
40
                    src
35
rc2
36
                    result[wp++] = src1begin;
37
                    result[wp++] = src1end;
41
 += 2;
38
                    src1 += 2;
42
                } else if (subbegin <= srcbegin) {
39
                } else if (src2begin <= src1begin) {
43
                                                // src:    o--------o
40
                                                // src1:    o--------o
44
                                                // sub:  o----o
41
                                                // src2:  o----o
45
                                                // res:       o-----o
42
                                                // res:     o--o
46
                                                // Reuse src(=res)
43
                                                // Reuse the rest of src1
44
                    result[wp++] = src1begin;
45
                    result[wp++] = src2end;
47
                    this.ranges[src] = subend+1;
46
                    this.ranges[src1] = src2end+1;
48
                    sub += 2;
47
                    src2 += 2;
49
                } else if (srcend <= subend) {
48
                } else if (src1end <= src2end) {
50
                                                // src:    o--------o
49
                                                // src1:    o--------o
51
                                                // sub:          o----o
50
                                                // src2:          o----o
52
                                                // res:    o-----o
51
                                                // res:           o--o
53
                                                // Reuse sub
52
                                                // Reuse src2
54
                    result[wp++] = srcbegin;
53
                    result[wp++] = src2begin;
55
                    result[wp++] = subbegin-1;
54
                    result[wp++] = src1end;
56
                    src += 2;
55
                    src1 += 2;
57
                } else {
56
                } else {
58
                                                // src:    o--------o
57
                                                // src1:    o--------o
59
                                                // sub:      o----o
58
                                                // src2:      o----o
60
                                                // res:    o-o    o-o
59
                                                // res:       o----o
61
                                                // Reuse src(=right res)
60
                                                // Reuse the rest of src1
62
                    result[wp++] = srcbegin;
61
                    result[wp++] = src2begin;
63
                    result[wp++] = subbegin-1;
62
                    result[wp++] = src2end;
64
                    this.ranges[src] = subend+1;
63
                    this.ranges[src1] = src2end+1;
65
                    sub += 2;
66
                }
64
                }
67
            } else if (subend < srcbegin) {
65
            } else if (src2end < src1begin) {
68
                                                // Not overlapped
66
                                                // Not overlapped
69
                                                // src:          o-----o
67
                                                // src1:          o-----o
70
                                                // sub: o----o
68
                                                // src2: o----o
71
                sub += 2;
69
                src2 += 2;
72
            } else {
70
            } else {
73
                throw new RuntimeException("Token#subtractRanges(): Internal Error: ["
71
                throw new RuntimeException("Token#intersectRanges(): Internal Error: ["
74
+this.ranges[src]
72
                                           +this.ranges[src1]
75
                                           +","+this.ranges[src+1]
73
                                           +","+this.ranges[src1+1]
76
                                           +"] - ["+tok.ranges[sub]
74
                                           +"] & ["+tok.ranges[src2]
77
                                           +","+tok.ranges[sub+1]
75
                                           +","+tok.ranges[src2+1]
78
                                           +"]");
76
                                           +"]");
79
            }
77
            }
80
        }
78
        }
81
        while (src < this.ranges.length) {
79
        while (src1 < this.ranges.length) {
82
            result[wp++] = this.ranges[src++];
80
            result[wp++] = this.ranges[src1++];
83
            result[wp++] = this.ranges[src++];
81
            result[wp++] = this.ranges[src1++];
84
        }
82
        }
85
        this.ranges = new int[wp];
83
        this.ranges = new int[wp];
86
        System.arraycopy(result, 0, this.ranges, 0, wp);
84
        System.arraycopy(result, 0, this.ranges, 0, wp);
Summary
Number of common nesting structure subtrees1
Number of refactorable cases0
Number of non-refactorable cases1
Time elapsed for finding largest common nesting structure subtrees (ms)2.5
Clones locationClones are declared in the same class
Number of node comparisons213
  1. {Non-refactorable}
    Mapping Summary
    Number of mapped statements32
    Number of unmapped statements in the first code fragment8
    Number of unmapped statements in the second code fragment10
    Time elapsed for statement mapping (ms)64.9
    Clone typeType 3
    Mapped Statements
    ID Statement ID Statement
    4
    RangeToken tok = (RangeToken)token;
    1
    RangeToken tok = (RangeToken)token;
    5
    if (tok.ranges == null || this.ranges == null)
    2
    if (tok.ranges == null || this.ranges == null)
    6
    return;
    6
    return;
    3
    return;
    Preondition Violations
    Conditional return;
    3
    return;
    7
    this.icaseCache = null;
    4
    this.icaseCache = null;
    8
    this.sortRanges();
    5
    this.sortRanges();
    9
    this.compactRanges();
    6
    this.compactRanges();
    10
    tok.sortRanges();
    7
    tok.sortRanges();
    11
    tok.compactRanges();
    8
    tok.compactRanges();
    12
    int[] result = new int[this.ranges.length + tok.ranges.length];
    9
    int[] result = new int[this.ranges.length + tok.ranges.length];
    13
    int wp = 0, src = 0, sub = 0;
    13
    int wp = 0, src = 0, sub = 0;
    10
    int wp = 0, src1 = 0, src2 = 0;
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    10
    int wp = 0, src1 = 0, src2 = 0;
    14
    while (src < this.ranges.length && sub < tok.ranges.length)
    14
    while (src < this.ranges.length && sub < tok.ranges.length)
    11
    while (src1 < this.ranges.length && src2 < tok.ranges.length)
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    11
    while (src1 < this.ranges.length && src2 < tok.ranges.length)
    15
    int srcbegin = this.ranges[src];
    15
    int srcbegin = this.ranges[src];
    12
    int src1begin = this.ranges[src1];
    Differences
    Expression1Expression2Difference
    srcbeginsrc1beginVARIABLE_NAME_MISMATCH
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    12
    int src1begin = this.ranges[src1];
    16
    int srcend = this.ranges[src + 1];
    16
    int srcend = this.ranges[src + 1];
    13
    int src1end = this.ranges[src1 + 1];
    Differences
    Expression1Expression2Difference
    srcendsrc1endVARIABLE_NAME_MISMATCH
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    13
    int src1end = this.ranges[src1 + 1];
    17
    int subbegin = tok.ranges[sub];
    17
    int subbegin = tok.ranges[sub];
    14
    int src2begin = tok.ranges[src2];
    Differences
    Expression1Expression2Difference
    subbeginsrc2beginVARIABLE_NAME_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    14
    int src2begin = tok.ranges[src2];
    18
    int subend = tok.ranges[sub + 1];
    18
    int subend = tok.ranges[sub + 1];
    15
    int src2end = tok.ranges[src2 + 1];
    Differences
    Expression1Expression2Difference
    subendsrc2endVARIABLE_NAME_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    15
    int src2end = tok.ranges[src2 + 1];
    19
    if (srcend < subbegin)
    19
    if (srcend < subbegin)
    16
    if (src1end < src2begin)
    Differences
    Expression1Expression2Difference
    srcendsrc1endVARIABLE_NAME_MISMATCH
    subbeginsrc2beginVARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    16
    if (src1end < src2begin)
                            
    17
    src1 += 2;
    Preondition Violations
    Unmatched statement src1+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    17
    src1 += 2;
    20
    result[wp++] = this.ranges[src++];
    20
    result[wp++] = this.ranges[src++];
    Preondition Violations
    Unmatched statement result[wp++]=this.ranges[src++]; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                                            
    21
    result[wp++] = this.ranges[src++];
    21
    result[wp++] = this.ranges[src++];
    Preondition Violations
    Unmatched statement result[wp++]=this.ranges[src++]; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                                            
    22
    else if (srcend >= subbegin && srcbegin <= subend)
    22
    else if (srcend >= subbegin && srcbegin <= subend)
    18
    else if (src1end >= src2begin && src1begin <= src2end)
    Differences
    Expression1Expression2Difference
    srcendsrc1endVARIABLE_NAME_MISMATCH
    subbeginsrc2beginVARIABLE_NAME_MISMATCH
    srcbeginsrc1beginVARIABLE_NAME_MISMATCH
    subendsrc2endVARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    18
    else if (src1end >= src2begin && src1begin <= src2end)
    23
    if (subbegin <= srcbegin && srcend <= subend)
    23
    if (subbegin <= srcbegin && srcend <= subend)
    23
    if (src2begin <= src1begin)
    Differences
    Expression1Expression2Difference
    &&<=OPERATOR_MISMATCH
    subbegin <= srcbeginsrc2beginINFIX_LEFT_OPERAND_MISMATCH
    srcend <= subendsrc1beginINFIX_RIGHT_OPERAND_MISMATCH
    Preondition Violations
    Expression subbegin <= srcbegin && srcend <= subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2begin <= src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    23
    if (src2begin <= src1begin)
                                                          
    24
    result[wp++] = src1begin;
    Preondition Violations
    Unmatched statement result[wp++]=src1begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    24
    result[wp++] = src1begin;
                                                      
    25
    result[wp++] = src2end;
    Preondition Violations
    Unmatched statement result[wp++]=src2end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    25
    result[wp++] = src2end;
                                                                        
    26
    this.ranges[src1] = src2end + 1;
    Preondition Violations
    Unmatched statement this.ranges[src1]=src2end + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    26
    this.ranges[src1] = src2end + 1;
    24
    src += 2;
    24
    src += 2;
    27
    src2 += 2;
    Differences
    Expression1Expression2Difference
    srcsrc2VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    27
    src2 += 2;
    25
    else if (subbegin <= srcbegin)
    25
    else if (subbegin <= srcbegin)
    28
    else if (src1end <= src2end)
    Differences
    Expression1Expression2Difference
    subbeginsrc1endVARIABLE_NAME_MISMATCH
    srcbeginsrc2endVARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    28
    else if (src1end <= src2end)
    26
    this.ranges[src] = subend + 1;
    26
    this.ranges[src] = subend + 1;
    Preondition Violations
    Unmatched statement this.ranges[src]=subend + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                                    
                                                          
    29
    result[wp++] = src2begin;
    Preondition Violations
    Unmatched statement result[wp++]=src2begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    29
    result[wp++] = src2begin;
                                                      
    30
    result[wp++] = src1end;
    Preondition Violations
    Unmatched statement result[wp++]=src1end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    30
    result[wp++] = src1end;
    27
    sub += 2;
    27
    sub += 2;
    31
    src1 += 2;
    Differences
    Expression1Expression2Difference
    subsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    31
    src1 += 2;
            
    else
                                                          
    32
    result[wp++] = src2begin;
    Preondition Violations
    Unmatched statement result[wp++]=src2begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    32
    result[wp++] = src2begin;
                                                      
    33
    result[wp++] = src2end;
    Preondition Violations
    Unmatched statement result[wp++]=src2end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    33
    result[wp++] = src2end;
                                                                        
    34
    this.ranges[src1] = src2end + 1;
    Preondition Violations
    Unmatched statement this.ranges[src1]=src2end + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    34
    this.ranges[src1] = src2end + 1;
    28
    if (srcend <= subend)
    28
    if (srcend <= subend)
    19
    if (src2begin <= src1begin && src1end <= src2end)
    Differences
    Expression1Expression2Difference
    <=&&OPERATOR_MISMATCH
    srcendsrc2begin <= src1beginINFIX_LEFT_OPERAND_MISMATCH
    subendsrc1end <= src2endINFIX_RIGHT_OPERAND_MISMATCH
    Preondition Violations
    Expression srcend <= subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2begin <= src1begin && src1end <= src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    19
    if (src2begin <= src1begin && src1end <= src2end)
    29
    result[wp++] = srcbegin;
    29
    result[wp++] = srcbegin;
    20
    result[wp++] = src1begin;
    Differences
    Expression1Expression2Difference
    srcbeginsrc1beginVARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    20
    result[wp++] = src1begin;
    30
    result[wp++] = subbegin - 1;
    30
    result[wp++] = subbegin - 1;
    21
    result[wp++] = src1end;
    Differences
    Expression1Expression2Difference
    subbegin - 1src1endTYPE_COMPATIBLE_REPLACEMENT
    Preondition Violations
    Expression subbegin - 1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    21
    result[wp++] = src1end;
                            
    22
    src1 += 2;
    Preondition Violations
    Unmatched statement src1+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    22
    src1 += 2;
    31
    src += 2;
    31
    src += 2;
    Preondition Violations
    Unmatched statement src+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                          
    else
            
    32
    result[wp++] = srcbegin;
    32
    result[wp++] = srcbegin;
    Preondition Violations
    Unmatched statement result[wp++]=srcbegin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                        
    33
    result[wp++] = subbegin - 1;
    33
    result[wp++] = subbegin - 1;
    Preondition Violations
    Unmatched statement result[wp++]=subbegin - 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                                
    34
    this.ranges[src] = subend + 1;
    34
    this.ranges[src] = subend + 1;
    Preondition Violations
    Unmatched statement this.ranges[src]=subend + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                                                                    
    35
    sub += 2;
    35
    sub += 2;
    Preondition Violations
    Unmatched statement sub+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
                          
    36
    else if (subend < srcbegin)
    36
    else if (subend < srcbegin)
    35
    else if (src2end < src1begin)
    Differences
    Expression1Expression2Difference
    subendsrc2endVARIABLE_NAME_MISMATCH
    srcbeginsrc1beginVARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    35
    else if (src2end < src1begin)
    37
    sub += 2;
    37
    sub += 2;
    36
    src2 += 2;
    Differences
    Expression1Expression2Difference
    subsrc2VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    36
    src2 += 2;
    else
    else
    38
    throw new RuntimeException("Token#subtractRanges(): Internal Error: [" + this.ranges[src] + "," + this.ranges[src + 1] + "] - [" + tok.ranges[sub] + "," + tok.ranges[sub + 1] + "]");
    38
    throw new RuntimeException("Token#subtractRanges(): Internal Error: [" + this.ranges[src] + "," + this.ranges[src + 1] + "] - [" + tok.ranges[sub] + "," + tok.ranges[sub + 1] + "]");
    37
    throw new RuntimeException("Token#intersectRanges(): Internal Error: [" + this.ranges[src1] + "," + this.ranges[src1 + 1] + "] & [" + tok.ranges[src2] + "," + tok.ranges[src2 + 1] + "]");
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    "] - [""] & ["LITERAL_VALUE_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    subsrc2VARIABLE_NAME_MISMATCH
    "Token#subtractRanges(): Internal Error: [""Token#intersectRanges(): Internal Error: ["LITERAL_VALUE_MISMATCH
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    37
    throw new RuntimeException("Token#intersectRanges(): Internal Error: [" + this.ranges[src1] + "," + this.ranges[src1 + 1] + "] & [" + tok.ranges[src2] + "," + tok.ranges[src2 + 1] + "]");
    39
    while (src < this.ranges.length)
    39
    while (src < this.ranges.length)
    38
    while (src1 < this.ranges.length)
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    38
    while (src1 < this.ranges.length)
    40
    result[wp++] = this.ranges[src++];
    40
    result[wp++] = this.ranges[src++];
    39
    result[wp++] = this.ranges[src1++];
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    39
    result[wp++] = this.ranges[src1++];
    41
    result[wp++] = this.ranges[src++];
    41
    result[wp++] = this.ranges[src++];
    40
    result[wp++] = this.ranges[src1++];
    Differences
    Expression1Expression2Difference
    srcsrc1VARIABLE_NAME_MISMATCH
    Preondition Violations
    Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    40
    result[wp++] = this.ranges[src1++];
    42
    this.ranges = new int[wp];
    41
    this.ranges = new int[wp];
    43
    System.arraycopy(result, 0, this.ranges, 0, wp);
    42
    System.arraycopy(result, 0, this.ranges, 0, wp);
    Precondition Violations (88)
    Row Violation
    1Conditional return;
    2Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    3Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    4Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    5Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    6Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    7Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    8Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    9Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    10Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    11Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    12Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    13Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    14Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    15Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    16Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    17Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    18Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    19Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    20Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    21Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    22Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    23Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    24Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    25Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    26Unmatched statement src1+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    27Unmatched statement result[wp++]=this.ranges[src++]; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    28Unmatched statement result[wp++]=this.ranges[src++]; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    29Expression srcend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    30Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    31Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    32Expression src2begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    33Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    34Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    35Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    36Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    37Expression subbegin <= srcbegin && srcend <= subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    38Expression src2begin <= src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    39Unmatched statement result[wp++]=src1begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    40Unmatched statement result[wp++]=src2end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    41Unmatched statement this.ranges[src1]=src2end + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    42Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    43Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    44Expression subbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    45Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    46Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    47Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    48Unmatched statement this.ranges[src]=subend + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    49Unmatched statement result[wp++]=src2begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    50Unmatched statement result[wp++]=src1end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    51Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    52Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    53Unmatched statement result[wp++]=src2begin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    54Unmatched statement result[wp++]=src2end; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    55Unmatched statement this.ranges[src1]=src2end + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    56Expression srcend <= subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    57Expression src2begin <= src1begin && src1end <= src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    58Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    59Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    60Expression subbegin - 1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    61Expression src1end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    62Unmatched statement src1+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    63Unmatched statement src+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    64Unmatched statement result[wp++]=srcbegin; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    65Unmatched statement result[wp++]=subbegin - 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    66Unmatched statement this.ranges[src]=subend + 1; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    67Unmatched statement sub+=2; cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
    68Expression subend cannot be parameterized, because it has dependencies to/from statements that will be extracted
    69Expression src2end cannot be parameterized, because it has dependencies to/from statements that will be extracted
    70Expression srcbegin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    71Expression src1begin cannot be parameterized, because it has dependencies to/from statements that will be extracted
    72Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    73Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    74Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    75Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    76Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    77Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    78Expression sub cannot be parameterized, because it has dependencies to/from statements that will be extracted
    79Expression src2 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    80Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    81Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    82Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    83Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    84Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    85Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    86Expression src cannot be parameterized, because it has dependencies to/from statements that will be extracted
    87Expression src1 cannot be parameterized, because it has dependencies to/from statements that will be extracted
    88Clone fragment #1 returns variables result, wp, src, subend, srcbegin, subbegin, sub , while Clone fragment #2 returns variables src1, result, wp, src1begin, src2end, src2begin, src1end