diff options
author | Martin Odersky <odersky@gmail.com> | 2013-04-19 15:36:22 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-04-19 15:36:53 +0200 |
commit | 4a93c8c132941ff3dae9ebf2dc27b37cd4f7cdec (patch) | |
tree | 851095e9376d26b2624a5676a765d04de3ea87f8 /src/dotty/tools/dotc/util | |
parent | 6b58c275293b2c2b0bf3390eaee94ec31bcbdab9 (diff) | |
download | dotty-4a93c8c132941ff3dae9ebf2dc27b37cd4f7cdec.tar.gz dotty-4a93c8c132941ff3dae9ebf2dc27b37cd4f7cdec.tar.bz2 dotty-4a93c8c132941ff3dae9ebf2dc27b37cd4f7cdec.zip |
Added symbolic XML builder
Diffstat (limited to 'src/dotty/tools/dotc/util')
-rw-r--r-- | src/dotty/tools/dotc/util/Positions.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/util/Positions.scala b/src/dotty/tools/dotc/util/Positions.scala index bf7bc7414..2ab6c1920 100644 --- a/src/dotty/tools/dotc/util/Positions.scala +++ b/src/dotty/tools/dotc/util/Positions.scala @@ -46,6 +46,7 @@ object Positions { def withStart(start: Int) = Position(start, this.end, this.point - start) def withEnd(end: Int) = Position(this.start, end, this.point - this.start) def withPoint(point: Int) = Position(this.start, this.end, point - this.start) + def transparent: Position = this /* for now */ } def Position(start: Int, end: Int, pointOffset: Int = 0): Position = |