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

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.GlobalDeclaration
                          |
                          +--uk.ac.man.cs.rainbow.compiler.declarations.MethodDeclaration
                                |
                                +--uk.ac.man.cs.rainbow.compiler.declarations.ProcedureDeclaration

public class ProcedureDeclaration

extends MethodDeclaration

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

ProcedureDeclaration(SourcePosition sourcepos, String name, Parameter allList, ProcBody body)

Method Summary

CompilerType	all_argtypes()
CompilerType	argtypes()
String	dumpTree(int n)
ChannelParameter	getInputs()
ChannelParameter	getOutputs()
void	getRAPA(RapaEnv env)
CompilerType	input_types()
int	inputs_required()
CompilerType	output_types()
RASMList	rasm(CGEnv env)
String	toString()
TCEnv	typecheck(TCEnv env, Errors errors)
CompilerType	value_types()

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

return_local

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

ProcedureDeclaration

public ProcedureDeclaration(SourcePosition sourcepos,
                            String name,
                            Parameter allList,
                            ProcBody body)

Method Detail

toString

public String toString()

Overrides:

toString in class MethodDeclaration

dumpTree

public String dumpTree(int n)

Overrides:

dumpTree in class CompilerNode

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

input_types

public CompilerType input_types()

output_types

public CompilerType output_types()

value_types

public CompilerType value_types()

argtypes

public CompilerType argtypes()

all_argtypes

public CompilerType all_argtypes()

inputs_required

public int inputs_required()

Overrides:

inputs_required in class MethodDeclaration

rasm

public RASMList rasm(CGEnv env)

Overrides:

rasm in class CompilerNode

getInputs

public ChannelParameter getInputs()

getOutputs

public ChannelParameter getOutputs()

getRAPA

public void getRAPA(RapaEnv env)