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.