mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 07:42:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

work in progrss intermediate save

Browse Source 
Updated wikipage Writing Documentation Filters with EFF, the Eiffel Filter Format.
	(Signed-off-by:RTH10260).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2306 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2021-02-14 04:47:20 +00:00
parent b00dd65cc6
commit 0c285ddda4
1 changed files with 255 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

234
documentation/20.11/eiffelstudio/Tutorials/appendix-writing-documentation-filters-eff-eiffel-filter-format.wiki
View File

@@ -1,5 +1,5 @@
[[Property:link_title|Writing Documentation FiltersFilters with EFF, the Eiffel Filter Format]] [[Property:link_title|Writing FiltersFilters with EFF]]
[[Property:modification_date|Sat, 13 Feb 2021 06:57:35 GMT]] [[Property:modification_date|Sun, 14 Feb 2021 04:47:20 GMT]]
[[Property:publication_date|Thu, 11 Feb 2021 07:55:20 GMT]] [[Property:publication_date|Thu, 11 Feb 2021 07:55:20 GMT]]
[[Property:title|Writing Documentation Filters with EFF, the Eiffel Filter Format]] [[Property:title|Writing Documentation Filters with EFF, the Eiffel Filter Format]]
[[Property:weight|6]] [[Property:weight|6]]
@@ -233,33 +233,241 @@ class_menu_item |*
menu_item_disabled |* menu_item_disabled |*
The current format. The current format.
class_menu_item_disabled|* class_menu_item_disabled |*
-- The current format. The current format.
cluster_name |* cluster_name |*
-- Symbol: $file$. Symbol: $file$.
tooltip |* tooltip |*
-- Text contained within this construct requests a tooltip. Text contained within this construct requests a tooltip.
-- Symbol: $tooltip$. Symbol: $tooltip$.
-- HTML Example: <SPAN TITLE="$tooltip$">*</SPAN> HTML Example: <SPAN TITLE="$tooltip$">*</SPAN>
origin_comment |* origin_comment |*
-- Text describing the written class of a feature. Text describing the written class of a feature.
-- Example: -- from ANY Example: -- from ANY
</code> </code>
====xxx==== ====Major syntactical constructs====
<code> <code>
class_declaration |*
Contains entire document.
HTML Example: <HTML><BODY>*</BODY></HTML>
indexing_clause |*
class_header |*
Contains class header, not including formal generics.
formal_generics |*
obsolete_clause |*
inheritance |*
creators |*
feature_clause |*
feature_declaration |*
Entire feature declaration. Symbol:
$feature$ The name of the decalred feature.
HTML example: <A NAME="$feature$">*</A>
invariant_clause |*
class_end |*
</code> </code>
====xxx==== ====Eiffel syntax items====
<code> <code>
features |*
Eiffel feature reference. Symbols:
$feature$ actual feature name of feature in class where it is written.
$file$ link to class where feature is written.
HTML example: <A HREF="$file$#$feature$">*</A>
keyword |*
Processed when a keyword is encountered but it is not explicitly specified.
keyword_features |*
Operator keyword or "Precursor"
If not specified, "keyword" is processed.
$file$ and $feature$ are defined, like for "features".
symbol |*
Processed when a symbol is encountered but it is not explicitly specified.
symbol_features |*
Operator symbol. If not specified, "symbol" is processed.
$file$ and $feature$ are defined, like for "features".
reserved_word |*
`Result' or `Current'.
comment |*
Example.
comment_url |*
A URL in a comment. If not specified, "comment" is processed.
Symbol $file$ contains the URL.
string |*
Eiffel literal string.
string_url |*
A URL inside an Eiffel string. If not specified, "string" is processed.
Symbol $file$ contains the URL.
quoted |*
character |*
number |*
local_symbol |*
assertion_tag |*
indexing_tag |*
generic |*
Formal generic class.
</code> </code>
====xxx==== ====Whitespace processing====
<code> <code>
tab |*
HTML Example: "&nbsp%;&nbsp%;&nbsp%;&nbsp%;".
new_line |*
HTML Example: "<BR>".
multiple_spaces |*
In case a sequence of spaces are encountered, this symbol is used for all subsequent spaces.
HTML Example: "&nbsp%;".
</code>
====Eiffel keywords====
<code>
interface |*
Appended to keyword "class" in short and flat-short forms.
alias |*
all |*
as |*
check |*
class |*
create |*
debug |*
deferred |*
do |*
else |*
elseif |*
end |*
ensure |*
expanded |*
export |*
external |*
false |*
feature |*
from |*
frozen |*
if |*
indexing |*
infix |*
inherit |*
inspect |*
invariant |*
is |*
like |*
local |*
loop |*
obsolete |*
old |*
once |*
precursor |*
prefix |*
redefine |*
rename |*
require |*
rescue |*
retry |*
select |*
separate |*
strip |*
then |*
true |*
undefine |*
unique |*
until |*
variant |*
when |*
Operators:
and |*
and then |*
implies |*
not |*
or |*
or else |*
xor |*
</code>
====Eiffel symbols====
<code>
:= |*
: |*
%, |*
-> |*
%-- |*
$ |*
. |*
.. |*
" |*
= |*
! |*
> |*
>= |*
<< |*
[ |*
{ |*
( |*
< |*
<= |*
' |*
>> |*
] |*
} |*
) |*
?= |*
; |*
~ |*
Operators:
+ |*
- |*
%* |*
/ |*
// |*
\\ |*
^ |*
/= |*
</code>
====Obsolete filter constructs====
<code>
!! |*
creation |*
cluster_declaration |*
cluster_header |*
</code> </code>