mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-10 13:17:09 +07:00
quick documentation: fix formatting stripping html tags (IDEA-118673)
This commit is contained in:
@@ -0,0 +1,3 @@
|
||||
<html><head> <style type="text/css"> #error { background-color: #eeeeee; margin-bottom: 10px; } p { margin: 5px 0; } </style></head><body><small><b><a href="psi_element://Producer"><code>Producer</code></a></b></small><PRE><E extends <a href="psi_element://java.lang.Exception"><code>Exception</code></a>> void <b>drainTo</b>(<a href="psi_element://Consumer"><code>Consumer</code></a><? super T, E> consumer,
|
||||
<a href="psi_element://java.lang.Object"><code>Object</code></a> someParameter)
|
||||
throws <a href="psi_element://E"><code>E</code></a></PRE><DD><DL><DT><b>Throws:</b><DD><a href="psi_element://E"><code>E</code></a></DD></DL></DD></body></html>
|
||||
@@ -0,0 +1,12 @@
|
||||
interface Producer<T> {
|
||||
|
||||
<E extends Exception> void drainTo( Consumer<? super T, E> consumer, Object someParameter ) throws E;
|
||||
|
||||
}
|
||||
|
||||
interface Consumer<T, E extends Exception> {
|
||||
|
||||
void consume( T message ) throws E;
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user