## Uses of Interface
com.io7m.jpra.model.types.TypeUserDefinedType

- Packages that use TypeUserDefinedType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.java | Java backend for the compiler.
  com.io7m.jpra.model.contexts | Context types.
  com.io7m.jpra.model.types | Types.

- - ### Uses of TypeUserDefinedType in com.io7m.jpra.compiler.java

    Methods in com.io7m.jpra.compiler.java with parameters of type TypeUserDefinedType
    Modifier and Type | Method and Description
    --- | ---
    `void` | JPRAJavaWriterType.`writeType(Path path, TypeUserDefinedType t)` Write the given type to the base directory `path`.
    `void` | JPRAJavaWriter.`writeType(Path path, TypeUserDefinedType t)`

  - ### Uses of TypeUserDefinedType in com.io7m.jpra.model.contexts

    Methods in com.io7m.jpra.model.contexts that return TypeUserDefinedType
    Modifier and Type | Method and Description
    --- | ---
    `TypeUserDefinedType` | GlobalContexts.`getType(IdentifierType id)`
    `TypeUserDefinedType` | GlobalContextType.`getType(IdentifierType id)` Return a type previously added with `GlobalContextType.putType(TypeUserDefinedType)`.

    Methods in com.io7m.jpra.model.contexts that return types with arguments of type TypeUserDefinedType
    Modifier and Type | Method and Description
    --- | ---
    `Map<TypeName,TypeUserDefinedType>` | PackageContextType.`getTypes()`

    Methods in com.io7m.jpra.model.contexts with parameters of type TypeUserDefinedType
    Modifier and Type | Method and Description
    --- | ---
    `void` | GlobalContexts.`putType(TypeUserDefinedType t)`
    `void` | GlobalContextType.`putType(TypeUserDefinedType t)` Introduce a new type into the global context

  - ### Uses of TypeUserDefinedType in com.io7m.jpra.model.types

    Classes in com.io7m.jpra.model.types that implement TypeUserDefinedType
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TPacked` A `packed` type.
    `class` | `TRecord` A `record` type.

Copyright © 2015 <code@io7m.com> http://io7m.com