Uses of Interface
com.io7m.jpra.model.type_declarations.TypeDeclType

Packages that use TypeDeclType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model.statements	Statements.
com.io7m.jpra.model.type_declarations	Type declarations.

Uses of TypeDeclType in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker that return TypeDeclType

Modifier and Type	Method and Description
TypeDeclType<IdentifierType,TType>	JPRACheckerType.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl) Check a type declaration.
TypeDeclType<IdentifierType,TType>	JPRAChecker.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)

Methods in com.io7m.jpra.compiler.core.checker with parameters of type TypeDeclType

Modifier and Type	Method and Description
TypeDeclType<IdentifierType,TType>	JPRACheckerType.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl) Check a type declaration.
TypeDeclType<IdentifierType,TType>	JPRAChecker.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)

Uses of TypeDeclType in com.io7m.jpra.compiler.core.resolver

Methods in com.io7m.jpra.compiler.core.resolver that return TypeDeclType

Modifier and Type	Method and Description
TypeDeclType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr) Resolve a type declaration.
TypeDeclType<IdentifierType,Untyped>	JPRAResolver.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)

Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type TypeDeclType

Modifier and Type	Method and Description
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolverType.resolveGetCurrentTypes()
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolver.resolveGetCurrentTypes()

Methods in com.io7m.jpra.compiler.core.resolver with parameters of type TypeDeclType

Modifier and Type	Method and Description
TypeDeclType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr) Resolve a type declaration.
TypeDeclType<IdentifierType,Untyped>	JPRAResolver.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)

Uses of TypeDeclType in com.io7m.jpra.model.statements

Methods in com.io7m.jpra.model.statements with parameters of type TypeDeclType

Modifier and Type	Method and Description
A	StatementMatcherType.matchTypeDecl(TypeDeclType<I,T> s) Match a type declaration statement.

Uses of TypeDeclType in com.io7m.jpra.model.type_declarations

Classes in com.io7m.jpra.model.type_declarations that implement TypeDeclType

Modifier and Type	Class and Description
class	TypeDeclPacked<I,T> A packed type declaration.
class	TypeDeclRecord<I,T> A record type declaration.