INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about paragraph formating ", "attributes in a rich edit control. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_PARAGRAPH_FORMAT
inherit

WEL_STRUCTURE
rename
make as structure_make
end

WEL_PFM_CONSTANTS
export
{NONE}
all
end

WEL_PFA_CONSTANTS
export
{NONE}
all
end

WEL_BIT_OPERATIONS
export
{NONE}
all
end
creation

make,
make_by_pointer
feature {NONE}-- Initialization

make
-- Make a paragraph format structure.
feature -- Access

mask: INTEGER
-- Valid information or attributes to set.
-- See class WEL_PFM_CONSTANTS for values.
-- This attribut is automatically set by the
-- features set_*.

numbering: INTEGER
-- Numbering type

alignment: INTEGER
-- Alignment type.
-- See class WEL_PFA_CONSTANTS for values.

right_indent: INTEGER
-- Size of the right indentation, relative to the right
-- margin

start_indent: INTEGER
-- Indentation of the first line in the paragraph

offset: INTEGER
-- Indentation of the second line and subsequent
-- lines, relative to the starting indentation. The
-- first line is indented if this member is negative,
-- or outdented is this member is positive.

tabulations: ARRAY [INTEGER]
-- Contains tab stops
ensure
result_not_void: Result /= void
feature -- Element change

no_numbering
-- Remove any numbering.
ensure
no_numbering: numbering = 0

bullet_numbering
-- Add bullets.
ensure
bullet_numbering: numbering = pfn_bullet

set_start_indent (a_start_indent: INTEGER)
-- Set `start_indent' with `a_start_indent'.
ensure
start_indent_set: start_indent = a_start_indent

set_right_indent (a_right_indent: INTEGER)
-- Set `right_indent' with `a_right_indent'.
ensure
right_indent_set: right_indent = a_right_indent

set_offset (an_offset: INTEGER)
-- Set `offset' with `an_offset'.
ensure
offset_set: offset = an_offset

set_alignment (an_alignment: INTEGER)
-- Set `alignment' with `an_alignment'.
-- See class WEL_PFA_CONSTANTS for values.
ensure
alignment_set: alignment = an_alignment

set_left_alignment
-- Paragraphs are aligned with the left margin.
ensure
alignment_set: alignment = pfa_left

set_right_alignment
-- Paragraphs are aligned with the right margin.
ensure
alignment_set: alignment = pfa_right

set_center_alignment
-- Paragraphs are centered.
ensure
alignment_set: alignment = pfa_center

set_tabulations (tabs: ARRAY [INTEGER])
-- Set tabulation stops using the values of `tabs'.
require
tabs_not_void: tabs /= void
tabs_count: tabs.count <= max_tab_stops
ensure
tabulations_set: tabulations.is_equal (tabs)

set_tabulation (tab: INTEGER)
-- Set a tab stop at every `tab'.

set_default_tabulation
-- Set the default tabulation.

set_mask (a_mask: INTEGER)
-- Set `mask' with `a_mask'.
-- See class WEL_PFM_CONSTANTS for `a_mask' values.
ensure
mask_set: mask = a_mask

add_mask (a_mask: INTEGER)
-- Add `a_mask' to `mask'.
-- See class WEL_PFM_CONSTANTS for `a_mask' values.
ensure
has_mask: has_mask (a_mask)

remove_mask (a_mask: INTEGER)
-- Remove `a_mask' from `mask'.
-- See class WEL_PFM_CONSTANTS for `a_mask' values.
ensure
has_not_mask: not has_mask (a_mask)
feature -- Status report

has_mask (a_mask: INTEGER): BOOLEAN
-- Is `a_mask' set in `mask'?
-- See class WEL_PFM_CONSTANTS for `a_mask' values.
feature -- Measurement

structure_size: INTEGER
-- Size to allocate (in bytes)

Max_tab_stops: INTEGER
end -- class WEL_PARAGRAPH_FORMAT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES