From 7abfb618f09208f85e6079e8c99fbcaa62a6b158 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 30 Jun 2013 18:00:24 +0000
Subject: [PATCH] Suppress compiler warning

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6984 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/Prism3To4.java   | 21 +++++++++++----------
 prism/src/parser/Prism3To4.jj     |  1 +
 prism/src/parser/PrismParser.java |  1 +
 prism/src/parser/PrismParser.jj   |  1 +
 4 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/prism/src/parser/Prism3To4.java b/prism/src/parser/Prism3To4.java
index 1e3b13b5..c441e2d5 100644
--- a/prism/src/parser/Prism3To4.java
+++ b/prism/src/parser/Prism3To4.java
@@ -3,6 +3,7 @@ package parser;
 
 import java.io.*;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class Prism3To4 implements Prism3To4Constants {
         public static void main(String[] args) throws ParseException
         {
@@ -2718,16 +2719,6 @@ public class Prism3To4 implements Prism3To4Constants {
     finally { jj_save(186, xla); }
   }
 
-  static private boolean jj_3R_49() {
-    if (jj_3R_89()) return true;
-    Token xsp;
-    while (true) {
-      xsp = jj_scanpos;
-      if (jj_3_69()) { jj_scanpos = xsp; break; }
-    }
-    return false;
-  }
-
   static private boolean jj_3_63() {
     if (jj_3R_47()) return true;
     return false;
@@ -4762,6 +4753,16 @@ public class Prism3To4 implements Prism3To4Constants {
     return false;
   }
 
+  static private boolean jj_3R_49() {
+    if (jj_3R_89()) return true;
+    Token xsp;
+    while (true) {
+      xsp = jj_scanpos;
+      if (jj_3_69()) { jj_scanpos = xsp; break; }
+    }
+    return false;
+  }
+
   static private boolean jj_initialized_once = false;
   /** Generated Token Manager. */
   static public Prism3To4TokenManager token_source;
diff --git a/prism/src/parser/Prism3To4.jj b/prism/src/parser/Prism3To4.jj
index f2b24cf6..94076740 100644
--- a/prism/src/parser/Prism3To4.jj
+++ b/prism/src/parser/Prism3To4.jj
@@ -42,6 +42,7 @@ package parser;
 
 import java.io.*;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class Prism3To4
 {
 	public static void main(String[] args) throws ParseException
diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java
index f9d6b2eb..eccd2d0d 100644
--- a/prism/src/parser/PrismParser.java
+++ b/prism/src/parser/PrismParser.java
@@ -10,6 +10,7 @@ import parser.type.*;
 import prism.ModelType;
 import prism.PrismLangException;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class PrismParser implements PrismParserConstants {
         // The modules file associated with properties file being parsed
         private static ModulesFile modulesFile;
diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj
index 945d06e7..9ef81d4e 100644
--- a/prism/src/parser/PrismParser.jj
+++ b/prism/src/parser/PrismParser.jj
@@ -42,6 +42,7 @@ import parser.type.*;
 import prism.ModelType;
 import prism.PrismLangException;
 
+@SuppressWarnings({"unused", "static-access", "serial"})
 public class PrismParser
 {
 	// The modules file associated with properties file being parsed