another odd core bug

[IRC.git] / Robust / src / Lex / Keyword.java

diff --git a/Robust/src/Lex/Keyword.java b/Robust/src/Lex/Keyword.java
index f91131aeb28014cdaa18dddb32b4b397d98b668b..eea77f5e70954d3bd9932e022ee8b31e28bd4fa3 100644 (file)
--- a/Robust/src/Lex/Keyword.java
+++ b/Robust/src/Lex/Keyword.java
@@ -6,13 +6,17 @@ import Parse.Sym;
 
 class Keyword extends Token {
   String keyword;
-  Keyword(String s) { keyword = s; }
+  Keyword(String s) {
+    keyword = s;
+  }
 
   Symbol token() {
     Integer i = (Integer) key_table.get(keyword);
     return new Symbol(i.intValue());
   }
-  public String toString() { return "Keyword <"+keyword+">"; }
+  public String toString() {
+    return "Keyword <"+keyword+">";
+  }
 
   static private final Hashtable key_table = new Hashtable();
   static {
@@ -37,14 +41,17 @@ class Keyword extends Token {
     key_table.put("finally", new Integer(Sym.FINALLY));
     key_table.put("float", new Integer(Sym.FLOAT));
     key_table.put("for", new Integer(Sym.FOR));
+    key_table.put("genreach", new Integer(Sym.GENREACH));
     key_table.put("goto", new Integer(Sym.GOTO));
     key_table.put("if", new Integer(Sym.IF));
     key_table.put("import", new Integer(Sym.IMPORT));
     key_table.put("instanceof", new Integer(Sym.INSTANCEOF));
     key_table.put("int", new Integer(Sym.INT));
+    key_table.put("isavailable", new Integer(Sym.ISAVAILABLE));
     key_table.put("long", new Integer(Sym.LONG));
     key_table.put("native", new Integer(Sym.NATIVE));
     key_table.put("new", new Integer(Sym.NEW));
+    key_table.put("newflag", new Integer(Sym.NEWFLAG));
     key_table.put("package", new Integer(Sym.PACKAGE));
     key_table.put("private", new Integer(Sym.PRIVATE));
     key_table.put("protected", new Integer(Sym.PROTECTED));
@@ -66,8 +73,26 @@ class Keyword extends Token {
     key_table.put("while", new Integer(Sym.WHILE));
     //Keywords for failure aware computation
     key_table.put("flag", new Integer(Sym.FLAG));
+    key_table.put("external", new Integer(Sym.EXTERNAL));
+    key_table.put("optional", new Integer(Sym.OPTIONAL));
     key_table.put("tag", new Integer(Sym.TAG));
     key_table.put("task", new Integer(Sym.TASK));
     key_table.put("taskexit", new Integer(Sym.TASKEXIT));
+    //Keywords for transactions
+    key_table.put("atomic", new Integer(Sym.ATOMIC));
+    key_table.put("global", new Integer(Sym.GLOBAL));
+    key_table.put("scratch", new Integer(Sym.SCRATCH));
+    //Keywords for hacking prefetch calls in java
+    key_table.put("getoffset", new Integer(Sym.GETOFFSET));
+    //Keywords for disjointness in Java
+    key_table.put("disjoint", new Integer(Sym.DISJOINT));
+    //Keywords for coarse-grain parallelization
+    key_table.put("sese", new Integer(Sym.SESE));
+    key_table.put("rblock", new Integer(Sym.RBLOCK));
+    // Keywords for interface of mgc
+    key_table.put("interface", new Integer(Sym.INTERFACE));
+    key_table.put("implements", new Integer(Sym.IMPLEMENTS));
+    // Keywords for Self-Stabilizing Java
+    key_table.put("locdef", new Integer(Sym.LOCDEF));
   }
 }