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

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

public class GreenCase
extends GreenComponent


Fields inherited from class uk.ac.man.cs.rainbow.compiler.green.GreenComponent
device_name, inputs_actually_required, out_types
 
Fields inherited from class uk.ac.man.cs.rainbow.compiler.CompilerNode
next, sourcepos
 
Constructor Summary
GreenCase(SourcePosition sourcepos, Pipeline controlPipe, LabelledNetwork body, Pipeline otherwisePipe)
           
 
Method Summary
 String toString()
           
 CompilerType typecheckGreen(TCEnv env, Errors errors, CompilerType input_typeList)
           
 
Methods inherited from class uk.ac.man.cs.rainbow.compiler.green.GreenComponent
appendNextComponent, check_pipe, definitive_num_inputs, get_next, get_output_types, getInputChannels, getOutputChannels, getRAPA, inputs_required, num_inputs, num_outputs, num_params, rasm_list_nextComponent, rasm, set_delay_parameters, set_next, setNextComponents, setupNextComponents
 
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

GreenCase

public GreenCase(SourcePosition sourcepos,
                 Pipeline controlPipe,
                 LabelledNetwork body,
                 Pipeline otherwisePipe)
Method Detail

toString

public String toString()
Overrides:
toString in class GreenComponent

typecheckGreen

public CompilerType typecheckGreen(TCEnv env,
                                   Errors errors,
                                   CompilerType input_typeList)
Overrides:
typecheckGreen in class GreenComponent