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

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

public class TypeDeclaration

extends GlobalDeclaration

Field Summary

CompilerType	spec
boolean	synonym_only

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

TypeDeclaration(SourcePosition sourcepos, String nm, CompilerType spec, boolean syn)

Method Summary

RASMList	rasm(CGEnv env)
String	toString()
TCEnv	typecheck(TCEnv env, Errors errors)

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

Field Detail

spec

public CompilerType spec

synonym_only

public boolean synonym_only

Constructor Detail

TypeDeclaration

public TypeDeclaration(SourcePosition sourcepos,
                       String nm,
                       CompilerType spec,
                       boolean syn)

Method Detail

toString

public String toString()

Overrides:

toString in class GlobalDeclaration

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

rasm

public RASMList rasm(CGEnv env)

Overrides:

rasm in class CompilerNode