org.eclipse.tptp.platform.report.core.internal
Interface IDFont

All Superinterfaces:

IDObject

All Known Implementing Classes:

DFont

Deprecated. As of TPTP 4.5.0, use the TPTP Business Intelligence and Reporting Tools (BIRT) reporting infrastructure (org.eclipse.tptp.platform.report.birt).

public interface IDFont
extends IDObject

Provides an interface for the Font object in JScrib documents. A font is defined with its family and script. Script is the charset code that the font uses in the all font characters (ex: latin1). An IDFont has a size in pixel and a style. The style is a combination of followings values:

• NORMAL: default font style
• BOLD: bold style
• ITALIC: italic style
• UNDERLINE: a line below text
• OVERLINE: a line above text
• DASHED: a dashed line below text
• STRIKE: a line over text

Field Summary

static int	BOLD Deprecated. define BOLD font style
static int	DASHED Deprecated. define DASHED font style (a dashed line below text)
static int	ITALIC Deprecated. define ITALIC font style
static int	LINE_STYLES Deprecated. Mask for properties style "lines".
static int	NORMAL Deprecated. define NORMAL font style
static int	OVERLINE Deprecated. define OVERLINE font style (a line above text)
static int	STRIKE Deprecated. define STRIKE font style (a line over text)
static int	UNDERLINE Deprecated. define UNDERLINE font style (a line below text)

Method Summary

java.lang.String	getFamily() Deprecated. Returns if the font family.
java.lang.String	getID() Deprecated.
java.lang.String	getScript() Deprecated. Returns if the font script name.
int	getSize() Deprecated. Returns the font size.
int	getStyle() Deprecated. Returns the font style.
boolean	haveStyle(int _style) Deprecated. Checks if the font has one or more style item of _style
boolean	isStyle(int _style) Deprecated. Checks if the font has the style _style
void	setFamily(java.lang.String f) Deprecated. Sets the font family to 'f'.
void	setScript(java.lang.String s) Deprecated. Sets the font script name to 's'.
void	setSize(int s) Deprecated. Sets the font size to 's'.
void	setStyle(int style) Deprecated. Set the font style.

Field Detail

NORMAL

static final int NORMAL

Deprecated.

define NORMAL font style

See Also:

Constant Field Values

BOLD

static final int BOLD

Deprecated.

define BOLD font style

See Also:

Constant Field Values

ITALIC

static final int ITALIC

Deprecated.

define ITALIC font style

See Also:

Constant Field Values

UNDERLINE

static final int UNDERLINE

Deprecated.

define UNDERLINE font style (a line below text)

See Also:

Constant Field Values

OVERLINE

static final int OVERLINE

Deprecated.

define OVERLINE font style (a line above text)

See Also:

Constant Field Values

DASHED

static final int DASHED

Deprecated.

define DASHED font style (a dashed line below text)

See Also:

Constant Field Values

STRIKE

static final int STRIKE

Deprecated.

define STRIKE font style (a line over text)

See Also:

Constant Field Values

LINE_STYLES

static final int LINE_STYLES

Deprecated.

Mask for properties style "lines". This is not a font style

See Also:

Constant Field Values

Method Detail

getFamily

java.lang.String getFamily()

Deprecated.

Returns if the font family.

getScript

java.lang.String getScript()

Deprecated.

Returns if the font script name.

getSize

int getSize()

Deprecated.

Returns the font size.

getStyle

int getStyle()

Deprecated.

Returns the font style.

setFamily

void setFamily(java.lang.String f)

Deprecated.

Sets the font family to 'f'.

Parameters:

f - font family parameter

setScript

void setScript(java.lang.String s)

Deprecated.

Sets the font script name to 's'.

Parameters:

s - font script name

setSize

void setSize(int s)

Deprecated.

Sets the font size to 's'.

Parameters:

s - font size

setStyle

void setStyle(int style)

Deprecated.

Set the font style.

Parameters:

style - new font style

isStyle

boolean isStyle(int _style)

Deprecated.

Checks if the font has the style _style

Returns:

true if font style is exactly the style given in parameter. If font style is BOLD|ITALIC, then haveStyle(BOLD) return false, and haveStyle(BOLD|ITALIC) return true;

haveStyle

boolean haveStyle(int _style)

Deprecated.

Checks if the font has one or more style item of _style

Returns:

true if font style have one (or more) style given in parameter. If font style is BOLD|ITALIC, then haveStyle(BOLD) return true, and haveStyle(BOLD|ITALIC) return true

getID

java.lang.String getID()

Deprecated.

Returns:

the unique id of the font.