X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Forg%2Fjson%2Fsimple%2Fparser%2FParseException.java;fp=src%2Forg%2Fjson%2Fsimple%2Fparser%2FParseException.java;h=f5f087f18fd6b094efd48107017d7052d88ff9c7;hb=3459a8a691cb22508d7067f240b7254e588e77d3;hp=09b1fd49eaa819fc411b34e2660f33db0dc463fb;hpb=5b27f1062b2203c4c31702e205f4c78e1992063e;p=jalview.git

diff --git a/src/org/json/simple/parser/ParseException.java b/src/org/json/simple/parser/ParseException.java
index 09b1fd4..f5f087f 100644
--- a/src/org/json/simple/parser/ParseException.java
+++ b/src/org/json/simple/parser/ParseException.java
@@ -6,85 +6,106 @@ package org.json.simple.parser;
  * @author FangYidong<fangyidong@yahoo.com.cn>
  *
  */
-public class ParseException extends Exception {
-	private static final long serialVersionUID = -7880698968187728547L;
-	
-	public static final int ERROR_UNEXPECTED_CHAR = 0;
-	public static final int ERROR_UNEXPECTED_TOKEN = 1;
-	public static final int ERROR_UNEXPECTED_EXCEPTION = 2;
-
-	private int errorType;
-	private Object unexpectedObject;
-	private int position;
-	
-	public ParseException(int errorType){
-		this(-1, errorType, null);
-	}
-	
-	public ParseException(int errorType, Object unexpectedObject){
-		this(-1, errorType, unexpectedObject);
-	}
-	
-	public ParseException(int position, int errorType, Object unexpectedObject){
-		this.position = position;
-		this.errorType = errorType;
-		this.unexpectedObject = unexpectedObject;
-	}
-	
-	public int getErrorType() {
-		return errorType;
-	}
-	
-	public void setErrorType(int errorType) {
-		this.errorType = errorType;
-	}
-	
-	/**
-	 * @see org.json.simple.parser.JSONParser#getPosition()
-	 * 
-	 * @return The character position (starting with 0) of the input where the error occurs.
-	 */
-	public int getPosition() {
-		return position;
-	}
-	
-	public void setPosition(int position) {
-		this.position = position;
-	}
-	
-	/**
-	 * @see org.json.simple.parser.Yytoken
-	 * 
-	 * @return One of the following base on the value of errorType:
-	 * 		   	ERROR_UNEXPECTED_CHAR		java.lang.Character
-	 * 			ERROR_UNEXPECTED_TOKEN		org.json.simple.parser.Yytoken
-	 * 			ERROR_UNEXPECTED_EXCEPTION	java.lang.Exception
-	 */
-	public Object getUnexpectedObject() {
-		return unexpectedObject;
-	}
-	
-	public void setUnexpectedObject(Object unexpectedObject) {
-		this.unexpectedObject = unexpectedObject;
-	}
-	
-	public String getMessage() {
-		StringBuffer sb = new StringBuffer();
-		
-		switch(errorType){
-		case ERROR_UNEXPECTED_CHAR:
-			sb.append("Unexpected character (").append(unexpectedObject).append(") at position ").append(position).append(".");
-			break;
-		case ERROR_UNEXPECTED_TOKEN:
-			sb.append("Unexpected token ").append(unexpectedObject).append(" at position ").append(position).append(".");
-			break;
-		case ERROR_UNEXPECTED_EXCEPTION:
-			sb.append("Unexpected exception at position ").append(position).append(": ").append(unexpectedObject);
-			break;
-		default:
-			sb.append("Unkown error at position ").append(position).append(".");
-			break;
-		}
-		return sb.toString();
-	}
+public class ParseException extends Exception
+{
+  private static final long serialVersionUID = -7880698968187728547L;
+
+  public static final int ERROR_UNEXPECTED_CHAR = 0;
+
+  public static final int ERROR_UNEXPECTED_TOKEN = 1;
+
+  public static final int ERROR_UNEXPECTED_EXCEPTION = 2;
+
+  private int errorType;
+
+  private Object unexpectedObject;
+
+  private int position;
+
+  public ParseException(int errorType)
+  {
+    this(-1, errorType, null);
+  }
+
+  public ParseException(int errorType, Object unexpectedObject)
+  {
+    this(-1, errorType, unexpectedObject);
+  }
+
+  public ParseException(int position, int errorType,
+          Object unexpectedObject)
+  {
+    this.position = position;
+    this.errorType = errorType;
+    this.unexpectedObject = unexpectedObject;
+  }
+
+  public int getErrorType()
+  {
+    return errorType;
+  }
+
+  public void setErrorType(int errorType)
+  {
+    this.errorType = errorType;
+  }
+
+  /**
+   * @see org.json.simple.parser.JSONParser#getPosition()
+   * 
+   * @return The character position (starting with 0) of the input where the
+   *         error occurs.
+   */
+  public int getPosition()
+  {
+    return position;
+  }
+
+  public void setPosition(int position)
+  {
+    this.position = position;
+  }
+
+  /**
+   * @see org.json.simple.parser.Yytoken
+   * 
+   * @return One of the following base on the value of errorType:
+   *         ERROR_UNEXPECTED_CHAR java.lang.Character ERROR_UNEXPECTED_TOKEN
+   *         org.json.simple.parser.Yytoken ERROR_UNEXPECTED_EXCEPTION
+   *         java.lang.Exception
+   */
+  public Object getUnexpectedObject()
+  {
+    return unexpectedObject;
+  }
+
+  public void setUnexpectedObject(Object unexpectedObject)
+  {
+    this.unexpectedObject = unexpectedObject;
+  }
+
+  public String getMessage()
+  {
+    StringBuffer sb = new StringBuffer();
+
+    switch (errorType)
+    {
+    case ERROR_UNEXPECTED_CHAR:
+      sb.append("Unexpected character (").append(unexpectedObject)
+              .append(") at position ").append(position).append(".");
+      break;
+    case ERROR_UNEXPECTED_TOKEN:
+      sb.append("Unexpected token ").append(unexpectedObject)
+              .append(" at position ").append(position).append(".");
+      break;
+    case ERROR_UNEXPECTED_EXCEPTION:
+      sb.append("Unexpected exception at position ").append(position)
+              .append(": ").append(unexpectedObject);
+      break;
+    default:
+      sb.append("Unkown error at position ").append(position).append(".");
+      break;
+    }
+    return sb.toString();
+  }
 }