hlt.language.design.types Class Hierarchy (API documentation of hlt.language packages)
Date: 2013-01-30

# Hierarchy For Package hlt.language.design.types

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - hlt.language.design.types.CodeEntry
    - hlt.language.design.types.BuiltinEntry
    - hlt.language.design.types.DefinedEntry
  - hlt.language.design.types.CodeEntry.CodeId
  - hlt.language.design.types.FieldInfo
  - hlt.language.design.types.Symbol
  - hlt.language.design.types.Tables
  - java.lang.Throwable (implements java.io.Serializable)
    - java.lang.Exception
      - java.lang.RuntimeException
        - hlt.language.design.types.DuplicateCodeEntryException
        - hlt.language.design.backend.DynamicSemanticsErrorException
          - hlt.language.design.types.ObjectInitializationException
        - hlt.language.design.types.NoSuchTypeComponentException
        - hlt.language.design.types.StaticSemanticsErrorException
          - hlt.language.design.types.ClassDeclarationException
          - hlt.language.design.types.TypeDefinitionException
          - hlt.language.design.types.TypingErrorException
            - hlt.language.design.types.FailedUnificationException
              - hlt.language.design.types.TypeClashException
  - hlt.language.design.types.TimeStamp
    - hlt.language.design.types.Goal
      - hlt.language.design.types.ArrayIndexTypeGoal
      - hlt.language.design.types.BaseTypeGoal
      - hlt.language.design.types.CheckExitableGoal
      - hlt.language.design.types.EmptyGoal
      - hlt.language.design.types.GlobalTypingGoal
      - hlt.language.design.types.NoVoidTypeGoal
      - hlt.language.design.types.PopExitableGoal
      - hlt.language.design.types.PruningGoal
      - hlt.language.design.types.PushExitableGoal
      - hlt.language.design.types.ResiduatedGoal
      - hlt.language.design.types.TypingGoal
      - hlt.language.design.types.UnifyBaseTypeGoal
      - hlt.language.design.types.UnifyGoal
        - hlt.language.design.types.ShadowUnifyGoal
    - hlt.language.design.types.TypingState
      - hlt.language.design.types.ChoicePoint
  - hlt.language.design.types.Type (implements hlt.language.design.types.Valuable)
    - hlt.language.design.types.ProtoType
    - hlt.language.design.types.StaticType
      - hlt.language.design.types.ConstructedType
        - hlt.language.design.types.ArrayType
        - hlt.language.design.types.BoxableTypeConstant
        - hlt.language.design.types.CollectionType (implements hlt.language.design.types.Collection)
          - hlt.language.design.types.BagType
          - hlt.language.design.types.ListType
          - hlt.language.design.types.SetType
        - hlt.language.design.types.FunctionType
        - hlt.language.design.types.TupleType
          - hlt.language.design.types.NamedTupleType
      - hlt.language.design.types.NamedType
        - hlt.language.design.types.TypeConstant
          - hlt.language.design.types.CollectionTypeConstant (implements hlt.language.design.types.Collection)
        - hlt.language.design.types.TypeTerm (implements java.lang.Cloneable)
          - hlt.language.design.types.ClassType
          - hlt.language.design.types.DefinedType
      - hlt.language.design.types.TypeParameter (implements hlt.language.design.types.Bindable)
  - hlt.language.design.types.TypeChecker (implements hlt.language.design.types.GoalProver)
  - hlt.language.design.types.TypeTermScheme
    - hlt.language.design.types.ClassInfo
    - hlt.language.design.types.TypeDefinition

## Interface Hierarchy

- hlt.language.design.types.Collection
- hlt.language.design.types.GoalProver
- hlt.language.design.types.Valuable
  - hlt.language.design.types.Bindable