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

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

All Implemented Interfaces:

Argument, Cloneable, Type

Direct Known Subclasses:

AnyEnumerableType, BoolType, EnumType, IntType

public class EnumerableType

extends CompilerType

Fields inherited from class uk.ac.man.cs.rainbow.compiler.types.CompilerType

is_dontcare, is_undefined

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

next, sourcepos

Constructor Summary

EnumerableType(SourcePosition sourcepos)

Method Summary

boolean	conforms_to(CompilerType other)
CompilerType	resolve_synonyms(TCEnv env, Errors errors)
String	toString()

Methods inherited from class uk.ac.man.cs.rainbow.compiler.types.CompilerType

anonymiseAndTagList, anonymous_record_type, check_params, check_record_selection, check_type, check_union_tag, cloneAfterFirst, cloneFirst, cloneList, cloneType, cloneTypeNoNext, cloneTypeNoParent, cloneTypeNoParentNoNext, compatableWith, component_types, datamodelType, default_initial_value, dontcare, dontcareList, extract_enum_or_union_names, field_selector, get_union_variant, list_lub, listReplicate, lub, make_anon_channels, rasm_list_default_initial_value, replicate, structure_conforms, structure, subst, valid

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

EnumerableType

public EnumerableType(SourcePosition sourcepos)

Method Detail

toString

public String toString()

Overrides:

toString in class CompilerType

conforms_to

public boolean conforms_to(CompilerType other)

Overrides:

conforms_to in class CompilerType

resolve_synonyms

public CompilerType resolve_synonyms(TCEnv env,
                                     Errors errors)

Overrides:

resolve_synonyms in class CompilerType