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

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.SimplePattern
                                      |
                                      +--uk.ac.man.cs.rainbow.compiler.tables.VariablePattern

public class VariablePattern

extends SimplePattern

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

next, sourcepos

Constructor Summary

VariablePattern(SourcePosition sourcepos, String id)

VariablePattern(SourcePosition sourcepos, String id, CompilerType spec)

Method Summary

protected Action	getRAPA(RapaEnv env, Channel c)
String	toString()
TablePattern	typecheck(CompilerType input_type, TCEnv env, Errors errors)

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

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

VariablePattern

public VariablePattern(SourcePosition sourcepos,
                       String id,
                       CompilerType spec)

VariablePattern

public VariablePattern(SourcePosition sourcepos,
                       String id)

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

getRAPA

protected Action getRAPA(RapaEnv env,
                         Channel c)

Overrides:

getRAPA in class InputPattern