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

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.ValueBinding

public class ValueBinding

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

ValueBinding()

ValueBinding(SourcePosition sourcepos, LocalIdentifier idList, CompilerType spec, Expression boundTo)

ValueBinding(SourcePosition sourcepos, String nm, CompilerType spec, Expression boundTo)

Method Summary

String	dumpTree(int n)
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, 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

ValueBinding

public ValueBinding(SourcePosition sourcepos,
                    String nm,
                    CompilerType spec,
                    Expression boundTo)

ValueBinding

public ValueBinding()

ValueBinding

public ValueBinding(SourcePosition sourcepos,
                    LocalIdentifier idList,
                    CompilerType spec,
                    Expression boundTo)

Method Detail

toString

public String toString()

Overrides:

toString in class LocalDeclaration

dumpTree

public String dumpTree(int n)

Overrides:

dumpTree in class CompilerNode

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class LocalDeclaration

rasm

public RASMList rasm(CGEnv env)

Overrides:

rasm in class CompilerNode