uk.ac.man.cs.rainbow.compiler.declarations
Class ProcBody

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.declarations.ProcBody

Direct Known Subclasses:

GreenBody, TableBody, YellowBody

public abstract class ProcBody

extends CompilerNode

Field Summary

String

colour

Fields inherited from class uk.ac.man.cs.rainbow.compiler.CompilerNode

next, sourcepos

Constructor Summary

ProcBody(SourcePosition sourcepos, String colour)

Method Summary

ProcessTerm	getRAPA(RapaEnv env)
void	set_io_types(ChannelParameter inputList, ChannelParameter outputList)
String	toString()

Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerNode

append, appendNotParent, dumpNode, dumpTree, getParent, indent, iterator, list_typecheck, list_typecheck, listLength, listToString, noParent, rasm_list, rasm, rasm, setParent, typecheck, typecheck, typecheckGreen, typecheckGreen

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

Field Detail

colour

public String colour

Constructor Detail

ProcBody

public ProcBody(SourcePosition sourcepos,
                String colour)

Method Detail

toString

public String toString()

Overrides:

toString in class CompilerNode

set_io_types

public void set_io_types(ChannelParameter inputList,
                         ChannelParameter outputList)

getRAPA

public ProcessTerm getRAPA(RapaEnv env)