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

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

public class TagGuard

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

TagGuard(SourcePosition sourcepos, String nm, String tagnm)

Method Summary

RASMList	rasm_list_strip_rasm(CGEnv env)
RASMList	rasm_list_test_rasm(CGEnv env, String label)
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, 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

TagGuard

public TagGuard(SourcePosition sourcepos,
                String nm,
                String tagnm)

Method Detail

toString

public String toString()

Overrides:

toString in class LocalDeclaration

typecheck

public TCEnv typecheck(TCEnv env,
                       Errors errors)

Overrides:

typecheck in class LocalDeclaration

rasm_list_test_rasm

public RASMList rasm_list_test_rasm(CGEnv env,
                                    String label)

rasm_list_strip_rasm

public RASMList rasm_list_strip_rasm(CGEnv env)