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

Correct bad links in variant' and invariant'. From PR #17881

Browse Source 
Author:halw
Date:2011-10-12T21:50:58.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@996 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-10-12 21:50:58 +00:00
parent cc0fa9d046
commit 0bf0dc7c63
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-reserved-words.wiki
View File

@@ -281,7 +281,7 @@ Introduces a [[ET: Other Mechanisms#Multi-branch|multi-branch]] instruction.
===invariant===
Used to introduce an invariant assertion as a [[ET: Design by Contract (tm), Assertions and Exceptions#Class invariants|class invariant]] or [[ET: Other Mechanisms#Loop|loop invariant]].
Used to introduce an invariant assertion as a [[ET: Design by Contract (tm), Assertions and Exceptions#Class invariants|class invariant]] or [[ET: Instructions#Loop|loop invariant]].
:[[Eiffel language syntax#Assertions|Assertions syntax.]]
@@ -477,7 +477,7 @@ Used in [[ET: Other Mechanisms#Loop|loop]] initialization.
===variant===
Introduces a [[ET: Other Mechanisms#Loop|loop variant]].
Introduces a [[ET: Instructions#Loop|loop variant]].
:[[Eiffel language syntax#Variants|Syntax.]]