Fault
Index |
File Name |
Line No. |
Original Code |
Mutated Code |
1 |
ClipboardObject.java |
61 |
if ( dataFlavor.equals(imageFlavor) ) |
if ( !dataFlavor.equals(imageFlavor) ) |
2 |
Faint.java |
58 |
if(System.getProperty("os.name").startsWith("Mac")
== true){ |
if(System.getProperty("os.name").startsWith("Mac")
!= true){ |
3 |
Faint.java |
61 |
if(alone){ |
if(!alone){ |
4 |
Faint.java |
1608 |
if (curButton == select) { |
if (curButton != select) { |
5 |
Faint.java |
1610 |
} else if (curButton == selectall) { |
} else if (curButton != selectall) { |
6 |
Faint.java |
1642 |
if ((currentTool == toolSelect) || (currentTool ==
toolSelectall)) { |
if ((currentTool != toolSelect) || (currentTool ==
toolSelectall)) { |
7 |
Faint.java |
1642 |
| |
& |
8 |
Faint.java |
1642 |
== |
!= |
9 |
Faint.java |
1643 |
if (currentTool == toolSelect) { |
if (currentTool != toolSelect) { |
10 |
Faint.java |
1732 |
if (curButton == select) { |
if (curButton != select) { |
11 |
Faint.java |
1734 |
} else if (curButton == selectall) { |
} else if (curButton != selectall) { |
12 |
Faint.java |
1736 |
} else if (curButton == curve) { |
} else if (curButton != curve) { |
13 |
Faint.java |
1738 |
} else if (curButton == polygon) { |
} else if (curButton != polygon) { |
14 |
Faint.java |
1747 |
if (curButton == select) { |
if (curButton != select) { |
15 |
Faint.java |
1749 |
} else if (curButton == selectall) { |
} else if (curButton != selectall) { |
16 |
Faint.java |
1751 |
} else if (curButton == curve) { |
} else if (curButton != curve) { |
17 |
Faint.java |
1753 |
} else if (curButton == polygon) { |
} else if (curButton != polygon) { |
18 |
Faint.java |
1725 |
int avg = (back.getRed() + back.getGreen() +
back.getBlue())\/3;/int avg = (back.getRed() - back.getGreen() +
back.getBlue())\ |
3; |
19 |
Faint.java |
1725 |
int avg = (back.getRed() + back.getGreen() +
back.getBlue())\/3;/int avg = (back.getRed() + back.getGreen() -
back.getBlue())\ |
3; |
20 |
Faint.java |
1725 |
int avg = (back.getRed() + back.getGreen() +
back.getBlue())\/3; |
int avg = (back.getRed() + back.getGreen() +
back.getBlue())*3; |
21 |
Faint.java |
1725 |
int avg = (back.getRed() + back.getGreen() +
back.getBlue())\/3;/int avg = (back.getRed() + back.getGreen() +
back.getBlue())\ |
100; |
22 |
Faint.java |
1764 |
if ((currentTool == toolSelect) || (currentTool ==
toolSelectall)) { |
if ((currentTool != toolSelect) || (currentTool ==
toolSelectall)) { |
23 |
Faint.java |
1764 |
| |
& |
24 |
Faint.java |
1764 |
if ((currentTool == toolSelect) || (currentTool ==
toolSelectall)) { |
if ((currentTool == toolSelect) || (currentTool !=
toolSelectall)) { |
25 |
Faint.java |
1765 |
if (currentTool == toolSelect) { |
if (currentTool != toolSelect) { |
26 |
Faint.java |
1899 |
if (currentTool == toolLine) { |
if (currentTool != toolLine) { |
27 |
Faint.java |
1902 |
} else if (currentTool == toolCurve) { |
} else if (currentTool != toolCurve) { |
28 |
Faint.java |
2187 |
if((newX < w) |
if((newX > w) |
29 |
Faint.java |
2188 |
< |
> |
30 |
Faint.java |
2189 |
0 |
10 |
31 |
FaintFileFilter.java |
47 |
if(extension!=null) addExtension(extension); |
if(extension==null) addExtension(extension); |
32 |
FaintFileFilter.java |
48 |
if(description!=null) setDescription(description); |
if(description==null) setDescription(description); |
33 |
Fill.java |
17 |
0 |
10 |
34 |
Fill.java |
36 |
!= |
== |
35 |
Fill.java |
40 |
y+1 |
y |
36 |
Fill.java |
36 |
-1 |
0 |
37 |
Fill.java |
40 |
== |
!= |
38 |
Fill.java |
40 |
< |
> |
39 |
Fill.java |
40 |
&& |
|| |
40 |
Fill.java |
42 |
++ |
-- |
41 |
Fill.java |
46 |
>= |
== |
42 |
Fill.java |
46 |
&& |
|| |
43 |
Fill.java |
46 |
== |
!= |
44 |
Fill.java |
46 |
y-1 |
y |
45 |
Fill.java |
46 |
0 |
10 |
46 |
OurFont.java |
16 |
public int size = 8; |
public int size = 100; |
47 |
OurFont.java |
13 |
public boolean bold = false; |
public boolean bold = true; |
48 |
ScrollablePicture.java |
23 |
int currentPosition = 0; |
int currentPosition = 100; |
49 |
ScrollablePicture.java |
24 |
if (orientation == SwingConstants.HORIZONTAL) |
if (orientation != SwingConstants.HORIZONTAL) |
50 |
ScrollablePicture.java |
31 |
if (direction < 0) { |
if (direction > 0) { |
51 |
ScrollablePicture.java |
31 |
if (direction < 0) { |
if (direction <= 0) { |
52 |
ScrollablePicture.java |
35 |
return (newPosition == 0) ? maxUnitIncrement : newPosition; |
return (newPosition != 0) ? maxUnitIncrement : newPosition; |
53 |
ScrollablePicture.java |
37 |
+ |
- |
54 |
ScrollablePicture.java |
45 |
if (orientation == SwingConstants.HORIZONTAL) |
if (orientation != SwingConstants.HORIZONTAL) |
55 |
ScrollablePicture.java |
46 |
return visibleRect.width - maxUnitIncrement; |
return visibleRect.width + maxUnitIncrement; |
56 |
SlideShow.java |
26 |
int i = -1; |
int i = 0; |
57 |
SlideShow.java |
53 |
int x = (this.getWidth() - im.getWidth())\/2;/int x =
(this.getWidth() + im.getWidth())\ |
2; |
58 |
SlideShow.java |
53 |
int x = (this.getWidth() - im.getWidth())\/2; |
int x = (this.getWidth() - im.getWidth())*2; |
59 |
Text.java |
135 |
if (bold.isSelected()) |
if (!bold.isSelected()) |
60 |
Text.java |
136 |
style += Font.BOLD; |
style = Font.BOLD; |
61 |
Text.java |
137 |
if (italics.isSelected()) |
if (!italics.isSelected()) |
62 |
Text.java |
138 |
style += Font.ITALIC; |
style = Font.ITALIC; |
63 |
Text.java |
147 |
if (underline.isSelected()){ |
if (!underline.isSelected()){ |
64 |
Text.java |
156 |
g2d.drawLine(x,y,(int)(x+newFont.getStringBounds(myText,rend).getMaxX()+1),y); |
g2d.drawLine(x,y,(int)(x-newFont.getStringBounds(myText,rend).getMaxX()+1),y); |
65 |
Text.java |
187 |
size.addItem(new Integer(8)); |
size.addItem(new Integer(800)); |
66 |
Text.java |
156 |
g2d.drawLine(x,y,(int)(x+newFont.getStringBounds(myText,rend).getMaxX()+1),y); |
g2d.drawLine(x,y,(int)(x+newFont.getStringBounds(myText,rend).getMaxX()-1),y); |
67 |
attributes.java |
38 |
pixelWidth |
pixelHeight |
68 |
attributes.java |
39 |
pixelHeight |
pixelWidth |
69 |
attributes.java |
40 |
pixelWidth |
pixelHeight |
70 |
brushTool.java |
10 |
DOT1 = 1 |
DOT1 = 100 |
71 |
brushTool.java |
44 |
SwingUtilities |
!SwingUtilities |
72 |
brushTool.java |
143 |
> |
< |
73 |
brushTool.java |
219 |
x-2 |
x+2 |
74 |
bucketTool.java |
53 |
>= |
<= |
75 |
bucketTool.java |
53 |
x |
y |
76 |
bucketTool.java |
53 |
y |
x |
77 |
bucketTool.java |
53 |
imgHeight |
imgWidth |
78 |
bucketTool.java |
53 |
imgHeight |
imgWidth |
79 |
splash.java |
50 |
getWidth |
getHeight |
80 |
splash.java |
50 |
- |
+ |
81 |
splash.java |
51 |
getHeight |
getWidth |
82 |
splash.java |
51 |
- |
+ |
83 |
stretch.java |
216 |
horizontal |
vertical |
84 |
stretch.java |
221 |
!= |
<= |
85 |
stretch.java |
221 |
100 |
1000 |
86 |
viewBitmap.java |
33 |
int x = (this.getWidth() - im.getWidth())\/2;/int x =
(this.getWidth() + im.getWidth())\ |
2; |
87 |
viewBitmap.java |
33 |
int x = (this.getWidth() - im.getWidth())\/2; |
int x = (this.getWidth() - im.getWidth())*2; |
88 |
viewBitmap.java |
34 |
int y = (this.getHeight() - im.getHeight())\/2;/int y =
(this.getHeight() + im.getHeight())\ |
2; |
89 |
viewBitmap.java |
34 |
int y = (this.getHeight() - im.getHeight())\/2; |
int y = (this.getHeight() - im.getHeight())*2; |
90 |
zoomTool.java |
13 |
theZoom = 1; |
theZoom = 100; |
91 |
zoomTool.java |
18 |
if (SwingUtilities.isLeftMouseButton(mevt)) { |
if (!SwingUtilities.isLeftMouseButton(mevt)) { |
92 |
zoomTool.java |
19 |
if( currentZoom < 8.0 ){ |
if( currentZoom > 8.0 ){ |
93 |
zoomTool.java |
19 |
if( currentZoom < 8.0 ){ |
if( currentZoom < 100.0 ){ |
94 |
zoomTool.java |
19 |
if( currentZoom < 8.0 ){ |
if( currentZoom == 8.0 ){ |
95 |
zoomTool.java |
24 |
if( currentZoom > 1.0 ){ |
if( currentZoom < 1.0 ){ |
96 |
zoomTool.java |
24 |
if( currentZoom > 1.0 ){ |
if( currentZoom == 1.0 ){ |
97 |
zoomTool.java |
24 |
if( currentZoom > 1.0 ){ |
if( currentZoom > 100.0 ){ |
98 |
main_canvas.java |
16 |
private int place = 0; |
private int place = 100; |
99 |
main_canvas.java |
34 |
static double zoomFactor = 1.0; |
static double zoomFactor = 100.0; |
100 |
main_canvas.java |
21 |
public boolean square = false; |
public boolean square = true; |
|
|
|
|
|