From 54d19944fe83121ce063c28ba70e2128fb2d7e38 Mon Sep 17 00:00:00 2001
From: Yi Zhang <zorozy@gmail.com>
Date: Mon, 14 Mar 2016 21:42:07 -0500
Subject: [PATCH] modify list-syntax.k

---
 src/common/list-syntax.k     | 39 +++++++++++++++++++++++++++++++++++-
 tools/extract-all-modules.sh |  0
 2 files changed, 38 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 tools/extract-all-modules.sh

diff --git a/src/common/list-syntax.k b/src/common/list-syntax.k
index 43e2b12a..6071ae4d 100644
--- a/src/common/list-syntax.k
+++ b/src/common/list-syntax.k
@@ -5,6 +5,43 @@ module LIST-SYNTAX
  already defined before, because there is no automatic refactor for rename, and also those
  defined are used in semantic rules, we leave them unchanged.*/
 
+syntax InterfaceType
+syntax ExceptionType
+syntax Id
+syntax TypeDec
+syntax VarDec
+syntax ImportDec
+syntax ActualTypeArg
+syntax ClassOrInterfaceType
+syntax TypeParam
+syntax AbstractMethodMod
+syntax AnnoAbstractMethodMod
+syntax AnnoMethodMod
+syntax AnnoVarMod
+syntax AnnoClassMod
+syntax AnnoConstrMod
+syntax AnnoConstantMod
+syntax AnnoFieldMod
+syntax AnnoInterfaceMod
+syntax Anno
+syntax AnnoElemDec
+syntax InterfaceMemberDec
+syntax ElemValPair
+syntax ElemVal
+syntax StringPart
+syntax EnumConst
+syntax ClassBodyDec
+syntax BlockStmt
+syntax SwitchGroup
+syntax SwitchLabel
+syntax Exp
+syntax Dim
+syntax DimExp
+syntax VarInit
+syntax CatchClause
+syntax Param
+
+
 syntax InterfaceTypeList         ::= List{InterfaceType,","}         [klabel('InterfaceTypeList), strict]
 syntax ExceptionTypeList         ::= List{ExceptionType,","}         [klabel('ExceptionTypeList)]
 syntax IdList                    ::= List{Id,"."}                    [klabel('IdList)]
@@ -45,4 +82,4 @@ syntax Params                    ::= List{Param, ","}                [klabel('Fo
 context 'FormalParamList(HOLE,,_) [result(Param)]
 context 'FormalParamList(_,,HOLE) [result(Params)]
 
-endmodule
\ No newline at end of file
+endmodule
diff --git a/tools/extract-all-modules.sh b/tools/extract-all-modules.sh
old mode 100644
new mode 100755