Don't allocate type number for interfaces so that we do not need allocate lines in...

[IRC.git] / Robust / src / Parse / java14.cup

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index c1b5470aec617a09116e123087745fcced8e694e..866831ee50a979bd2b5c40321b1451a9e1c53bac 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -820,7 +820,16 @@ class_member_declaration ::=
        RESULT=(new ParseNode("method")).addChild(method).getRoot(); 
        :}
        /* repeat the prod for 'class_declaration' here: */
-//     |       modifiers_opt CLASS IDENTIFIER super_opt class_body
+//     |       modifiers_opt:mo CLASS IDENTIFIER:id super_opt:so interfaces_opt:ifo class_body:body
+//     {:
+//     ParseNode pn=new ParseNode("inner_class_declaration");
+//     pn.addChild("modifiers").addChild(mo);
+//     pn.addChild("name").addChild(id);
+//     pn.addChild("super").addChild(so);
+//     pn.addChild("superIF").addChild(ifo);
+//     pn.addChild("classbody").addChild(body);
+//     RESULT=pn;
+//     :}
     |       interface_declaration:interfaced {: 
        RESULT=(new ParseNode("interface")).addChild(interfaced).getRoot(); 
        :}