/*
    * Copyright 2013-2022 Medical Information Systems Research Group (https://medical.zcu.cz),
    * Department of Computer Science and Engineering, University of West Bohemia.
    * Address: Univerzitni 8, 306 14 Plzen, Czech Republic.
    *
    * This file is part of Sparkle project.
    *
    * Sparkle is free software: you can redistribute it and/or modify
    * it under the terms of the GNU General Public License as published by
   * the Free Software Foundation, either version 3 of the License.
   *
   * Sparkle is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
   * GNU General Public License for more details.
   *
   * You should have received a copy of the GNU General Public License
   * along with Sparkle. If not, see <http://www.gnu.org/licenses/>.
   */
  package cz.zcu.mre.sparkle.tools.sparqlValidation;
  
  import org.antlr.v4.runtime.RecognitionException;
  import org.antlr.v4.runtime.Recognizer;
  import org.antlr.v4.runtime.RuleContext;
  import org.antlr.v4.runtime.Token;
  import org.antlr.v4.runtime.atn.ATNState;
  import org.antlr.v4.runtime.misc.IntervalSet;
  import java.util.Objects;
  
  /**
   * Syntakticka chyba.
   *
   * @author Klara Hlavacova
   * @author Petr Vcelak (vcelak@kiv.zcu.cz)
   */
  public class SyntaxError {
  
      private final Recognizer<?, ?> recognizer;
      //private final Object offendingSymbol;
      private final int line;
      private final int charPositionInLine;
      private String message;
      private final String text;
      private final int state;
      private final ATNState atnState;
  
      private RuleContext context;
  
      private IntervalSet expectedTokens;
  
      public SyntaxError(Recognizer<?, ?> recognizer, Object offendingSymbol, int line,
              int charPositionInLine, String msg, RecognitionException e) {
  
          this.recognizer = recognizer;
          state = this.recognizer.getState();
          atnState = recognizer.getATN().states.get(recognizer.getState());
          context = e.getCtx();
          expectedTokens = new IntervalSet(e.getExpectedTokens());
  
          this.line = line;
          this.charPositionInLine = charPositionInLine;
          this.message = "ERROR on line " + line + "; column " + charPositionInLine + ": ";//$NON-NLS-1$
          this.message += msg;
          this.message = this.message.replaceAll("\\\\n", "");//$NON-NLS-1$
  
  
          /* for (Integer index :e.getExpectedTokens().toList()  ) {
              System.out.println(
                      e.getRecognizer().getVocabulary().getDisplayName(index)
              );
          }*/
          text = ((Token) offendingSymbol).getText();
      }
  
      public IntervalSet getExpectedTokens() {
          return expectedTokens;
      }
  
      public int getLine() {
          return line;
      }
  
      public int getCharPositionInLine() {
          return charPositionInLine;
      }
  
      public String getMessage() {
          return message;
      }
  
      public String getText() {
          return text;
      }
  
      public Recognizer<?, ?> getRecognizer() {
          return recognizer;
      }
  
      public int getState() {
         return state;
     }
 
     public ATNState getAtnState() {
         return atnState;
     }
 
     public RuleContext getContext() {
         return context;
     }
 
     @Override
     public String toString() {
         return "SyntaxError{"
                 +//$NON-NLS-1$
                 "line=" + line
                 +//$NON-NLS-1$
                 ", charPositionInLine=" + charPositionInLine
                 +//$NON-NLS-1$
                 ", text='" + text + '\''
                 +//$NON-NLS-1$
                 '}';
     }
 
     @Override
     public boolean equals(Object o) {
         if (this == o) {
             return true;
         }
         if (o == null || getClass() != o.getClass()) {
             return false;
         }
         SyntaxError that = (SyntaxError) o;
         return line == that.line
                 && charPositionInLine == that.charPositionInLine
                 && Objects.equals(message, that.message)
                 && Objects.equals(text, that.text);
     }
 
     @Override
     public int hashCode() {
 
         return Objects.hash(line, charPositionInLine, message, text);
     }
 
 }