1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
// <copyright>
// Copyright (c) Microsoft Corporation. All rights reserved.
// </copyright>
namespace System.Activities.Debugger
{
using System.Diagnostics;
// Immutable, lineNumber and linePosition always non-null.
[DebuggerDisplay("({LineNumber.Value}:{LinePosition.Value})")]
internal class DocumentLocation : IEquatable<DocumentLocation>, IComparable<DocumentLocation>
{
private OneBasedCounter lineNumber;
private OneBasedCounter linePosition;
internal DocumentLocation(OneBasedCounter lineNumber, OneBasedCounter linePosition)
{
UnitTestUtility.Assert(lineNumber != null, "lineNumber should not be null.");
UnitTestUtility.Assert(linePosition != null, "linePosition should not be null.");
this.lineNumber = lineNumber;
this.linePosition = linePosition;
}
internal DocumentLocation(int lineNumber, int linePosition)
: this(new OneBasedCounter(lineNumber), new OneBasedCounter(linePosition))
{
}
internal OneBasedCounter LineNumber
{
get { return this.lineNumber; }
}
internal OneBasedCounter LinePosition
{
get { return this.linePosition; }
}
public bool Equals(DocumentLocation that)
{
if (that == null)
{
return false;
}
return (this.lineNumber.Value == that.lineNumber.Value) && (this.linePosition.Value == that.linePosition.Value);
}
public override int GetHashCode()
{
return this.lineNumber.Value.GetHashCode() ^ this.linePosition.Value.GetHashCode();
}
public int CompareTo(DocumentLocation that)
{
if (that == null)
{
// Following the convention we have in System.Int32 that anything is considered bigger than null.
return 1;
}
if (this.lineNumber.Value == that.lineNumber.Value)
{
// The subtraction of two numbers >= 1 must not underflow integer.
return this.linePosition.Value - that.linePosition.Value;
}
else
{
// The subtraction of two numbers >= 1 must not underflow integer.
return this.lineNumber.Value - that.lineNumber.Value;
}
}
}
}
|
