uk.ac.man.cs.rainbow.compiler.tables
Class TableBody

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
                    |
                    +--uk.ac.man.cs.rainbow.compiler.tables.TableBody

public class TableBody

extends ProcBody

Fields inherited from class uk.ac.man.cs.rainbow.compiler.declarations.ProcBody

colour

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

next, sourcepos

Constructor Summary

TableBody()

TableBody(SourcePosition sourcepos, TableValueDeclaration decls, TableRow rows)

Method Summary

String	dumpTree(int n)
ProcessTerm	getRAPA(RapaEnv env)
RASMList	rasm(CGEnv env)
void	set_io_types(ChannelParameter inputs, ChannelParameter outputs)
String	toString()
TCEnv	typecheck(TCEnv env, Errors errors)

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

append, appendNotParent, dumpNode, getParent, indent, iterator, list_typecheck, list_typecheck, listLength, listToString, noParent, rasm_list, rasm, setParent, 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

Constructor Detail

TableBody

public TableBody(SourcePosition sourcepos,
                 TableValueDeclaration decls,
                 TableRow rows)

TableBody

public TableBody()

Method Detail

set_io_types

public void set_io_types(ChannelParameter inputs,
                         ChannelParameter outputs)

Overrides:

set_io_types in class ProcBody

toString

public String toString()

Overrides:

toString in class ProcBody

dumpTree

public String dumpTree(int n)

Overrides:

dumpTree in class CompilerNode

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

rasm

public RASMList rasm(CGEnv env)

Overrides:

rasm in class CompilerNode

getRAPA

public ProcessTerm getRAPA(RapaEnv env)

Overrides:

getRAPA in class ProcBody