GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
EIFFELDOC_CONTEXT
+
Point of view
All features
ANY
EIFFELDOC
EIFFELDOC_SHORTER_CLASSDOC
EIFFELDOC_COMMENT_STATE
EIFFELDOC_CORE
EIFFELDOC_SHORTER
EIFFELDOC_COMMENT_WRITER
All features
class EIFFELDOC_CONTEXT
Summary
top
Shared context for all Eiffeldoc classes.
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
EIFFELDOC
}
make
Features
{
EIFFELDOC
}
set_options
(a_options:
EIFFELDOC_OPTIONS
)
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
}
set_class_text
(a_class_text:
CLASS_TEXT
)
set_html
(a_html:
EIFFELDOC_OUTPUT_STREAM
)
set_type
(a_type:
TYPE
)
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
type
:
TYPE
html
:
EIFFELDOC_OUTPUT_STREAM
class_type
:
TYPE
class_text
:
CLASS_TEXT
options
:
EIFFELDOC_OPTIONS
write_comment
(comment:
COMMENT
, from_sentence:
INTEGER_32
, to_sentence:
INTEGER_32
)
write_feature_comment
(a_comment:
COMMENT
, for_feature:
ANONYMOUS_FEATURE
, from_sentence:
INTEGER_32
, to_sentence:
INTEGER_32
)
{
EIFFELDOC_COMMENT_WRITER
}
all_states
:
FAST_ARRAY
[
EIFFELDOC_COMMENT_STATE
]
All the known states.
hidden_comment
:
EIFFELDOC_COMMENT_STATE_HIDDEN
in_bullet_list
:
EIFFELDOC_COMMENT_STATE_IN_BULLET_LIST
in_numbered_list
:
EIFFELDOC_COMMENT_STATE_IN_NUMBERED_LIST
in_preformatted
:
EIFFELDOC_COMMENT_STATE_IN_PREFORMATTED
beginning_of_line
:
EIFFELDOC_COMMENT_STATE_BEGINNING_OF_LINE
in_text
:
EIFFELDOC_COMMENT_STATE_IN_TEXT
in_class_name
:
EIFFELDOC_COMMENT_STATE_IN_CLASS_NAME
in_entity_name
:
EIFFELDOC_COMMENT_STATE_IN_ENTITY_NAME
in_url
:
EIFFELDOC_COMMENT_STATE_IN_URL
in_wiki_word
:
EIFFELDOC_COMMENT_STATE_IN_WIKI_WORD
in_bold
:
EIFFELDOC_COMMENT_STATE_IN_BOLD
in_italics
:
EIFFELDOC_COMMENT_STATE_IN_ITALICS
in_character
:
EIFFELDOC_COMMENT_STATE_IN_CHARACTER
in_string
:
EIFFELDOC_COMMENT_STATE_IN_STRING
{}
make
comment_writer
:
EIFFELDOC_COMMENT_WRITER
set_options
(a_options:
EIFFELDOC_OPTIONS
)
effective procedure
{
EIFFELDOC
}
top
require
a_options /= Void
set_class_text
(a_class_text:
CLASS_TEXT
)
effective procedure
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
}
top
require
a_class_text /= Void
set_html
(a_html:
EIFFELDOC_OUTPUT_STREAM
)
effective procedure
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
}
top
require
a_html /= Void
set_type
(a_type:
TYPE
)
effective procedure
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
}
top
require
a_type /= Void
type
:
TYPE
writable attribute
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
html
:
EIFFELDOC_OUTPUT_STREAM
writable attribute
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
class_type
:
TYPE
writable attribute
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
class_text
:
CLASS_TEXT
writable attribute
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
options
:
EIFFELDOC_OPTIONS
writable attribute
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
write_comment
(comment:
COMMENT
, from_sentence:
INTEGER_32
, to_sentence:
INTEGER_32
)
effective procedure
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
write_feature_comment
(a_comment:
COMMENT
, for_feature:
ANONYMOUS_FEATURE
, from_sentence:
INTEGER_32
, to_sentence:
INTEGER_32
)
effective procedure
{
EIFFELDOC
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_CORE
,
EIFFELDOC_SHORTER
,
EIFFELDOC_COMMENT_WRITER
}
top
all_states
:
FAST_ARRAY
[
EIFFELDOC_COMMENT_STATE
]
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
All the known states.
The order is very important.
hidden_comment
,
in_bullet_list
,
in_numbered_list
,
in_preformatted
must be before
beginning_of_line
because they all use line beginnings
in_url
must be before
in_wiki_word,
because they both use brackets
in_bold
,
in_italics
and
in_character
must be in this order because they all use quotes
in_text
must be last because it handles anything not handled by another state
hidden_comment
:
EIFFELDOC_COMMENT_STATE_HIDDEN
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_bullet_list
:
EIFFELDOC_COMMENT_STATE_IN_BULLET_LIST
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_numbered_list
:
EIFFELDOC_COMMENT_STATE_IN_NUMBERED_LIST
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_preformatted
:
EIFFELDOC_COMMENT_STATE_IN_PREFORMATTED
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
beginning_of_line
:
EIFFELDOC_COMMENT_STATE_BEGINNING_OF_LINE
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_text
:
EIFFELDOC_COMMENT_STATE_IN_TEXT
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_class_name
:
EIFFELDOC_COMMENT_STATE_IN_CLASS_NAME
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_entity_name
:
EIFFELDOC_COMMENT_STATE_IN_ENTITY_NAME
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_url
:
EIFFELDOC_COMMENT_STATE_IN_URL
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_wiki_word
:
EIFFELDOC_COMMENT_STATE_IN_WIKI_WORD
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_bold
:
EIFFELDOC_COMMENT_STATE_IN_BOLD
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_italics
:
EIFFELDOC_COMMENT_STATE_IN_ITALICS
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_character
:
EIFFELDOC_COMMENT_STATE_IN_CHARACTER
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
in_string
:
EIFFELDOC_COMMENT_STATE_IN_STRING
frozen
once function
{
EIFFELDOC_COMMENT_WRITER
}
top
make
effective procedure
{}
top
comment_writer
:
EIFFELDOC_COMMENT_WRITER
writable attribute
{}
top