JAVAAWTFONT Data Type

Identifies a font. 4Test defines this record data type as follows:

[-] type JavaAwtFont is record
	[ ] STRING Name
	[ ] INTEGER Style
	[ ] INTEGER Size