Uses of Class
com.io7m.jpra.model.loading.JPRAModelLoadingException

Packages that use JPRAModelLoadingException

Package	Description
com.io7m.jpra.compiler.core.driver	Driver.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.loading	Model loading.

Uses of JPRAModelLoadingException in com.io7m.jpra.compiler.core.driver

Methods in com.io7m.jpra.compiler.core.driver that throw JPRAModelLoadingException

Modifier and Type	Method and Description
PackageContextType	JPRADriverType.compilePackage(PackageNameQualified p) Compile a package.
PackageContextType	JPRADriver.compilePackage(PackageNameQualified p)

Uses of JPRAModelLoadingException in com.io7m.jpra.model.contexts

Methods in com.io7m.jpra.model.contexts that throw JPRAModelLoadingException

Modifier and Type	Method and Description
PackageContextType	GlobalContexts.loadPackage(PackageNameQualified p)
PackageContextType	GlobalContextType.loadPackage(PackageNameQualified p) Load and return a package into the context.

Uses of JPRAModelLoadingException in com.io7m.jpra.model.loading

Methods in com.io7m.jpra.model.loading that throw JPRAModelLoadingException

Modifier and Type	Method and Description
PackageContextType	JPRAPackageLoaderType.evaluate(GlobalContextType c, PackageNameQualified p) Attempt to load a package.