From d87359dbd97d39f6d1adb4706e6e08ec78448536 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Wed, 10 Dec 2003 16:39:37 +0000
Subject: - Added method toString(int)

---
 sources/ch/epfl/lamp/util/Position.java | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'sources/ch/epfl/lamp')

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
 
-- 
cgit v1.2.3