src/share/classes/javax/print/attribute/standard/MediaSize.java
Print this page
@@ -54,13 +54,13 @@
private static final long serialVersionUID = -1967958664615414771L;
private MediaSizeName mediaName;
- private static HashMap mediaMap = new HashMap(100, 10);
+ private static HashMap<MediaSizeName, MediaSize> mediaMap = new HashMap<>(100, 10);
- private static Vector sizeVector = new Vector(100, 10);
+ private static Vector<MediaSize> sizeVector = new Vector<>(100, 10);
/**
* Construct a new media size attribute from the given floating-point
* values.
*
@@ -172,11 +172,11 @@
* @param media - the name of the media for which the size is sought
* @return size of the media, or null if this media is not associated
* with any size.
*/
public static MediaSize getMediaSizeForName(MediaSizeName media) {
- return (MediaSize)mediaMap.get(media);
+ return mediaMap.get(media);
}
/**
* The specified dimensions are used to locate a matching MediaSize
* instance from amongst all the standard MediaSize instances.
@@ -211,11 +211,11 @@
float []dim;
float diffx = x;
float diffy = y;
for (int i=0; i < sizeVector.size() ; i++) {
- MediaSize mediaSize = (MediaSize)sizeVector.elementAt(i);
+ MediaSize mediaSize = sizeVector.elementAt(i);
dim = mediaSize.getSize(units);
if (x == dim[0] && y == dim[1]) {
match = mediaSize;
break;
} else {