diff options
| author |  Nathan Harmata <nharmata@google.com> | 2015-04-01 21:53:06 +0000 |
|---|---|---|
| committer |  Han-Wen Nienhuys <hanwen@google.com> | 2015-04-02 12:49:44 +0000 |
| commit | e955287c84e4bcaf309e57ddab1bf808ce3cf046 (patch) | |
| tree | ab6be6c89cfd1f77ad5adfc9b59122a1cbe6fe4a /src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java | |
| parent | d6c6593f7c700426ba5a9948cc4d2dcd0a36d6a4 (diff) | |
Thread-safety annotations for the various skyframe graph interfaces.
--
MOS_MIGRATED_REVID=90103351
Diffstat (limited to 'src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java')
| -rw-r--r-- | src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java b/src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java index 07812223dd..96552bf67a 100644 --- a/src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java +++ b/src/main/java/com/google/devtools/build/skyframe/DirtiableGraph.java @@ -13,6 +13,8 @@ // limitations under the License. package com.google.devtools.build.skyframe; +import com.google.devtools.build.lib.concurrent.ThreadSafety.ThreadSafe; + /** * Interface for classes that need to remove values from graph. Currently just used by {@link * EagerInvalidator}. @@ -20,6 +22,7 @@ package com.google.devtools.build.skyframe; * <p>This class is not intended for direct use, and is only exposed as public for use in * evaluation implementations outside of this package. */ +@ThreadSafe public interface DirtiableGraph extends QueryableGraph { /** * Remove the value with given name from the graph. |