Пример #1
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ICSharpCode.NRefactory.TypeSystem.Error"/> class.
 /// </summary>
 /// <param name='errorType'>
 /// The error type.
 /// </param>
 /// <param name='message'>
 /// The description of the error.
 /// </param>
 /// <param name='region'>
 /// The region of the error.
 /// </param>
 public Error(ErrorType errorType, string message, DomRegion region)
 {
     this.errorType = errorType;
     this.message   = message;
     this.region    = region;
 }
Пример #2
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ICSharpCode.NRefactory.TypeSystem.Error"/> class.
 /// </summary>
 /// <param name='errorType'>
 /// The error type.
 /// </param>
 /// <param name='message'>
 /// The description of the error.
 /// </param>
 /// <param name='location'>
 /// The location of the error.
 /// </param>
 public Error(ErrorType errorType, string message, TextLocation location)
 {
     this.errorType = errorType;
     this.message   = message;
     this.region    = new DomRegion(location, location);
 }
Пример #3
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ICSharpCode.NRefactory.TypeSystem.Error"/> class.
 /// </summary>
 /// <param name='errorType'>
 /// The error type.
 /// </param>
 /// <param name='message'>
 /// The description of the error.
 /// </param>
 public Error(ErrorType errorType, string message)
 {
     this.errorType = errorType;
     this.message   = message;
     this.region    = DomRegion.Empty;
 }
Пример #4
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ICSharpCode.NRefactory.TypeSystem.Error"/> class.
 /// </summary>
 /// <param name='errorType'>
 /// The error type.
 /// </param>
 /// <param name='message'>
 /// The description of the error.
 /// </param>
 /// <param name='location'>
 /// The location of the error.
 /// </param>
 public Error(ErrorType errorType, string message, AstLocation location)
 {
     this.ErrorType = errorType;
     this.Message   = message;
     this.Region    = new DomRegion(location, location);
 }