|
||||||||||
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 |