diff options
| author | paltherr <paltherr@epfl.ch> | 2003-12-10 16:39:37 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-12-10 16:39:37 +0000 |
| commit | d87359dbd97d39f6d1adb4706e6e08ec78448536 (patch) | |
| tree | ac7fbd369d460a0e4f26de119c51f9e9e1e7d37a /sources/ch | |
| parent | d0ffbd24122f69ded774ffd89cd0146a3d9cc15d (diff) | |
| download | scala-d87359dbd97d39f6d1adb4706e6e08ec78448536.tar.gz scala-d87359dbd97d39f6d1adb4706e6e08ec78448536.tar.bz2 scala-d87359dbd97d39f6d1adb4706e6e08ec78448536.zip | |
- Added method toString(int)
Diffstat (limited to 'sources/ch')
| -rw-r--r-- | sources/ch/epfl/lamp/util/Position.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sources/ch/epfl/lamp/util/Position.java b/sources/ch/epfl/lamp/util/Position.java index 486ef7add6..514dcf28eb 100644 --- a/sources/ch/epfl/lamp/util/Position.java +++ b/sources/ch/epfl/lamp/util/Position.java @@ -78,6 +78,11 @@ public class Position { return position & COLUMN_MASK; } + /** Returns a string representation of the encoded position. */ + public static String toString(int position) { + return line(position) + ":" + column(position); + } + //######################################################################## // Private Fields |