rascal - 文字列を場所に、またはその逆に変換するにはどうすればよいですか?

Question

「p2-SnakesAndLadders/snakes/DieTest/reached」のようなメソッドへのパスを取得し、「|java+method://」を先頭に追加してその文字列を場所として使用することで、それを場所に変換したいと思います。逆に、場所の文字列値を取得したいと思います。Location または String のドキュメントには、ヒントがないようです。