diff options
author | Sven Gothel <[email protected]> | 2015-09-12 17:13:52 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2015-09-12 17:13:52 +0200 |
commit | 47495cd2a228534578731346c8baf2b190bcd241 (patch) | |
tree | 1900f214d2011d480ede63bf64d0c0de62904a5e /.externalToolBuilders/gluegen builder.launch | |
parent | b94d0c4e2ac4b29ffe6bb832d37b83c6d32497fe (diff) |
Bug 1213: Expose InterruptSource, SourcedInterruptedException and InterruptedRuntimeException
- InterruptSource interface declares methods to retrieve
the source of a Thread.interrupt() call.
- InterruptSource.Thread implements InterruptSource,
i.e. allows code running within such thread to learn about
the interrupt source (stack trace).
- SourcedInterruptedException is a InterruptedException specialization
which may include the source of the causing Thread.interrupt() call.
- InterruptedRuntimeException
An unchecked RuntimeException propagating an InterruptedException
where handling of the latter is not desired.
The causing InterruptedException may be of type SourcedInterruptedException,
hence a detailed stack trace analysis might be possible.
Diffstat (limited to '.externalToolBuilders/gluegen builder.launch')
0 files changed, 0 insertions, 0 deletions