uk.ac.man.cs.rainbow.compiler.rasm
Class ChannelList

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.rasm.ChannelList

public class ChannelList
extends CompilerThing


Constructor Summary
ChannelList()
           
ChannelList(Channel chan)
           
ChannelList(int n)
           
 
Method Summary
 void append(Channel tail)
           
 void append(ChannelList tail)
           
 RASMList channel_setup_rasm(GreenEnv env)
           
 ChannelList drop(int n)
           
 Channel get(int n)
           
 Channel[] getChannelVector()
           
 int listLength()
           
 RASMList push_me(GreenEnv env)
           
 RASMList rasm_list_release_me(GreenEnv env)
           
 ChannelList take(int n)
           
 String toString()
           
 RASMList waitGet_me(GreenEnv env)
           
 
Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerThing
className, crashHere, getSerial
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ChannelList

public ChannelList()

ChannelList

public ChannelList(int n)

ChannelList

public ChannelList(Channel chan)
Method Detail

listLength

public int listLength()

get

public Channel get(int n)

take

public ChannelList take(int n)

drop

public ChannelList drop(int n)

append

public void append(ChannelList tail)

append

public void append(Channel tail)

toString

public String toString()
Overrides:
toString in class Object

waitGet_me

public RASMList waitGet_me(GreenEnv env)

push_me

public RASMList push_me(GreenEnv env)

channel_setup_rasm

public RASMList channel_setup_rasm(GreenEnv env)

rasm_list_release_me

public RASMList rasm_list_release_me(GreenEnv env)

getChannelVector

public Channel[] getChannelVector()