All Downloads are FREE. Search and download functionalities are using the official Maven repository.

dotty.tools.dotc.interfaces.Diagnostic Maven / Gradle / Ivy

There is a newer version: 3.6.0-RC1-bin-20240918-be10596-NIGHTLY
Show newest version
package dotty.tools.dotc.interfaces;

import java.util.Optional;
import java.util.List;

/** A diagnostic is a message emitted during the compilation process.
 *
 *  It can either be an error, a warning or an information.
 *
 *  User code should not implement this interface, but it may have to
 *  manipulate objects of this type.
 */
public interface Diagnostic {
  public static final int ERROR = 2;
  public static final int WARNING = 1;
  public static final int INFO = 0;

  /** @return The message to report */
  String message();

  /** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */
  int level();

  /** @return The position in a source file of the code that caused this diagnostic
   *  to be emitted. */
  Optional position();

  /** @return A list of additional messages together with their code positions */
  List diagnosticRelatedInformation();
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy