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

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

public class LabelledPipe

extends CompilerNode

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

next, sourcepos

Constructor Summary

LabelledPipe()

LabelledPipe(SourcePosition sourcepos, Expression tag, Pipeline pipe)

Method Summary

boolean	consecutive_integer_constants(TCEnv env, int n)
Pipeline	get_pipes()
Expression	get_tags()
ProcessTerm[]	getRAPA(RapaEnv env)
int	inputs_really_required(TCEnv env)
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

Constructor Detail

LabelledPipe

public LabelledPipe(SourcePosition sourcepos,
                    Expression tag,
                    Pipeline pipe)

LabelledPipe

public LabelledPipe()

Method Detail

toString

public String toString()

Overrides:

toString in class CompilerNode

inputs_really_required

public int inputs_really_required(TCEnv env)

consecutive_integer_constants

public boolean consecutive_integer_constants(TCEnv env,
                                             int n)

get_tags

public Expression get_tags()

get_pipes

public Pipeline get_pipes()

getRAPA

public ProcessTerm[] getRAPA(RapaEnv env)