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

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
                          |
                          +--uk.ac.man.cs.rainbow.compiler.types.IntType

All Implemented Interfaces:

Argument, Cloneable, Type

public class IntType

extends EnumerableType

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

IntType()

IntType(SourcePosition sourcepos)

Method Summary

Type	datamodelType()
CompilerType	replicate()
boolean	structure_conforms(CompilerType other)
CompilerType	structure()
String	toString()
boolean	valid(TCEnv env)

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

conforms_to, resolve_synonyms

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

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

IntType

public IntType(SourcePosition sourcepos)

IntType

public IntType()

Method Detail

toString

public String toString()

Overrides:

toString in class EnumerableType

structure_conforms

public boolean structure_conforms(CompilerType other)

Overrides:

structure_conforms in class CompilerType

structure

public CompilerType structure()

Overrides:

structure in class CompilerType

replicate

public CompilerType replicate()

Overrides:

replicate in class CompilerType

valid

public boolean valid(TCEnv env)

Overrides:

valid in class CompilerType

datamodelType

public Type datamodelType()

Overrides:

datamodelType in class CompilerType