} // RtfParserListenerFileLogger

		// ----------------------------------------------------------------------
		public RtfParserListenerFileLogger( string fileName, RtfParserLoggerSettings settings )
		{
			if ( fileName == null )
			{
				throw new ArgumentNullException( "fileName" );
			}
			if ( settings == null )
			{
				throw new ArgumentNullException( "settings" );
			}

			this.fileName = fileName;
			this.settings = settings;
		} // RtfParserListenerFileLogger
        }         // RtfParserListenerLogger

        // ----------------------------------------------------------------------
        public RtfParserListenerLogger(RtfParserLoggerSettings settings, ILogger logger)
        {
            if (settings == null)
            {
                throw new ArgumentNullException("settings");
            }
            if (logger == null)
            {
                throw new ArgumentNullException("logger");
            }

            this.settings = settings;
            this.logger   = logger;
        }         // RtfParserListenerLogger
        // ----------------------------------------------------------------------
        public RtfParserListenerLogger( RtfParserLoggerSettings settings, ILogger logger )
        {
            if ( settings == null )
            {
                throw new ArgumentNullException( "settings" );
            }
            if ( logger == null )
            {
                throw new ArgumentNullException( "logger" );
            }

            this.settings = settings;
            this.logger = logger;
        }
Beispiel #4
0
        }         // RtfParserListenerFileLogger

        // ----------------------------------------------------------------------
        public RtfParserListenerFileLogger(string fileName, RtfParserLoggerSettings settings)
        {
            if (fileName == null)
            {
                throw new ArgumentNullException("fileName");
            }
            if (settings == null)
            {
                throw new ArgumentNullException("settings");
            }

            this.fileName = fileName;
            this.settings = settings;
        }         // RtfParserListenerFileLogger
        }         // RtfParserListenerLogger

        // ----------------------------------------------------------------------
        public RtfParserListenerLogger(RtfParserLoggerSettings settings)
            : this(settings, systemLogger)
        {
        }         // RtfParserListenerLogger
 // ----------------------------------------------------------------------
 public RtfParserListenerLogger( RtfParserLoggerSettings settings )
     : this(settings, systemLogger)
 {
 }