ColumnArrangement c1 = new ColumnArrangement( HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0 ); ColumnArrangement c2 = new ColumnArrangement( HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0 ); assertTrue(c1.equals(c2)); assertTrue(c2.equals(c1)); c1 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0 ); assertFalse(c1.equals(c2)); c2 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0 ); assertTrue(c1.equals(c2)); c1 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0 ); assertFalse(c1.equals(c2)); c2 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0 ); assertTrue(c1.equals(c2)); c1 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0 ); assertFalse(c1.equals(c2)); c2 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0 ); assertTrue(c1.equals(c2)); c1 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2 ); assertFalse(c1.equals(c2)); c2 = new ColumnArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2 ); assertTrue(c1.equals(c2));
FlowArrangement f1 = new FlowArrangement( HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0 ); FlowArrangement f2 = new FlowArrangement( HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0 ); assertTrue(f1.equals(f2)); assertTrue(f2.equals(f1)); f1 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0 ); assertFalse(f1.equals(f2)); f2 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0 ); assertTrue(f1.equals(f2)); f1 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0 ); assertFalse(f1.equals(f2)); f2 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0 ); assertTrue(f1.equals(f2)); f1 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0 ); assertFalse(f1.equals(f2)); f2 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0 ); assertTrue(f1.equals(f2)); f1 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2 ); assertFalse(f1.equals(f2)); f2 = new FlowArrangement( HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2 ); assertTrue(f1.equals(f2));
Clone fragments detected by clone detection tool
File path: /jfreechart-1.0.10/tests/org/jfree/chart/block/junit/ColumnArrangementTests.java File path: /jfreechart-1.0.10/tests/org/jfree/chart/block/junit/FlowArrangementTests.java
Method name: void testEquals() Method name: void testEquals()
Number of AST nodes: 20 Number of AST nodes: 20
1
ColumnArrangement c1 = new ColumnArrangement(
1
FlowArrangement f1 = new FlowArrangement(
2
            HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0
2
            HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0
3
        );
3
        );
4
        ColumnArrangement c2 = new ColumnArrangement(
4
        FlowArrangement f2 = new FlowArrangement(
5
            HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0
5
            HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0
6
        );
6
        );
7
        assertTrue(c1.equals(c2));
7
        assertTrue(f1.equals(f2));
8
        assertTrue(c2.equals(c1));
8
        assertTrue(f2.equals(f1));
9
        c1 = new ColumnArrangement(
9
        f1 = new FlowArrangement(
10
            HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0
10
            HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0
11
        );
11
        );
12
        assertFalse(c1.equals(c2));
12
        assertFalse(f1.equals(f2));
13
        c2 = new ColumnArrangement(
13
        f2 = new FlowArrangement(
14
            HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0
14
            HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0
15
        );
15
        );
16
        assertTrue(c1.equals(c2));
16
        assertTrue(f1.equals(f2));
17
        c1 = new ColumnArrangement(
17
        f1 = new FlowArrangement(
18
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0
18
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0
19
        );
19
        );
20
        assertFalse(c1.equals(c2));
20
        assertFalse(f1.equals(f2));
21
        c2 = new ColumnArrangement(
21
        f2 = new FlowArrangement(
22
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0
22
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0
23
        );
23
        );
24
        assertTrue(c1.equals(c2));
24
        assertTrue(f1.equals(f2));
25
    
25
    
26
        c1 = new ColumnArrangement(
26
        f1 = new FlowArrangement(
27
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0
27
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0
28
        );
28
        );
29
        assertFalse(c1.equals(c2));
29
        assertFalse(f1.equals(f2));
30
        c2 = new ColumnArrangement(
30
        f2 = new FlowArrangement(
31
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0
31
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0
32
        );
32
        );
33
        assertTrue(c1.equals(c2));
33
        assertTrue(f1.equals(f2));
34
        
34
        
35
        c1 = new ColumnArrangement(
35
        f1 = new FlowArrangement(
36
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2
36
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2
37
        );
37
        );
38
        assertFalse(c1.equals(c2));
38
        assertFalse(f1.equals(f2));
39
        c2 = new ColumnArrangement(
39
        f2 = new FlowArrangement(
40
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2
40
            HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2
41
        );
41
        );
42
        assertTrue(c1.equals(c2));
