uk.ac.man.cs.rainbow.compiler.types
Class TaggedType

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.CompilerNode
              |
              +--uk.ac.man.cs.rainbow.compiler.types.TaggedType

public class TaggedType

extends CompilerNode

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

next, sourcepos

Constructor Summary

TaggedType()

TaggedType(SourcePosition sourcepos, CompilerType spec)

TaggedType(SourcePosition sourcepos, String name, CompilerType spec)

Method Summary

boolean	compare_lists_structure_conforms(TaggedType list)
Type[]	datamodelTypeArray()
void	extract_unames(TCEnv env, CompilerType union_spec, SourcePosition spos, Errors errors)
int	get_field_pos(String fname, int pos)
CompilerType	get_field_spec(String fname)
void	resolve_all_synonyms(TCEnv env, Errors errors)
void	set_defaults(int pos)
CompilerType	specList()
boolean	structure_conforms(CompilerNode other)
String	toString()
String[]	toStringArray()

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, 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

TaggedType

public TaggedType(SourcePosition sourcepos,
                  String name,
                  CompilerType spec)

TaggedType

public TaggedType(SourcePosition sourcepos,
                  CompilerType spec)

TaggedType

public TaggedType()

Method Detail

toString

public String toString()

Overrides:

toString in class CompilerNode

datamodelTypeArray

public Type[] datamodelTypeArray()

toStringArray

public String[] toStringArray()

structure_conforms

public boolean structure_conforms(CompilerNode other)

compare_lists_structure_conforms

public boolean compare_lists_structure_conforms(TaggedType list)

specList

public CompilerType specList()

get_field_pos

public int get_field_pos(String fname,
                         int pos)

get_field_spec

public CompilerType get_field_spec(String fname)

set_defaults

public void set_defaults(int pos)

resolve_all_synonyms

public void resolve_all_synonyms(TCEnv env,
                                 Errors errors)

extract_unames

public void extract_unames(TCEnv env,
                           CompilerType union_spec,
                           SourcePosition spos,
                           Errors errors)