ErrorConsumer.java 572 B

1234567891011121314151617181920
  1. package de.jplag;
  2. /**
  3. * Consumes errors from a language parser.
  4. */
  5. public interface ErrorConsumer {
  6. /**
  7. * Adds an error to the error stack. The error is only printed directly when using the corresponding verbosity option.
  8. * @param errorMessage is the error message.
  9. */
  10. void addError(String errorMessage);
  11. /**
  12. * Prints a message depending on the verbosity.
  13. * @param message is the message for the normal mode.
  14. * @param longMessage is the message for verbose mode.
  15. */
  16. void print(String message, String longMessage);
  17. }