Uses of Interface
com.io7m.jpra.model.types.TIntegerType

Packages that use TIntegerType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.java	Java backend for the compiler.
com.io7m.jpra.model.types	Types.

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

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

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixIntegerSizeNotSupported(TIntegerType e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorIntegerSizeNotSupported(TIntegerType e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)

Uses of TIntegerType in com.io7m.jpra.compiler.java

Methods in com.io7m.jpra.compiler.java with parameters of type TIntegerType

Modifier and Type	Method and Description
com.io7m.jfunctional.Unit	PackedFieldInterfaceProcessor.matchInteger(TIntegerType t)
com.io7m.jfunctional.Unit	PackedFieldImplementationProcessor.matchInteger(TIntegerType t)

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

Classes in com.io7m.jpra.model.types that implement TIntegerType

Modifier and Type	Class and Description
class	TIntegerSigned A signed integer type expression.
class	TIntegerSignedNormalized A signed-normalized type expression.
class	TIntegerUnsigned An unsigned integer type expression.
class	TIntegerUnsignedNormalized An unsigned-normalized integer type expression.

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

Modifier and Type	Method and Description
TIntegerType	TPacked.FieldValue.getType()

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

Modifier and Type	Method and Description
void	TPackedBuilderType.addField(FieldName name, IdentifierType id, TIntegerType type) Add a value field.
A	TypeMatcherType.matchInteger(TIntegerType t) Match an integer type.
A	TypeScalarMatcherType.matchScalarInteger(TIntegerType t) Match an integer type.