public Position(SourceContext sourceContext, int sourceContextLength, int offset, int line, int column, PaintLink paintLink)
{
this.sourceContext = sourceContext;
this.sourceContentLength = sourceContextLength;
this.offset = offset;
this.line = line;
this.column = column;
this.paintLink = paintLink;
}
public Position Paint <T>(Position begin, T value)
{
var newPaint = new Paint <T>
{
Begin = begin,
End = this,
Value = value
};
var newPaintLink = new PaintLink
{
Next = PaintLink,
Paint = newPaint
};
return(new Position(
this.sourceContext,
this.sourceContentLength,
this.offset,
this.line,
this.column,
newPaintLink));
}
