/src/orc/error/compiletime/ExceptionCompileLogger.scala

//
// ExceptionCompileLogger.scala -- Scala class ExceptionCompileLogger
// Project OrcScala
//
// $Id: ExceptionCompileLogger.scala 2933 2011-12-15 16:26:02Z jthywissen $
//
// Created by jthywiss on Jun 8, 2010.
//
// Copyright (c) 2011 The University of Texas at Austin. All rights reserved.
//
// Use and redistribution of this file is governed by the license terms in
// the LICENSE file found in the project's top-level directory and also found at
// URL: http://orc.csres.utexas.edu/license.shtml .
//
package orc.error.compiletime

import orc.error.compiletime.CompileLogger.Severity
import orc.ast.AST
import scala.util.parsing.input.Position

/** A CompileMessageRecorder that throws an exception on a message of
  * severity WARNING or higher.
  *
  * @author jthywiss
  */
class ExceptionCompileLogger extends CompileLogger {
  private var maxSeverity = Severity.UNKNOWN;

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#beginProcessing(java.lang.String)
     */
  def beginProcessing(filename: String) {
    maxSeverity = Severity.UNKNOWN;
  }

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#endProcessing(java.lang.String)
     */
  def endProcessing(filename: String) {
    // Nothing needed
  }

  class GenericCompilationException(message: String) extends CompilationException(message)

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#recordMessage(Severity, int, String, Position, AST, Throwable)
     */
  def recordMessage(severity: Severity, code: Int, message: String, location: Position, astNode: AST, exception: Throwable) {

    maxSeverity = if (severity.ordinal() > maxSeverity.ordinal()) severity else maxSeverity

    if (severity.ordinal() >= Severity.WARNING.ordinal()) {
      if (exception != null) {
        throw exception;
      } else {
        // We don't have an exception to throw -- use our "fake" one
        val e = new GenericCompilationException(message)
        if (location != null) {
          e.setPosition(location)
        }
        throw e
      }
    } // else disregard
  }

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#recordMessage(Severity, int, String, Position, Throwable)
     */
  def recordMessage(severity: Severity, code: Int, message: String, location: Position, exception: Throwable) {
    recordMessage(severity, code, message, location, null, exception)
  }

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#recordMessage(Severity, int, String, Position, AST)
     */
  def recordMessage(severity: Severity, code: Int, message: String, location: Position, astNode: AST) {
    recordMessage(severity, code, message, location, astNode, null)
  }

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#recordMessage(orc.error.compiletime.CompileLogger.Severity, int, java.lang.String)
     */
  def recordMessage(severity: Severity, code: Int, message: String) {
    recordMessage(severity, code, message, null, null, null)
  }

  /* (non-Javadoc)
     * @see orc.error.compiletime.CompileLogger#getMaxSeverity()
     */
  def getMaxSeverity(): Severity = maxSeverity

}