| Index: compiler/java/com/google/dart/compiler/Source.java
|
| ===================================================================
|
| --- compiler/java/com/google/dart/compiler/Source.java (revision 5427)
|
| +++ compiler/java/com/google/dart/compiler/Source.java (working copy)
|
| @@ -37,6 +37,13 @@
|
| Reader getSourceReader() throws IOException;
|
|
|
| /**
|
| + * Return an identifier that will uniquely identify this source.
|
| + *
|
| + * @return the unique identifier for this source.
|
| + */
|
| + String getUniqueIdentifier();
|
| +
|
| + /**
|
| * Gets the identifier for this source. This is used to uniquely identify the
|
| * source, but should not be used to obtain the source content. Use
|
| * {@link #getSourceReader()} to obtain the source content.
|
|
|