42
        assertTrue(f1.equals(f2));
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)0.0
Clones locationClones are in different classes having the same super class
Number of node comparisons117
  1. {Non-refactorable}
    Mapping Summary
    Number of mapped statements20
    Number of unmapped statements in the first code fragment0
    Number of unmapped statements in the second code fragment0
    Time elapsed for statement mapping (ms)0.0
    Clone typeType 2
    Mapped Statements
    ID Statement ID Statement
    1
    ColumnArrangement c1 = new ColumnArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    1
    ColumnArrangement c1 = new ColumnArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    1
    FlowArrangement f1 = new FlowArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    1
    FlowArrangement f1 = new FlowArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    2
    ColumnArrangement c2 = new ColumnArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    2
    ColumnArrangement c2 = new ColumnArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    2
    FlowArrangement f2 = new FlowArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    2
    FlowArrangement f2 = new FlowArrangement(HorizontalAlignment.LEFT, VerticalAlignment.TOP, 1.0, 2.0);
    3
    assertTrue(c1.equals(c2));
    3
    assertTrue(c1.equals(c2));
    3
    assertTrue(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    3
    assertTrue(f1.equals(f2));
    4
    assertTrue(c2.equals(c1));
    4
    assertTrue(c2.equals(c1));
    4
    assertTrue(f2.equals(f1));
    Differences
    Expression1Expression2Difference
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c1 cannot be unified with expression f1 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    4
    assertTrue(f2.equals(f1));
    5
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    5
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    5
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    5
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    6
    assertFalse(c1.equals(c2));
    6
    assertFalse(c1.equals(c2));
    6
    assertFalse(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    6
    assertFalse(f1.equals(f2));
    7
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    7
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    7
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    7
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.TOP, 1.0, 2.0);
    8
    assertTrue(c1.equals(c2));
    8
    assertTrue(c1.equals(c2));
    8
    assertTrue(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    8
    assertTrue(f1.equals(f2));
    9
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    9
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    9
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    9
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    10
    assertFalse(c1.equals(c2));
    10
    assertFalse(c1.equals(c2));
    10
    assertFalse(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    10
    assertFalse(f1.equals(f2));
    11
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    11
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    11
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    11
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.0, 2.0);
    12
    assertTrue(c1.equals(c2));
    12
    assertTrue(c1.equals(c2));
    12
    assertTrue(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    12
    assertTrue(f1.equals(f2));
    13
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    13
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    13
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    Differences
    Expression1Expression2Difference
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    13
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    14
    assertFalse(c1.equals(c2));
    14
    assertFalse(c1.equals(c2));
    14
    assertFalse(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    14
    assertFalse(f1.equals(f2));
    15
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    15
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    15
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    15
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.0);
    16
    assertTrue(c1.equals(c2));
    16
    assertTrue(c1.equals(c2));
    16
    assertTrue(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    16
    assertTrue(f1.equals(f2));
    17
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    17
    c1 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    17
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    Differences
    Expression1Expression2Difference
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    17
    f1 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    18
    assertFalse(c1.equals(c2));
    18
    assertFalse(c1.equals(c2));
    18
    assertFalse(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    18
    assertFalse(f1.equals(f2));
    19
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    19
    c2 = new ColumnArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    19
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    19
    f2 = new FlowArrangement(HorizontalAlignment.RIGHT, VerticalAlignment.BOTTOM, 1.1, 2.2);
    20
    assertTrue(c1.equals(c2));
    20
    assertTrue(c1.equals(c2));
    20
    assertTrue(f1.equals(f2));
    Differences
    Expression1Expression2Difference
    c2f2VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    c1f1VARIABLE_NAME_MISMATCH
    org.jfree.chart.block.ColumnArrangementorg.jfree.chart.block.FlowArrangementSUBCLASS_TYPE_MISMATCH
    Preondition Violations
    Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    20
    assertTrue(f1.equals(f2));
    Precondition Violations (50)
    Row Violation
    1Expression new ColumnArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    2Expression new FlowArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    3Expression new ColumnArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    4Expression new FlowArrangement(HorizontalAlignment.LEFT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    5Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    6Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    7Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    8Expression c1 cannot be unified with expression f1 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    9Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    10Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    11Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    12Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    13Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    14Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    15Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    16Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    17Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.TOP,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    18Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    19Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    20Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    21Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    22Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    23Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    24Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    25Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    26Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    27Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.0,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    28Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    29Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    30Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    31Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    32Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    33Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    34Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    35Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    36Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    37Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.0) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    38Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    39Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    40Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    41Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    42Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    43Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    44Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    45Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    46Expression new ColumnArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    47Expression new FlowArrangement(HorizontalAlignment.RIGHT,VerticalAlignment.BOTTOM,1.1,2.2) cannot be parameterized, because it has dependencies to/from statements that will be extracted
    48Expression c2 cannot be unified with expression f2 , because common superclass type org.jfree.chart.block.Arrangement cannot be passed as an argument to public boolean equals(java.lang.Object)
    49Expression c2 cannot be unified with expression f2 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)
    50Expression c1 cannot be unified with expression f1 , because common superclass org.jfree.chart.block.Arrangement does not declare member(s) public boolean equals(java.lang.Object)