Uses of Package
com.io7m.jpra.model

Packages that use com.io7m.jpra.model

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.parser	Parser.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model	Types and functions implementing the jpra model.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.loading	Model loading.
com.io7m.jpra.model.names	Unresolved name types.
com.io7m.jpra.model.size_expressions	Size expressions.
com.io7m.jpra.model.statements	Statements.
com.io7m.jpra.model.type_declarations	Type declarations.
com.io7m.jpra.model.type_expressions	Type expressions.
com.io7m.jpra.model.types	Types.

Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.checker

Class and Description
Untyped A type indicating that no type checking has been performed.

Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.parser

Class and Description
Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
Untyped A type indicating that no type checking has been performed.

Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.resolver

Class and Description
Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
Untyped A type indicating that no type checking has been performed.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.
Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
Untyped A type indicating that no type checking has been performed.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.contexts

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.loading

Class and Description
PackageImport A package import declaration.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.names

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.size_expressions

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.statements

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.type_declarations

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.type_expressions

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.

Classes in com.io7m.jpra.model used by com.io7m.jpra.model.types

Class and Description
ModelElementType A marker interface indicating that something is an element of the model.