indexing
description: "Objects that hold the current formatting applied while loading a RTF file."
legal: "See notice at end of class."
status: "See notice at end of class."
author: ""
date: "$Date: 2006-01-22 18:25:44 -0800 (Sun, 22 Jan 2006) $"
revision: "$Revision: 56675 $"
class interface
RTF_FORMAT_I
create
default_create
`Current'
feature
alignment: INTEGER_32
boolean_out (a_boolean: BOOLEAN): STRING_8
bottom_spacing: INTEGER_32
character_format: INTEGER_32
character_format_out: STRING_8
`Current'
color_set: BOOLEAN
text_color
false_constant: STRING_8 is "F"
font_height: INTEGER_32
generating_type: STRING_8
ANY
generator: STRING_8
ANY
highlight_color: INTEGER_32
highlight_set: BOOLEAN
highlight_color
is_bold: BOOLEAN
is_italic: BOOLEAN
is_striked_out: BOOLEAN
is_underlined: BOOLEAN
left_margin: INTEGER_32
paragraph_format_out: STRING_8
`Current'
reset_paragraph
ensure
alignment = alignment_left
left_margin = 0
right_margin = 0
top_spacing = 0
bottom_spacing = 0
right_margin: INTEGER_32
text_color: INTEGER_32
top_spacing: INTEGER_32
true_constant: STRING_8 is "T"
vertical_offset: INTEGER_32
feature
frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
shallow_implies_deep: standard_equal (some, other) implies Result
both_or_none_void: (some = Void) implies (Result = (other = Void))
same_type: (Result and (some /= Void)) implies some.same_type (other)
symmetric: Result implies deep_equal (other, some)
frozen equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))
is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result
frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))
frozen standard_is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
same_type: Result implies same_type (other)
symmetric: Result implies other.standard_is_equal (Current)
feature
conforms_to (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
same_type (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
definition: Result = (conforms_to (other) and other.conforms_to (Current))
feature
set_alignment (an_alignment: INTEGER_32)
alignment`an_alignment'
require
valid_alignment: valid_alignment (an_alignment)
ensure
alignment_set: alignment = an_alignment
set_bold (a_is_bold: BOOLEAN)
is_bold`a_is_bold'
ensure
is_bold_assigned: is_bold = a_is_bold
set_bottom_spacing (a_bottom_spacing: INTEGER_32)
bottom_spacing`a_bottom_spacing'
require
a_bottom_spacing_non_negative: a_bottom_spacing >= 0
ensure
bottom_spacing_assigned: bottom_spacing = a_bottom_spacing
set_character_format (a_character_format: INTEGER_32)
character_format`a_character_format'
require
a_character_format_non_negative: a_character_format >= 0
ensure
character_format_assigned: character_format = a_character_format
set_font_height (a_font_height: INTEGER_32)
font_height`a_font_height'
require
a_font_height_positive: a_font_height > 0
ensure
font_height_assigned: font_height = a_font_height
set_highlight_color (a_highlight_color: INTEGER_32)
highlight_color`a_highlight_color'
require
a_highlight_color_non_negative: a_highlight_color >= 0
ensure
highlight_color_assigned: highlight_color = a_highlight_color
set_italic (an_is_italic: BOOLEAN)
is_italic`an_is_italic'
ensure
is_italic_assigned: is_italic = an_is_italic
set_left_margin (a_left_margin: INTEGER_32)
left_margin`a_left_margin'
require
a_left_margin_non_negative: a_left_margin >= 0
ensure
left_margin_assigned: left_margin = a_left_margin
set_right_margin (a_right_margin: INTEGER_32)
right_margin`a_right_margin'
require
a_right_margin_non_negative: a_right_margin >= 0
ensure
right_margin_assigned: right_margin = a_right_margin
set_striked_out (an_is_striked_out: BOOLEAN)
is_striked_out`an_is_striked_out'
ensure
is_striked_out_assigned: is_striked_out = an_is_striked_out
set_text_color (a_text_color: INTEGER_32)
text_color`a_text_color'
require
a_text_color_non_negative: a_text_color >= 0
ensure
text_color_assigned: text_color = a_text_color
set_top_spacing (a_top_spacing: INTEGER_32)
top_spacing`a_top_spacing'
require
a_top_spacing_non_negative: a_top_spacing >= 0
ensure
top_spacing_assigned: top_spacing = a_top_spacing
set_underlined (an_is_underlined: BOOLEAN)
is_underlined`an_is_underlined'
ensure
is_underlined: is_underlined = an_is_underlined
set_vertical_offset (an_offset: INTEGER_32)
vertical_offset`an_offset'
ensure
offset_set: vertical_offset = an_offset
feature
copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_equal: is_equal (other)
frozen deep_copy (other: like Current)
copy`other'deep_twin
ANY
require ANY
other_not_void: other /= Void
ensure ANY
deep_equal: deep_equal (Current, other)
frozen deep_twin: like Current
ANY
ensure ANY
deep_equal: deep_equal (Current, Result)
frozen standard_copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_standard_equal: standard_is_equal (other)
frozen standard_twin: like Current
`other'
ANY
ensure ANY
standard_twin_not_void: Result /= Void
equal: standard_equal (Result, Current)
frozen twin: like Current
`Current'
twincopycopy
ANY
ensure ANY
twin_not_void: Result /= Void
is_equal: Result.is_equal (Current)
feature
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_rescue
ANY
frozen do_nothing
ANY
feature
alignment_center: INTEGER_32 is 2
EV_PARAGRAPH_CONSTANTS
alignment_justified: INTEGER_32 is 4
EV_PARAGRAPH_CONSTANTS
alignment_left: INTEGER_32 is 1
EV_PARAGRAPH_CONSTANTS
alignment_right: INTEGER_32 is 3
EV_PARAGRAPH_CONSTANTS
feature
valid_alignment (an_alignment: INTEGER_32): BOOLEAN
`an_alignment'
EV_PARAGRAPH_CONSTANTS
valid_paragraph_flag (a_flag: INTEGER_32): BOOLEAN
`a_flag'
EV_PARAGRAPH_CONSTANTS
feature
io: STD_FILES
ANY
out: STRING_8
ANYtagged_out
ANY
print (some: ANY)
`some'
ANY
frozen tagged_out: STRING_8
ANYout
ANY
feature
alignment_constant: INTEGER_32 is 1
EV_PARAGRAPH_CONSTANTS
bottom_spacing_constant: INTEGER_32 is 16
EV_PARAGRAPH_CONSTANTS
left_margin_constant: INTEGER_32 is 2
EV_PARAGRAPH_CONSTANTS
right_margin_constant: INTEGER_32 is 4
EV_PARAGRAPH_CONSTANTS
top_spacing_constant: INTEGER_32 is 8
EV_PARAGRAPH_CONSTANTS
feature
operating_environment: OPERATING_ENVIRONMENT
ANY
invariant
character_format_non_negative: character_format >= 0
font_height_non_negative: font_height >= 0
text_color_non_negative: text_color >= 0
highlight_color_non_negative: highlight_color >= 0
left_margin_non_negative: left_margin >= 0
right_margin_non_negative: right_margin >= 0
top_spacing_non_negative: top_spacing >= 0
bottom_spacing_non_negative: bottom_spacing >= 0
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
indexing
copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com
]"
end RTF_FORMAT_I