1265 |
public String |
public String |
1266 |
toString() |
toString() |
1267 |
{ |
{ |
1268 |
return(getClass().getName() |
String styleString = ""; |
1269 |
+ "(logical=" + getName () |
|
1270 |
+ ",family=" + getFamily () |
switch (getStyle ()) |
1271 |
+ ",name=" + getFontName () |
{ |
1272 |
+ ",style=" + getStyle () |
case 0: |
1273 |
+ ",size=" + getSize ()); |
styleString = "plain"; |
1274 |
|
break; |
1275 |
|
case 1: |
1276 |
|
styleString = "bold"; |
1277 |
|
break; |
1278 |
|
case 2: |
1279 |
|
styleString = "italic"; |
1280 |
|
break; |
1281 |
|
default: |
1282 |
|
styleString = "unknown"; |
1283 |
|
} |
1284 |
|
|
1285 |
|
return getClass ().getName () |
1286 |
|
+ "[family=" + getFamily () |
1287 |
|
+ ",name=" + getFontName () |
1288 |
|
+ ",style=" + styleString |
1289 |
|
+ ",size=" + getSize () + "]"; |
1290 |
} |
} |
1291 |
|
|
1292 |
|
|