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

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

Direct Known Subclasses:

ChannelDeclaration, InputChannelBinding, Parameter, TableValueDeclaration, TagGuard, ValueBinding, VariableDeclaration

public class LocalDeclaration

extends Declaration

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

LocalDeclaration()

LocalDeclaration(SourcePosition sourcepos, String nm, CompilerType spec)

Method Summary

CompilerType	getSpec()
Declaration	return_local()
void	setSpec(CompilerType spec)
CompilerType	specList()
String	toString()
TCEnv	typecheck_lhs(TCEnv env, Errors errors)
TCEnv	typecheck(TCEnv env, Errors errors)

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

LocalDeclaration

public LocalDeclaration(SourcePosition sourcepos,
                        String nm,
                        CompilerType spec)

LocalDeclaration

public LocalDeclaration()

Method Detail

setSpec

public void setSpec(CompilerType spec)

getSpec

public CompilerType getSpec()

toString

public String toString()

Overrides:

toString in class Declaration

typecheck_lhs

public TCEnv typecheck_lhs(TCEnv env,
                           Errors errors)

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

return_local

public Declaration return_local()

Overrides:

return_local in class Declaration

specList

public CompilerType specList()