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

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

public class ConstantPattern

extends SimplePattern

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

next, sourcepos

Constructor Summary

ConstantPattern(SourcePosition sourcepos, Expression value)

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

ConstantPattern

public ConstantPattern(SourcePosition sourcepos,
                       Expression value)

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