From c3f743d743c1b92d42ed91e24841dbaee35bb05c Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 29 Jul 2019 16:52:51 +0000
Subject: [PATCH] Added a note about class features. Updated wikipage Eiffel
 programming language syntax. 	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2170 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../eiffel-programming-language-syntax.wiki                 | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
index 36b322a3..010192e2 100644
--- a/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
+++ b/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Mon, 29 Jul 2019 06:28:13 GMT]]
+[[Property:modification_date|Mon, 29 Jul 2019 16:52:51 GMT]]
 [[Property:publication_date|Mon, 29 Apr 2019 14:08:51 GMT]]
 [[Property:title|Eiffel programming language syntax]]
 [[Property:link_title|Syntax]]
@@ -337,12 +337,14 @@ Assertion ::= {Assertion_clause ";" ...}*
 
 Assertion_clause ::= <nowiki>[</nowiki>Tag_mark<nowiki>]</nowiki> Unlabeled_assertion_clause 
 
-Unlabeled_assertion_clause ::= [[#Expressions|Boolean_expression]] | [[#Comments|Comment]] 
+Unlabeled_assertion_clause ::= [[#Expressions|Boolean_expression]] | [[#Comments|Comment]] | `class`
 
 Tag_mark ::= Tag ":" 
 
 Tag ::= [[#Identfiers|Identifier]] 
 
+{{Note|Unlabeled_assertion_clause of the form `class` can be used only in a postcondition. It marks a feature that does not depend on object state and can be called without a target object using non-object call of the form `{CLASS_NAME}.feature_name (arguments)`.}}
+
 
 ==="Old" postcondition expressions ===
 Old ::= <code>old</code> [[#Expressions|Expression]]