class ParsingError in Tinman.Core.Parsing

Represents a parser error.

abstract class	ParsingError	implements	ICodeRange
		extends	ValidateMessage
		base of	SemanticError
			SyntaxError

Public / Attributes

ErrorType

The parser error type.

public readonly field	ErrorType
type	ParsingErrorType

MessageContext

The context object.

public property	MessageContext { get set }
type	object
value		The context object or null.
inherited	ValidateMessage.MessageContext

MessagePath

The model path that leads to the error source.

public property	MessagePath { get set }
type	ValidatePath
value		The error path (will be None) if no path is available.
inherited	ValidateMessage.MessagePath

MessageText

Message that describes this error.

public property	MessageText { get }
type	string
value	[not-null]	The error message.
inherited	ValidateMessage.MessageText

MessageType

The message type.

public property	MessageType { get }
type	ValidateMessageType
value		The message type.
inherited	ValidateMessage.MessageType

Range

Returns source code range of this object.

public property	Range { get }
type	RangeI
value		The source code character range or Inv if none.
implements	ICodeRange.Range

Public / Methods

CompareTo

Compares this object with the given one.

[Pure]
public override method	CompareTo (IValidateMessage other)
type	int32
params	other		The object to compare to.
returns			< 0 : if this object is less than other, = 0 : if this object is equal to other, > 0 : if this object is greater than other.
overrides	ValidateMessage.CompareTo

Equals

Compares this object with the given one.

[Pure]
public override method	Equals (IValidateMessage other)
type	bool
params	other		The object to compare to.
returns			true if this object is equal to other, false if not.
overrides	ValidateMessage.Equals

Throw

public method	Throw (string source)
type	ValidatingException
params	source
inherited	ValidateMessage.Throw

---

Wraps this error object in an exception.

public method	Throw (string source, ICodeInput input)
type	ValidatingException
params	source		Error source tag (see ErrorSource).
	input	[not-null]	The input source code (for error reporting).
returns			The ready-to-throw exception.

ToString

[Pure]
public override sealed method	ToString ()
type	string
inherited	ValidateMessage.ToString

---

public override method	ToString (IValidateMessage previous)
type	string
params	previous
overrides	ValidateMessage.ToString

Protected / Constructors

ParsingError

Creates a new instance of ParsingError.

protected constructor	ParsingError (string message, RangeI range, ParsingErrorType errorType)
params	message		The error message.
	range		The character range in the input code this parser errors refers to.
	errorType		Message that describes this error.