Comment out support for hidden methods in object literals

Author: Kevin Smith

src/runtime-semantics.html

@@ -3,6 +3,8 @@ <h1>Runtime Semantics</h1>
 
   <emu-clause id="sec-evaluation">
     <h1>Evaluation</h1>
+
+    <!--
     <emu-grammar>
       ObjectLiteral : `{` PropertyDefinitionList `}`
       ObjectLiteral : `{` PropertyDefinitionList `,` `}`
@@ -21,6 +23,7 @@ <h1>Evaluation</h1>
       1. <ins>Perform ! InitializeHiddenBindings(_hiddenDefinitions_, _hiddenEnv_).</ins>
       1. Return _obj_.
     </emu-alg>
+    -->
 
     <emu-grammar>
       SuperCall : `super` Arguments
@@ -106,6 +109,9 @@ <h1>[[Construct]] ( _argumentsList_, _newTarget_ )</h1>
 
   <emu-clause id="sec-definemethod" aoid="DefineMethod">
     <h1>DefineMethod</h1>
+    <emu-note type="editor">
+      DefineMethod has been generalized to create methods for all method definition productions.
+    </emu-note>
     <p>With parameter _homeObject_.</p>
 
     <emu-grammar>
@@ -212,7 +218,10 @@ <h1>DefineMethod</h1>
   <emu-clause id="sec-property-definition-evaluation" aoid="PropertyDefinitionEvaluation">
     <h1>PropertyDefinitionEvaluation</h1>
     <emu-note type="editor">
-      Hidden method definitions are evaluated separately in HiddenDefinitionEvaluation.
+      PropertyDefinitionEvaluation of |MethodDefinition| productions has been refactored to use DefineMethod.
+    </emu-note>
+    <emu-note type="editor">
+      PropertyDefinitionEvaluation does not process hidden definitions. Hidden method definitions are evaluated separately in HiddenDefinitionEvaluation.
     </emu-note>
     <p>With parameters _object_ and _enumerable_.</p>
 
@@ -294,7 +303,12 @@ <h1>PropertyDefinitionEvaluation</h1>
 
   <emu-clause id="sec-hidden-definition-evaluation" aoid="HiddenDefinitionEvaluation">
     <h1>HiddenDefinitionEvaluation</h1>
+    <emu-note type="editor">
+      HiddenDefinitionEvaluation evaluates hidden class elements and populates the specified _hiddenDefinitions_ List with HiddenMemberDescriptors.
+    </emu-note>
     <p>With parameters _object_ and _hiddenDefinitions_.</p>
+
+    <!--
     <emu-grammar>
       PropertyDefinitionList : PropertyDefinitionList `,` PropertyDefinition
     </emu-grammar>
@@ -312,6 +326,7 @@ <h1>HiddenDefinitionEvaluation</h1>
     <emu-alg>
       1. Return.
     </emu-alg>
+    -->
 
     <emu-grammar>
       MethodDefinition : PropertyName `(` UniqueFormalParameters `)` `{` FunctionBody `}`

src/static-semantics.html

@@ -22,13 +22,15 @@ <h1>Early Errors</h1>
       </li>
     </ul>
 
+    <!--
     <emu-grammar>
       ObjectLiteral : `{` PropertyDefinitionList `}`
       ObjectLiteral : `{` PropertyDefinitionList `,` `}`
     </emu-grammar>
     <ul>
       <li><ins>It is a Syntax Error if HasDuplicateHiddenNames(|PropertyDefinitionList|) is *true*.</ins></li>
     </ul>
+    -->
 
     <emu-grammar>
       HiddenMethod : `hidden` MethodDefinition
@@ -153,9 +155,10 @@ <h1>MethodHasIdentifierName</h1>
   <emu-clause id="sec-hiddennames" aoid="HiddenNames">
     <h1>HiddenNames</h1>
     <emu-note type="editor">
-      HiddenNames of a |PropertyDefinitionList| or |ClassElementList| returns a List containing all of the hidden member names defined in an object literal or class body. Each element in the list is a Record of the form {[[Name]]: *string*, [[Kind]]: *string*}.
+      HiddenNames of a |ClassElementList| returns a List containing all of the hidden member names defined in the class body. Each element in the list is a Record of the form {[[Name]]: *string*, [[Kind]]: *string*}.
     </emu-note>
 
+    <!--
     <emu-grammar>
       PropertyDefinitionList : PropertyDefinitionList `,` PropertyDefinition
     </emu-grammar>
@@ -174,6 +177,7 @@ <h1>HiddenNames</h1>
     <emu-alg>
       1. Return a new empty List.
     </emu-alg>
+    -->
 
     <emu-grammar>
       MethodDefinition : PropertyName `(` UniqueFormalParameters `)` `{` FunctionBody `}`
@@ -249,10 +253,10 @@ <h1>HiddenNames</h1>
   <emu-clause id="sec-hasduplicatehiddennames" aoid="HasDuplicateHiddenNames">
     <h1>HasDuplicateHiddenNames ( _parseNode_ )</h1>
     <emu-note type="editor">
-      HasDuplicateHiddenNames returns *true* if an object intializer or class body contains more than one definition for a single hidden name, and those definitions do not form an accessor method pair.
+      HasDuplicateHiddenNames returns *true* if a class body contains more than one definition for a single hidden name, and those definitions do not form an accessor method pair.
     </emu-note>
     <emu-alg>
-      1. Assert: _parseNode_ is |ClassElementList| or |PropertyDefintionList|.
+      1. Assert: _parseNode_ is |ClassElementList|.
       1. Let _members_ be HiddenNames of _parseNode_.
       1. For each element _member_ of _members_, do
         1. For each element _otherMember_ of _members_, do

src/syntax.html

@@ -1,13 +1,18 @@
 <emu-clause id="sec-syntax">
   <h1>Syntax</h1>
-  <emu-grammar>
 
+  <!--
+  <emu-grammar>
     PropertyDefinition[Yield, Await] :
       IdentifierReference[?Yield, ?Await]
       CoverInitializedName[?Yield, ?Await]
       PropertyName[?Yield, ?Await] `:` AssignmentExpression[+In, ?Yield, ?Await]
       MethodDefinition[?Yield, ?Await]
       <ins>HiddenMethod[?Yield, ?Await]</ins>
+  </emu-grammar>
+  -->
+
+  <emu-grammar>
 
     ClassElement[Yield, Await] :
       <ins>InstanceVariableDeclaration[?Yield, ?Await]</ins>