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

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

public class GuardedCommand

extends YellowCommand

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

next, sourcepos

Constructor Summary

GuardedCommand()

GuardedCommand(SourcePosition sourcepos, GuardExp guardexp, YellowCommand cmd)

Method Summary

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

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

getRAPA

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

GuardedCommand

public GuardedCommand(SourcePosition sourcepos,
                      GuardExp guardexp,
                      YellowCommand cmd)

GuardedCommand

public GuardedCommand()

Method Detail

toString

public String toString()

Overrides:

toString in class YellowCommand

dumpTree

public String dumpTree(int n)

Overrides:

dumpTree in class CompilerNode

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class CompilerNode

rasm_list_alt_rasm

public RASMList rasm_list_alt_rasm(CGEnv env,
                                   String where_next)