41 |
/** @since 1.5 */ |
/** @since 1.5 */ |
42 |
public class IllegalFormatWidthException extends IllegalFormatException |
public class IllegalFormatWidthException extends IllegalFormatException |
43 |
{ |
{ |
44 |
private int width; |
private static final long serialVersionUID = 16660902L; |
45 |
|
|
46 |
public IllegalFormatWidthException(int width) |
// Note: name fixed by serialization. |
47 |
|
private int w; |
48 |
|
|
49 |
|
public IllegalFormatWidthException(int w) |
50 |
{ |
{ |
51 |
super(); |
super(); |
52 |
this.width = width; |
this.w = w; |
53 |
} |
} |
54 |
|
|
55 |
public int getWidth() |
public int getWidth() |
56 |
{ |
{ |
57 |
return width; |
return w; |
58 |
} |
} |
59 |
} |
} |