INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains the input filename used by ", "`start_doc%' in WEL_PRINTER_DC. ", "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-2001 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_DOC_INFO
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make
feature {NONE}-- Initialization

make (a_document_name: STRING)
-- Make doc info structure with `document_name',
ensure
document_name_set: document_name.is_equal (a_document_name)
feature -- Access

document_name: STRING
-- Name of the document
ensure
result_not_void: Result /= void

output: STRING
-- Name of the output file
require
default_output_not_set: not default_output_set
ensure
result_not_void: Result /= void
feature -- Element change

set_document_name (a_document_name: STRING)
-- Set `document_name' with `a_document_name'.
require
a_document_name_not_void: a_document_name /= void
ensure
document_name_set: document_name.is_equal (a_document_name)

set_output (an_output: STRING)
-- Set `output' with `an_output'.
require
an_output_not_void: an_output /= void
ensure
output_set: output.is_equal (an_output)

set_default_output
-- Set the output to the default system value.
ensure
default_output_set: default_output_set
feature -- Status report

default_output_set: BOOLEAN
-- Is the default output set?
feature -- Measurement

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

str_document_name: WEL_STRING

str_output: WEL_STRING
end -- class WEL_DOC_INFO

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES