// // Error.cs // // Author: // Mike Krüger // // Copyright (c) 2011 Mike Krüger // // Permission is hereby granted, free of charge, to any person obtaining a copy // of this software and associated documentation files (the "Software"), to deal // in the Software without restriction, including without limitation the rights // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell // copies of the Software, and to permit persons to whom the Software is // furnished to do so, subject to the following conditions: // // The above copyright notice and this permission notice shall be included in // all copies or substantial portions of the Software. // // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN // THE SOFTWARE. using System; namespace ICSharpCode.NRefactory.TypeSystem { /// /// Enum that describes the type of an error. /// public enum ErrorType { Unknown, Error, Warning } /// /// Descibes an error during parsing. /// [Serializable] public class Error { readonly ErrorType errorType; readonly string message; readonly DomRegion region; /// /// The type of the error. /// public ErrorType ErrorType { get { return errorType; } } /// /// The error description. /// public string Message { get { return message; } } /// /// The region of the error. /// public DomRegion Region { get { return region; } } /// /// Initializes a new instance of the class. /// /// /// The error type. /// /// /// The description of the error. /// /// /// The region of the error. /// public Error (ErrorType errorType, string message, DomRegion region) { this.errorType = errorType; this.message = message; this.region = region; } /// /// Initializes a new instance of the class. /// /// /// The error type. /// /// /// The description of the error. /// /// /// The location of the error. /// public Error (ErrorType errorType, string message, TextLocation location) { this.errorType = errorType; this.message = message; this.region = new DomRegion (location, location); } /// /// Initializes a new instance of the class. /// /// /// The error type. /// /// /// The description of the error. /// /// /// The line of the error. /// /// /// The column of the error. /// public Error (ErrorType errorType, string message, int line, int col) : this (errorType, message, new TextLocation (line, col)) { } /// /// Initializes a new instance of the class. /// /// /// The error type. /// /// /// The description of the error. /// public Error (ErrorType errorType, string message) { this.errorType = errorType; this.message = message; this.region = DomRegion.Empty; } } }