From 4192147809e6177837310110e9fc099fb85280dd Mon Sep 17 00:00:00 2001
From: James Clark <jjc@jclark.com>
Date: Sun, 20 Sep 2020 19:43:39 +0700
Subject: [PATCH] isolated method treats self like parameter

Part of #145.
---
 lang/spec.html | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/lang/spec.html b/lang/spec.html
index a710bb01..0365640f 100644
--- a/lang/spec.html
+++ b/lang/spec.html
@@ -2039,14 +2039,20 @@ <h5>Methods</h5>
 method-name := identifier
 </pre>
 <p>
-The <code>method-name</code> of a <code>method-decl</code> must be distinct from
-the <code>method-name</code> of every other <code>method-decl</code> in the
+A <code>method-decl</code> describes a method of the object. The
+<code>method-name</code> of a <code>method-decl</code> must be distinct from the
+<code>method-name</code> of every other <code>method-decl</code> in the
 <code>object-type-descriptor</code> and from the <code>field-name</code> of
 every <code>object-field-descriptor</code> in the
 <code>object-type-descriptor</code>. Note that here is no method overloading.
 The <code>method-name</code> in a <code>method-decl</code> must not be
 <code>init</code>.
 </p>
+<p>
+The <code>isolated-qual</code> together with the <code>function-signature</code>
+give the function type of the method. An isolated method has the same access to
+the object on which the method is invoked that it has to parameters.
+</p>
 <pre
 class="grammar">remote-qual := <code>remote</code>
 </pre>