Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.video.font

Class EM_SHARED_STANDARD_FONTS


Known direct descendants

EM_FRAME_COUNTER, EM_WIDGET_DELEGATE, EM_THEME_FONTS, EM_NAMED_BORDER, EM_MESSAGE_DIALOG

Features

Invariants

indexing

description

Singleton access to EM_STANDARD_BMP_FONTS and EM_STANDARD_TTF_FONTS.

date

$Date: 2005/10/23 10:59:04 $

revision

$Revision: 1.7 $

class

EM_SHARED_STANDARD_FONTS

feature -- Access

standard_bmp_fonts: EM_STANDARD_BMP_FONTS

-- Standard bmp fonts singelton

ensure
standard_bmp_fonts_not_void: Result /= Void
standard_ttf_fonts: EM_STANDARD_TTF_FONTS

-- Standard ttf fonts singelton

ensure
standard_ttf_fonts_not_void: Result /= Void

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end