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

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

public class RecordPattern

extends StructuredPattern

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

next, sourcepos

Constructor Summary

RecordPattern(SourcePosition sourcepos, String id, SimplePattern fields)

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

RecordPattern

public RecordPattern(SourcePosition sourcepos,
                     String id,
                     SimplePattern fields)

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