Roll back to use the simple Class constructor to support class lock. Fix a bug for...

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

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index 6f489a676b7987a0aaccb1b61e842e80297df94b..bb39c86f921e55cb14144deaa6c61890fd9b8b3c 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -1696,17 +1696,17 @@ primary_no_new_array ::=
                pn.addChild(id);
                RESULT=pn;
        :}
-       |       primitive_type:pt DOT CLASS {:
-           ParseNode pn=new ParseNode("class_type");
-           pn.addChild(pt);
-           RESULT=pn;
-       :}
+//     |       primitive_type:pt DOT CLASS {:
+//         ParseNode pn=new ParseNode("class_type");
+//         pn.addChild(pt);
+//         RESULT=pn;
+//     :}
 //     |       VOID DOT CLASS
-       |       array_type:at DOT CLASS {:
-           ParseNode pn=new ParseNode("class_type");
-           pn.addChild(at);
-           RESULT=pn;
-       :}
+//     |       array_type:at DOT CLASS {:
+//         ParseNode pn=new ParseNode("class_type");
+//         pn.addChild(at);
+//         RESULT=pn;
+//     :}
        |       name:name DOT CLASS {:
            ParseNode pn=new ParseNode("class_type");
            pn.addChild("type").addChild("class").addChild(name);