Uses of Interface
com.io7m.jpra.model.names.IdentifierType

Packages that use IdentifierType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.types	Types.

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

Methods in com.io7m.jpra.compiler.core.checker that return types with arguments of type IdentifierType

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,TType>	JPRACheckerType.checkCommandType(StatementCommandType<IdentifierType,Untyped> s) Check a :type command.
StatementCommandType<IdentifierType,TType>	JPRAChecker.checkCommandType(StatementCommandType<IdentifierType,Untyped> s)
TypeDeclType<IdentifierType,TType>	JPRACheckerType.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl) Check a type declaration.
TypeDeclType<IdentifierType,TType>	JPRAChecker.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)
TypeExprType<IdentifierType,TType>	JPRACheckerType.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr) Check a type expression.
TypeExprType<IdentifierType,TType>	JPRAChecker.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)

Method parameters in com.io7m.jpra.compiler.core.checker with type arguments of type IdentifierType

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.booleanSetSizeInvalid(TypeExprBooleanSet<IdentifierType,Untyped> e, com.io7m.jranges.RangeInclusiveB range, BigInteger value)
static JPRACompilerCheckerException	JPRACompilerCheckerException.booleanSetSizeLessThanRequired(TypeExprBooleanSet<IdentifierType,Untyped> e, BigInteger required, BigInteger value)
StatementCommandType<IdentifierType,TType>	JPRACheckerType.checkCommandType(StatementCommandType<IdentifierType,Untyped> s) Check a :type command.
StatementCommandType<IdentifierType,TType>	JPRAChecker.checkCommandType(StatementCommandType<IdentifierType,Untyped> s)
void	JPRACheckerType.checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s) Check a package begin statement.
void	JPRAChecker.checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s)
PackageContextType	JPRACheckerType.checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s) Complete the current package.
PackageContextType	JPRAChecker.checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)
TypeDeclType<IdentifierType,TType>	JPRACheckerType.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl) Check a type declaration.
TypeDeclType<IdentifierType,TType>	JPRAChecker.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)
TypeExprType<IdentifierType,TType>	JPRACheckerType.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr) Check a type expression.
TypeExprType<IdentifierType,TType>	JPRAChecker.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)
static JPRACompilerCheckerException	JPRACompilerCheckerException.floatSizeNotSupported(TypeExprFloat<IdentifierType,Untyped> e, Size<SizeUnitBitsType> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)
static <T extends SizeUnitType> JPRACompilerCheckerException	JPRACompilerCheckerException.integerSizeNotSupported(TypeExprType<IdentifierType,Untyped> e, Size<T> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNonScalarElement(TypeExprMatrix<IdentifierType,Untyped> e)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNotSupported(TypeExprMatrix<IdentifierType,Untyped> e, BigInteger tw, BigInteger th, com.gs.collections.api.list.ImmutableList<com.io7m.jfunctional.Pair<com.io7m.jranges.RangeInclusiveB,com.io7m.jranges.RangeInclusiveB>> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)
static JPRACompilerCheckerException	JPRACompilerCheckerException.stringEncodingNotSupported(TypeExprString<IdentifierType,Untyped> e, String encoding, com.gs.collections.api.set.ImmutableSet<String> encodings)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorNonScalarElement(TypeExprVector<IdentifierType,Untyped> e)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorSizeNotSupported(TypeExprVector<IdentifierType,Untyped> e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)

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

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

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,Untyped>	JPRAResolverType.resolveCommandType(StatementCommandType<Unresolved,Untyped> s) Resolve a :type command.
StatementCommandType<IdentifierType,Untyped>	JPRAResolver.resolveCommandType(StatementCommandType<Unresolved,Untyped> s)
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolverType.resolveGetCurrentTypes()
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolver.resolveGetCurrentTypes()
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolverType.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s) Resolve a package begin statement.
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolver.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s)
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolverType.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s) Resolve a package end statement.
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolver.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s)
StatementPackageImport<IdentifierType,Untyped>	JPRAResolverType.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s) Resolve a package import statement.
StatementPackageImport<IdentifierType,Untyped>	JPRAResolver.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s)
SizeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr) Resolve a size expression.
SizeExprType<IdentifierType,Untyped>	JPRAResolver.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr)
TypeDeclType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr) Resolve a type declaration.
TypeDeclType<IdentifierType,Untyped>	JPRAResolver.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)
TypeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr) Resolve a type expression.
TypeExprType<IdentifierType,Untyped>	JPRAResolver.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)

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

Methods in com.io7m.jpra.model.contexts that return IdentifierType

Modifier and Type	Method and Description
IdentifierType	GlobalContexts.getFreshIdentifier()
IdentifierType	GlobalContextType.getFreshIdentifier()

Methods in com.io7m.jpra.model.contexts with parameters of type IdentifierType

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).

Uses of IdentifierType in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types that return IdentifierType

Modifier and Type	Method and Description
IdentifierType	TypeUserDefinedType.getIdentifier()
IdentifierType	TRecord.getIdentifier()
IdentifierType	TPacked.getIdentifier()

Methods in com.io7m.jpra.model.types with parameters of type IdentifierType

Modifier and Type	Method and Description
void	TPackedBuilderType.addField(FieldName name, IdentifierType id, TIntegerType type) Add a value field.
void	TRecordBuilderType.addField(FieldName name, IdentifierType id, TType type) Add a value field.
static TRecordBuilderType	TRecord.newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_ident) Construct a new mutable record builder.
static TPackedBuilderType	TPacked.newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_type_name) Construct a new mutable record builder.