uk.ac.man.cs.rainbow.compiler.networks
Class LabelledNetwork

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.networks.Network
                    |
                    +--uk.ac.man.cs.rainbow.compiler.networks.LabelledNetwork

All Implemented Interfaces:

Cloneable

public class LabelledNetwork

extends Network

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

next, sourcepos

Constructor Summary

LabelledNetwork()

LabelledNetwork(SourcePosition sourcepos, LabelledPipe lpipeList)

Method Summary

ProcessTerm[]	getRAPA(RapaEnv env)
String	toString()
int	total_inputs_required(TCEnv env)
CompilerType	typecheckGreen(TCEnv env, Errors errors, CompilerType input_typeList, SourcePosition sourcepos)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.networks.Network

cloneNetworkNoParent, rasm

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, setParent, typecheck, typecheck, 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

LabelledNetwork

public LabelledNetwork(SourcePosition sourcepos,
                       LabelledPipe lpipeList)

LabelledNetwork

public LabelledNetwork()

Method Detail

toString

public String toString()

Overrides:

toString in class Network

total_inputs_required

public int total_inputs_required(TCEnv env)

Overrides:

total_inputs_required in class Network

typecheckGreen

public CompilerType typecheckGreen(TCEnv env,
                                   Errors errors,
                                   CompilerType input_typeList,
                                   SourcePosition sourcepos)

Overrides:

typecheckGreen in class Network

getRAPA

public ProcessTerm[] getRAPA(RapaEnv env)

Overrides:

getRAPA in class Network