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