From c99a8784310bc4583e0a54b6055068310ff7d407 Mon Sep 17 00:00:00 2001 From: jfiat Date: Wed, 18 Feb 2015 10:18:46 +0000 Subject: [PATCH] Update syntax (alias instead of infix). (commit by Conaclos) git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1413 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../net/eiffel-net-language/eiffel-net/inheritance.wiki | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/documentation/current/solutions/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/inheritance.wiki b/documentation/current/solutions/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/inheritance.wiki index 17c4ebf2..e081c166 100644 --- a/documentation/current/solutions/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/inheritance.wiki +++ b/documentation/current/solutions/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/inheritance.wiki @@ -30,24 +30,24 @@ deferred class feature -- Comparison - infix "<" (other: like Current): BOOLEAN + is_less alias "<" (other: like Current): BOOLEAN -- Is current object less than `other'? deferred end - infix "<=" (other: like Current): BOOLEAN + is_less_equal alias "<=" (other: like Current): BOOLEAN -- Is current object less than or equal to `other'? do Result := not (other < Current) end - infix ">" (other: like Current): BOOLEAN + is_greater alias ">" (other: like Current): BOOLEAN -- Is current object greater than `other'? do Result := other < Current end - infix ">=" (other: like Current): BOOLEAN + is_greater_equal alias ">=" (other: like Current): BOOLEAN -- Is current object greater than or equal to `other'? do Result := not (Current < other)