|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DelegatingChannel | |
|---|---|
| at.dms.kjc.backendSupport | Package documentation for at.dms.kjc.backendSupport |
| Uses of DelegatingChannel in at.dms.kjc.backendSupport |
|---|
| Methods in at.dms.kjc.backendSupport that return DelegatingChannel | |
|---|---|
static DelegatingChannel |
DelegatingChannel.getChannel(Edge edge,
Channel other)
Make a new Channel or return an already-made channel. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||