diff options
Diffstat (limited to 'runtime/openjdkjvmti/events.h')
| -rw-r--r-- | runtime/openjdkjvmti/events.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/openjdkjvmti/events.h b/runtime/openjdkjvmti/events.h index 08a87659c7..8e246ded8e 100644 --- a/runtime/openjdkjvmti/events.h +++ b/runtime/openjdkjvmti/events.h @@ -141,6 +141,9 @@ class EventHandler { // enabled, yet. void RegisterArtJvmTiEnv(ArtJvmTiEnv* env); + // Remove an env. + void RemoveArtJvmTiEnv(ArtJvmTiEnv* env); + bool IsEventEnabledAnywhere(ArtJvmtiEvent event) const { if (!EventMask::EventIsInRange(event)) { return false; |