6853617: race condition in java.awt.Font.getAttributes() (private method)
authorprr
Mon Jun 22 14:10:09 2009 -0700 (9 months ago)
changeset 1295fafa991c27ac
parent 129470903e2c39e3
child 12962886eb650801
6853617: race condition in java.awt.Font.getAttributes() (private method)
Reviewed-by: igor, jgodinez
src/share/classes/java/awt/Font.java
--- a/src/share/classes/java/awt/Font.java Mon Jun 22 09:47:50 2009 -0700
+++ b/src/share/classes/java/awt/Font.java Mon Jun 22 14:10:09 2009 -0700
@@ -445,18 +445,19 @@ public class Font implements java.io.Ser
*/
private AttributeValues getAttributeValues() {
if (values == null) {
- values = new AttributeValues();
- values.setFamily(name);
- values.setSize(pointSize); // expects the float value.
+ AttributeValues valuesTmp = new AttributeValues();
+ valuesTmp.setFamily(name);
+ valuesTmp.setSize(pointSize); // expects the float value.
if ((style & BOLD) != 0) {
- values.setWeight(2); // WEIGHT_BOLD
+ valuesTmp.setWeight(2); // WEIGHT_BOLD
}
if ((style & ITALIC) != 0) {
- values.setPosture(.2f); // POSTURE_OBLIQUE
+ valuesTmp.setPosture(.2f); // POSTURE_OBLIQUE
}
- values.defineAll(PRIMARY_MASK); // for streaming compatibility
+ valuesTmp.defineAll(PRIMARY_MASK); // for streaming compatibility
+ values = valuesTmp;
}
return values;