Class LogWriter

  • Direct Known Subclasses:
    PrimitiveSyntesizer

    public class LogWriter
    extends java.lang.Object
    The LogWriter is a helper class that provides facilities to post messages to the log.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected java.lang.String getSourceName()  
      void reportError​(java.lang.String message)
      Reports an error message to the log.
      void reportWarning​(java.lang.String message)
      Reports an warning message to the log.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • LogWriter

        public LogWriter​(SenderKind sender,
                         java.lang.String fileName,
                         LogStore log)
    • Method Detail

      • getSourceName

        protected java.lang.String getSourceName()
      • reportError

        public final void reportError​(java.lang.String message)
        Reports an error message to the log.
        Parameters:
        message - Error message.
      • reportWarning

        public final void reportWarning​(java.lang.String message)
        Reports an warning message to the log.
        Parameters:
        message - Warning message.