uk.ac.man.cs.rainbow.compiler.yellow
Class Choices

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.yellow.YellowCommand
                    |
                    +--uk.ac.man.cs.rainbow.compiler.yellow.Choices

Direct Known Subclasses:

GuardedChoice, Loop

public abstract class Choices

extends YellowCommand

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

next, sourcepos

Constructor Summary

Choices(SourcePosition sourcepos, GuardedCommand altList)

Method Summary

String	dumpTree(int n)
RASMList	gen_choices(CGEnv env, String where_next)
TCEnv	typecheck(TCEnv env, Errors errors)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.yellow.YellowCommand

getRAPA, toString

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

Choices

public Choices(SourcePosition sourcepos,
               GuardedCommand altList)

Method Detail

dumpTree

public String dumpTree(int n)

Overrides:

dumpTree in class CompilerNode

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

gen_choices

public RASMList gen_choices(CGEnv env,
                            String where_next)