Example #1
0
 public ErrorInfo(int id, string messageId, WarningGroups group)
 {
     this.id        = id;
     this.messageId = messageId;
     this.severity  = ErrorSeverity.Warning;
     this.group     = (int)group;
 }
Example #2
0
        public TextErrorSink(TextWriter /*!*/ output, WarningGroups disabledGroups, int[] /*!*/ disabledWarnings)
            : base(disabledGroups, disabledWarnings)
        {
            if (output == null)
            {
                throw new ArgumentNullException("output");
            }

            this.output = output;
        }
Example #3
0
        public ErrorSink(WarningGroups disabledGroups, int[] /*!*/ disabledWarnings)
        {
            if (disabledWarnings == null)
            {
                throw new ArgumentNullException("disabledWarnings");
            }

            this.disabledGroups   = disabledGroups;
            this.disabledWarnings = disabledWarnings;
        }
Example #4
0
		public EvalErrorSink(int firstLineColumnDisplacement, WarningGroups disabledGroups, int[]/*!*/ disabledWarnings)
			: base(disabledGroups, disabledWarnings)
		{
			this.firstLineColumnDisplacement = firstLineColumnDisplacement;
		}
Example #5
0
		public WebErrorSink(WarningGroups disabledGroups, int[]/*!*/ disabledWarnings)
			: base(disabledGroups, disabledWarnings)
		{

		}
Example #6
0
		public TextErrorSink(TextWriter/*!*/ output, WarningGroups disabledGroups, int[]/*!*/ disabledWarnings)
			: base(disabledGroups, disabledWarnings)
		{
			if (output == null)
				throw new ArgumentNullException("output");
			
			this.output = output;
		}
Example #7
0
		public ErrorSink(WarningGroups disabledGroups, int[]/*!*/ disabledWarnings)
		{
			if (disabledWarnings == null)
				throw new ArgumentNullException("disabledWarnings");

			this.disabledGroups = disabledGroups;
			this.disabledWarnings = disabledWarnings;		
		}
Example #8
0
		public ErrorInfo(int id, string messageId, WarningGroups group)
		{
			this.id = id;
			this.messageId = messageId;
			this.severity = ErrorSeverity.Warning;
			this.group = (int)group;
		}
Example #9
0
 public WebErrorSink(WarningGroups disabledGroups, int[] /*!*/ disabledWarnings)
     : base(disabledGroups, disabledWarnings)
 {
 }
Example #10
0
 public EvalErrorSink(int firstLineColumnDisplacement, WarningGroups disabledGroups, int[] /*!*/ disabledWarnings)
     : base(disabledGroups, disabledWarnings)
 {
     this.firstLineColumnDisplacement = firstLineColumnDisplacement;
 }