diff options
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 |