/*
 * The JastAdd Extensible Java Compiler (http://jastadd.org) is covered
 * by the modified BSD License. You should have received a copy of the
 * modified BSD license with this compiler.
 * 
 * Copyright (c) 2005-2008, Torbjorn Ekman
 * All rights reserved.
 */
module org.jastadd.java14frontend;

public class Problem implements Comparable {
  public int compareTo(Object o) {
    if(o instanceof Problem) {
      Problem other = (Problem)o;
      if(!fileName.equals(other.fileName))
        return fileName.compareTo(other.fileName);
      if(line != other.line)
        return line - other.line;
      return message.compareTo(other.message);
    }
    return 0;
  }
  public static class Severity {
    public static final Severity ERROR = new Severity();
    public static final Severity WARNING = new Severity();
    private Severity() { }
  }
  public static class Kind {
    public static final Kind OTHER = new Kind();
    public static final Kind LEXICAL = new Kind();
    public static final Kind SYNTACTIC = new Kind();
    public static final Kind SEMANTIC = new Kind();
    private Kind() { }
  }
  protected int line = -1;
  public int line() { return line; }
  protected int column = -1;
  public int column() { return column; }
  protected int endLine = -1;
  public int endLine() { return endLine; }
  protected int endColumn = -1;
  public int endColumn() { return endColumn; }
  protected String fileName;
  public String fileName() { return fileName; }
  public void setFileName(String fileName) { this.fileName = fileName; }
  protected String message;
  public String message() { return message; }
  protected Severity severity = Severity.ERROR;
  public Severity severity() { return severity; }
  protected Kind kind = Kind.OTHER;
  public Kind kind() { return kind; }
  public Problem(String fileName, String message) {
    this.fileName = fileName;
    this.message = message;
  }
  public Problem(String fileName, String message, int line) {
    this(fileName, message);
    this.line = line;
  }
  public Problem(String fileName, String message, int line, Severity severity) {
    this(fileName, message);
    this.line = line;
    this.severity = severity;
  }
  public Problem(String fileName, String message, int line, int column, Severity severity) {
    this(fileName, message);
    this.line = line;
    this.column = column;
    this.severity = severity;
  }
  public Problem(String fileName, String message, int line, Severity severity, Kind kind) {
    this(fileName, message);
    this.line = line;
    this.kind = kind;
    this.severity = severity;
  }
  public Problem(String fileName, String message, int line, int column, Severity severity, Kind kind) {
    this(fileName, message);
    this.line = line;
    this.column = column;
    this.kind = kind;
    this.severity = severity;
  }
  public Problem(String fileName, String message, int line, int column, int endLine, int endColumn, Severity severity, Kind kind) {
    this(fileName, message);
    this.line = line;
    this.column = column;
    this.endLine = endLine;
    this.endColumn = endColumn;
    this.kind = kind;
    this.severity = severity;
  }
  public String toString() {
    String location = "";
    if(line != -1 && column != -1)
      location = line + "," + column + ":";
    else if(line != -1)
      location = line + ":";
    String s = "";
    if(this.kind == Kind.LEXICAL)
      s = "Lexical Error: ";
    else if(this.kind == Kind.SYNTACTIC)
      s = "Syntactic Error: ";
    else if(this.kind == Kind.SEMANTIC)
      s = "Semantic Error: ";
    return fileName + ":" + location + "\n" + "  " + s + message;
  }
}