com.io7m.jpra.model.contexts

Interface PackageContextType

All Superinterfaces:

ModelElementType

public interface PackageContextType
extends ModelElementType

The context of a specific package

Method Summary

Modifier and Type	Method and Description
GlobalContextType	getGlobalContext()
PackageNameQualified	getName()
Map<TypeName,TypeUserDefinedType>	getTypes()

Methods inherited from interface com.io7m.jpra.model.ModelElementType

getLexicalInformation

Method Detail

getGlobalContext

GlobalContextType getGlobalContext()

Returns:

A reference to the global context

getTypes

Map<TypeName,TypeUserDefinedType> getTypes()

Returns:

The defined types within the package

getName

PackageNameQualified getName()

Returns:

The fully-qualified package name