@@ -110,7 +110,12 @@ @Override public int hashCode() { return Objects.hashCode(path) ^ line ^ column ^ offset; } + + @Override + public String toString() { + return Objects.toString(path) + ":" + line + ":" + column + ":" + offset; + } } }