uk.ac.man.cs.rainbow.compiler.tables
Class TaggedPattern

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.tables.TablePattern
                    |
                    +--uk.ac.man.cs.rainbow.compiler.tables.InputPattern
                          |
                          +--uk.ac.man.cs.rainbow.compiler.tables.DoCarePattern
                                |
                                +--uk.ac.man.cs.rainbow.compiler.tables.TaggedPattern

public class TaggedPattern

extends DoCarePattern

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

next, sourcepos

Constructor Summary

TaggedPattern(SourcePosition sourcepos, String tagnm, DoCarePattern pat)

Method Summary

String	toString()
TablePattern	typecheck(CompilerType input_type, TCEnv env, Errors errors)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.tables.InputPattern

getRAPA, getRAPA

Methods inherited from class uk.ac.man.cs.rainbow.compiler.tables.TablePattern

channel_num, set_pos, set_poses

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

TaggedPattern

public TaggedPattern(SourcePosition sourcepos,
                     String tagnm,
                     DoCarePattern pat)

Method Detail

toString

public String toString()

Overrides:

toString in class CompilerNode

typecheck

public TablePattern typecheck(CompilerType input_type,
                              TCEnv env,
                              Errors errors)

Overrides:

typecheck in class CompilerNode