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

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

public class InputChannelBinding

extends LocalDeclaration

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

nm

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

next, sourcepos

Constructor Summary

InputChannelBinding()

InputChannelBinding(SourcePosition sourcepos, LocalIdentifier idList, String channel_name)

InputChannelBinding(SourcePosition sourcepos, String nm, String channel_name)

Method Summary

Assign	made_up_assignments(int n)
InputChannelBinding	made_up_names(int n)
RASMList	rasm_list_release_input(CGEnv env)
RASMList	rasm_list_test_available(CGEnv env)
RASMList	rasm(CGEnv env)
String	toString()
TCEnv	typecheck(TCEnv env, Errors errors)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.declarations.LocalDeclaration

getSpec, return_local, setSpec, specList, typecheck_lhs

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

InputChannelBinding

public InputChannelBinding(SourcePosition sourcepos,
                           String nm,
                           String channel_name)

InputChannelBinding

public InputChannelBinding(SourcePosition sourcepos,
                           LocalIdentifier idList,
                           String channel_name)

InputChannelBinding

public InputChannelBinding()

Method Detail

toString

public String toString()

Overrides:

toString in class LocalDeclaration

made_up_names

public InputChannelBinding made_up_names(int n)

made_up_assignments

public Assign made_up_assignments(int n)

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class LocalDeclaration

rasm

public RASMList rasm(CGEnv env)

Overrides:

rasm in class CompilerNode

rasm_list_release_input

public RASMList rasm_list_release_input(CGEnv env)

rasm_list_test_available

public RASMList rasm_list_test_available(CGEnv env)